-2/5 nonequal?
True
Let g(l) = -l**3 + 4*l**2 + 6*l - 1. Let s be g(5). Let n be (-10)/(5/s - 2/8). Which is greater: n or -7?
-7
Let q = -19.216 - 0.024. Let g = 0.24 + q. Which is greater: g or -1/2?
-1/2
Let u = -0.345 + 53.345. Which is greater: 0.7 or u?
u
Let r(x) = -x**3 + 2*x**2 + 4*x + 3. Let y be r(-3). Let z = y + -22. Let w = -14 + z. Is -4/15 bigger than w?
False
Let x = 149/2 - 65. Let q = x + -10. Let b be (-2)/6 - 14/(-30). Which is smaller: b or q?
q
Suppose 2*y - 2*o - 4 = 0, -y = -3*y - 3*o + 4. Is -2 at most as big as y?
True
Let c = -375 - -5623/15. Let h be (0*3/6)/(-2). Suppose -6*x + 10*x = h. Is x > c?
True
Let q(p) = -23*p + 772. Let a be q(18). Which is smaller: a or 357?
357
Let v = 198 - 945. Is v smaller than -747?
False
Suppose -2*s - 8 = 2*z, -3*s - 2*s + z - 14 = 0. Is 15 at least as big as s?
True
Suppose -l - d = 0, 0*d = -d - 2*d. Is l > -1/25?
True
Let y = 46 + -38. Let o be (y/(-20))/((-20)/(-25)). Which is bigger: o or 9?
9
Let p = -441 + 186. Let f be 2/9*p/(-34). Let j be (8/6)/(60/45). Which is smaller: j or f?
j
Suppose 3*a - 6*a - 5 = 2*d, 0 = -4*d - a + 5. Let n(j) = j**2 - j - 1. Let l be n(3). Do l and d have different values?
True
Suppose 715 = -31*l - 1300. Which is smaller: l or -572/9?
l
Let c be 3/((-21)/(-35)) - 13069/2611. Which is bigger: 0 or c?
0
Let d = -22 + 15. Let h = -8 - d. Let v be (-21)/14*8/258. Is h less than or equal to v?
True
Let k be ((-3)/(-2))/((-2)/12). Let w = -11 - k. Let c be 1 + w - (-45)/24. Is c > 2?
False
Let c = -23 + 7. Let z = -17 - c. Is -8/5 less than or equal to z?
True
Suppose y + 134 = -p, -p - 392 = -8*y + 11*y. Is y bigger than -131?
True
Suppose 0 = q - 2*y - 10, 7 + 7 = q - 4*y. Suppose -p = -q*p. Let c be (p - 0 - 4) + -2. Which is greater: -3 or c?
-3
Let t = 4.57 - 4.77. Do -9/11 and t have the same value?
False
Let n(v) = -5*v - 1. Let y be n(-1). Let z(d) = 7*d - 81. Let x be z(12). Do y and x have different values?
True
Let t = 542 - 543. Are -1/1517 and t nonequal?
True
Let g = -3952/3 + 1317. Is 28 at least as big as g?
True
Let y = 1136 - 2271/2. Are -250 and y nonequal?
True
Let j(f) = -3*f**3 + 17*f**2 + 3*f - 10. Let k(y) = 4*y**3 - 25*y**2 - 5*y + 15. Let b(g) = -7*j(g) - 5*k(g). Let n be b(-4). Which is bigger: 13 or n?
13
Suppose 18*z - 151 + 1411 = 0. Does -11 = z?
False
Suppose -b + 9 = -0*b. Suppose 5*n = 3*h + 14, 5*h - 1 - b = 0. Let v be 16/(-54)*(-6)/n. Which is bigger: v or -1?
v
Let f be ((-6)/(-3))/(68/24 - 3). Let l be -6*(-3 + (-34)/f). Does l = 0?
False
Suppose -228*s + 229*s - 67 = 0. Let w = 50 - s. Is -18 > w?
False
Let o(y) = -y**3 - 16*y**2 - 7*y + 37. Let l be o(-17). Suppose 4*f = f - 15, -4*f = 5*c - l. Which is greater: c or 1/3?
c
Let r be 7*(-16)/(-56)*-71. Is r at most as big as -140?
True
Let d = -10 - -9. Let h = d + 3. Let u = h - 2. Is 1 at least u?
True
Let o be (2/(-2) - 0)*-2. Let c(n) = -n + 2. Let q be c(o). Is q bigger than 5/9?
False
Let n = -4.3 + 5.3. Is n < 1/36?
False
Let g = 0.34 - -1.66. Let p = -42.1 - -44. Let a = g - p. Which is smaller: a or 0?
0
Suppose 3*c = -4*q - 21, -3*q = 5*c - 2*q + 35. Let r(x) = -1 - 4*x + 1 + 4. Let m be r(3). Which is bigger: m or c?
c
Suppose -60*k = -27*k - 19*k. Are 4/181 and k non-equal?
True
Let h(p) = p**3 - 8*p**2 + 7*p + 5. Let m be h(7). Suppose 2*f = -m*f. Is f less than -6?
False
Suppose 4 = 3*i - 5*w, 0 = 3*i - 4*w + 12 - 20. Is i equal to -3/23?
False
Suppose -x = 5*o + 50, 0 = -2*x - 28*o + 26*o - 68. Is x greater than or equal to -34?
True
Let z(n) = n**2 + n + 1. Let y(h) = -2*h + 8. Let k be y(4). Let g be z(k). Which is smaller: -1/3 or g?
-1/3
Suppose -3*f + 2*f - v + 1 = 0, 5*v = 3*f - 3. Suppose -5*j - f = 9. Let r be 2/(-28) + j/(-7). Is 0 at least as big as r?
False
Suppose -16*c + 180 = 212. Is -10/19 >= c?
True
Let g = -301.8 - -267. Let l = 35 + g. Is 5 > l?
True
Suppose 0 = -6*g - 3*g + 14*g. Is 1/25 greater than g?
True
Let w be 1*(2 + 3) + 254. Suppose -5*t = -4*y - 533, 80 = 3*t + 4*y - w. Which is smaller: 110 or t?
t
Let z be ((-16)/(-40))/((-1)/5). Let h be (5 + z)*(-4)/28*-1. Is h less than -0.1?
False
Suppose 0 = 2*x + 4*r + 86, 0 = -7*r + 2*r - 25. Let w = x + 31. Which is smaller: -11 or w?
-11
Let j(m) = 3*m + 1. Let x be j(1). Let i(d) = 2*d - 2. Let b be i(x). Suppose 2*z - 10 = 4*w, -5*z = -5*w - 20 - 5. Which is bigger: z or b?
b
Suppose -5*x + 100 = 3*t, -2*x + 0*t = -3*t - 40. Let f be (x/(-690))/(2/3). Which is greater: 0 or f?
0
Suppose -2*k + 3 = -m, -12 = m - k - 4*k. Suppose 5*a = -4*p - 1, m*p + 1 - 3 = -a. Suppose -15 = 5*f - 5*v, -2*v = -2*f + 6*f. Are p and f non-equal?
True
Let x be ((-167)/(-144))/(1/3). Let t = -1/48 - x. Is t at most -1?
True
Suppose 0 = -4*h + 4*k - 324, 3*h - 2*k = -4*k - 263. Is h at most as big as -87?
False
Let w(b) = -45*b**3 - b**2 + b + 2. Let x be w(-1). Let c be (-88)/14 - 2/(-7). Let o be (c/x)/((-6)/63). Which is bigger: o or 2?
2
Let g = 208 - 205. Let n = -3 - -12. Suppose -n = -g*o + 3. Which is greater: o or 3?
o
Let x(a) = 2*a**2 + 50*a + 37. Let g be x(-23). Is -54 greater than g?
True
Let v be (-1)/(-3) - 2/18. Suppose -11*y + 31 + 24 = 0. Suppose 4*d = -3*a + 3, y*d = 4*a - 2*a - 2. Which is smaller: d or v?
d
Suppose 319 = d + 4*f - 336, 4*d - 2515 = 5*f. Is d at least 635?
True
Let r = -4.2 + 4. Let f = 0.151 + 23.249. Let p = 24 - f. Is r at least p?
False
Let m be (11/2882)/((-1)/6). Which is smaller: 1 or m?
m
Let i(c) = 4*c - 19. Suppose -1 = -4*t + 19. Let k be i(t). Which is bigger: 0 or k?
k
Let v be 10/(-4) - (-79)/2. Suppose v*a = 42*a + 35. Let u be (-26)/3 + (-4)/(-6). Is u less than a?
True
Suppose 0*f + 2*f + 6 = -c, 0 = 4*c + 2*f. Suppose 7*d - 10 = c*d, -2*d - 266 = -5*k. Suppose z - k = 7*z. Is -8 at most z?
False
Let z be 2/(-3)*(-10584)/2100. Is 2 at most as big as z?
True
Let a(g) = -g**2 + 10. Let n be a(3). Let i be ((-6)/80)/((-12)/8). Which is bigger: n or i?
n
Suppose -y + n = -6, 20 = -5*n - 0. Let z = -3722 - -22345/6. Is y < z?
True
Suppose -5*p = 8*z - 5*z + 5841, 0 = -2*p - 6. Let y = 21382/11 + z. Which is smaller: 1 or y?
1
Let i be -177*7*10/(-2310). Does i = 4?
False
Let c = 150 + -152. Which is greater: -0.0188 or c?
-0.0188
Let r(s) be the third derivative of -s**4/24 + 2*s**3/3 + 17*s**2. Let z be r(2). Let u(l) = l + 3. Let d be u(0). Which is smaller: d or z?
z
Let a(t) = -t**2 - 10*t - 5. Let l be a(-9). Suppose l*j + 13 = -23. Let o be (3/(-2))/(j/(-12)). Is -2 at most o?
True
Let t = -18.86 + 19. Let p = 0.24 - t. Which is smaller: p or 1/11?
1/11
Let a be 4/6*-3 + (11 - 6). Which is greater: a or -7?
a
Let d(n) = -n**2 + 16*n - 18. Let u be d(15). Which is bigger: u or -7/3?
-7/3
Let q = 568 + -568. Let o(j) = -j**2 - 4*j. Let k be o(-4). Suppose k = -4*x + 3*n - 0*n - 40, 2*n = 0. Is q equal to x?
False
Let h = -3 + 5. Suppose 0 = -5*x - y + 18, -4*y = 5*x - 12. Suppose h*u + 2 = x*u. Which is smaller: -0.1 or u?
-0.1
Let j be -134 + 5 + -2 + 1 + 2. Which is smaller: -127 or j?
j
Suppose -4*z - 5*m = -3226, -13*m = 3*z - 11*m - 2416. Is z at least 803?
True
Let q = -14 + 11. Let v be ((-8)/(-6))/((-8)/36). Is q smaller than v?
False
Let h be (-38)/(-2) - (-32)/(-8). Let g be h/(-8)*2/6. Is -1 smaller than g?
True
Let a = 1207.3 - 1217. Is a less than or equal to -0.01?
True
Let d = 10490/39 + -1330/13. Which is smaller: 167 or d?
d
Let k = -0.0487 + -0.0213. Is -3 bigger than k?
False
Suppose -4*y = -1 + 9. Let n = -6409 - -134555/21. Let q = n - -2/7. Which is smaller: y or q?
y
Let r be 2/(-6) - (-14)/24. Let u be 4/(-12)*(0 + 6/8). Let b = -1/12 + u. Which is smaller: b or r?
b
Let m = -892.12 - -892. Does 3/2 = m?
False
Let q(m) = -4*m + 8. Let z be q(-4). Let h be z/10 - (-6)/(-15). Let p = -7 + 11. Which is smaller: p or h?
h
Suppose 3*y = 5*y - 8. Suppose -3*o = y*h - 21, 28 = 4*o + 4*h - 3*h. Is 6 != o?
True
Let o be (12/(-162))/((-6)/63). Let p(m) = -m**2 + 3*m - 9. Let r be p(6). Let g = -27 - r. Which is smaller: g or o?
g
Let n = -60 + 60.53. Let j = n - 0.63. Which is greater: j or 0.18?
0.18
Suppose 5*o - 25 = 0, 21 = x - 2*o + 6. Let g = x - 25. Let l(h) = h**3 - h**2 - h + 26. Let j be l(g). Which is bigger: j or 25?
j
Let d(g) = 30*g + 6*g - 15*g**2 - 2*g + 2 - g**3 - 17. Let y be d(-17). Which is greater: 