 + 3, -4*f = j - 9. Let z = -6/17 - -709/2057. Which is bigger: z or j?
j
Let p = 0.881 + -0.981. Suppose 4*w + 4*n + 32 = 0, 11 = -2*w - 5*n + 2*n. Which is smaller: p or w?
w
Suppose 0 = b + 5 + 3. Let y be b/36 - (3 - 5). Is y at most 2?
True
Let x be (4 + 14385/5)/(-18). Let j = x + 160. Let f(q) = q**2 + 4*q - 6. Let d be f(-5). Are d and j non-equal?
True
Suppose -9*l + 14*v - 16*v - 2 = 0, 0 = 5*v + 5. Let c = -56 - -1846/33. Which is smaller: c or l?
c
Let g = -475 - -475.02. Let v = 8 - 8.3. Let l = v - -0.1. Which is greater: l or g?
g
Let f be (-8)/(-28) + 276/14. Suppose -d = 4*d + f. Let w be (2/(-4))/(7/d). Which is greater: 1 or w?
1
Suppose -i - 2*j = -62, 2*j + j + 231 = 3*i. Which is bigger: i or -2/5?
i
Let v(i) = 26*i + 312. Let n be v(-12). Is n <= 8.59?
True
Let w(s) = -2*s**3 + 10*s**2 + 13*s - 31. Let o be w(6). Which is bigger: -27 or o?
o
Let s = 43.5 + -34.7. Which is smaller: s or 0.04?
0.04
Let m = -49 - -49.044. Let o = m + 1.956. Which is smaller: -1/9 or o?
-1/9
Suppose 8*i = 3*i + 575. Let g = 116 - i. Which is smaller: g or 2/21?
2/21
Let z(u) = -2*u + 93. Let j be z(-13). Let q = -127 + j. Do -66/7 and q have different values?
True
Let m(s) = -72*s + 721. Let h be m(10). Is h < -2/625?
False
Let c be (-1)/(40/(-12) + 3). Suppose c*m + 5*j - 152 = 0, -2*m - 2*j + 7*j = -93. Which is bigger: 48 or m?
m
Let t be (2 - 0)*(-27)/18. Let h(v) = -3*v - 3. Let o be h(-3). Suppose d - o*d - 20 = 0. Are t and d nonequal?
True
Let c(j) = j**2 + 4*j - 1. Let f be c(-2). Suppose -2 - 10 = -2*t. Let a = f + t. Which is smaller: 3 or a?
a
Suppose 61*v + 79 = -104. Which is smaller: v or -117?
-117
Let h = -12 + -5. Let v = 20 + h. Let w = v + -4. Which is smaller: -1/2 or w?
w
Let z = 21 - 27. Let m(q) = -q - 7. Let d be m(z). Is d less than 2/9?
True
Let k = 6.1 + -6. Is k <= -224?
False
Let y be 3/(-18)*((-7)/(-4) + -1). Which is bigger: y or -0.05?
-0.05
Let i = 25 - 44. Let w = 3/743 + -45332/2229. Is i at least w?
True
Let g = -185 + 185.2. Is 192 at least as big as g?
True
Let n(d) = 27*d**2 - 11*d + 11. Let x be n(1). Is 26 at most x?
True
Let h(c) = c**3 - 9*c**2 + 1. Let g be h(9). Let s be ((-21)/(-455))/((-9)/(-10)). Are g and s unequal?
True
Let r be ((-5)/2 + (-2 - -4))*0. Let x be (-4)/2 + (-80)/(-34). Let b = -20/153 + x. Which is greater: b or r?
b
Suppose 0 = -5*a + 15, -2*t - 3*a + 85 = 2*t. Let o = 13 - t. Is -6 at most o?
True
Let c = -0.144 + 0.004. Let y = -0.46 + c. Which is smaller: y or 0.1?
y
Let c be -3 + (-8 - -5) + 9. Let i be 6/(19/(-21) - -1). Suppose 5*l = 3*v - 7 + 68, 3*v = c*l - i. Is v equal to -22?
True
Let x(d) = 72*d**3 - 3*d**2 + 3*d + 2. Let m be x(2). Suppose m = -11*j - 2*j. Is 1 less than j?
False
Suppose -2*t - r - 5 = 0, 5*r + 11 = -2*t + 2. Let m = 0.005 - 0.125. Which is bigger: t or m?
m
Let r = -0.13 - -2.13. Are r and 4/7 unequal?
True
Let y be -1 + 822*(-8)/(-6000). Is y at least as big as 1?
False
Let n be (-2)/(-2) + -2 - -4. Let l(u) = -u**2 + 19*u + 2. Let p be l(19). Suppose -11 = -5*j - 4*r, -5 = p*r + n*r. Is j bigger than 3/2?
True
Let p = -181 - -245. Which is smaller: 62 or p?
62
Suppose 0*x = 10*x + 90. Let p be 6/4*(-6)/x. Which is smaller: -2/9 or p?
-2/9
Let u be -7*(-6)/63*(-9)/6. Which is greater: 2/1569 or u?
2/1569
Let o(p) = -68*p**2 + 1. Let i be o(-1). Let s = i + 55. Which is greater: s or -11?
-11
Let l = 32.964 - -0.036. Let y = -34 + l. Is -18 less than or equal to y?
True
Let t be 2112/(-1152) + 10/12. Let m be 1/3 - 86/42. Which is greater: t or m?
t
Let u = -1254 - -1081. Is -173 equal to u?
True
Let b = 70 + -69.3. Let j = -1.2 + b. Which is smaller: 1 or j?
j
Let w be -28 - (-1 - -3 - 57/19). Let z = -6 - 23. Does w = z?
False
Suppose w - 2*w + 3*v = 10, 0 = 5*w + 5*v - 10. Let h = w + -2. Let o be (h - (7 - 4))/(-38). Is 1 != o?
True
Suppose -2*q + 603 = -3*j + 213, -3*j = -5*q + 399. Which is bigger: j or -129?
j
Let t = 2.877 - -0.123. Are 2 and t equal?
False
Let v = 1222 - 1230. Let l(c) be the first derivative of -c**3/3 - 9*c**2/2 - 12*c + 1. Let u be l(v). Which is smaller: u or 3/2?
u
Let o be 2/3 - (-259)/(-294). Suppose 0 = 2*j + 10, 3*p + 4*j + j + 7 = 0. Suppose 4*k = -4*q + 12, 0*q + k - p = 2*q. Which is smaller: o or q?
q
Suppose 4*i = 192 - 48. Let m be (15/(-140))/(i/32). Which is bigger: 1 or m?
1
Let k be (-1 + 1)/(1 - (0 + 2)). Which is greater: k or 2/255?
2/255
Let q = -306 + 299. Is -2/57 equal to q?
False
Let r(q) = q**3 + 7*q**2 + 4*q + 8. Let h be r(-7). Let v be (-1)/3 + h/(-6). Suppose -v*c + 6*c = 3. Which is greater: -0.7 or c?
c
Suppose -3*g - 17 - 22 = 0. Which is smaller: g or 12?
g
Let a be 3/2*8/6. Let z = -194.8 - -214. Let h = z - 19. Which is greater: a or h?
a
Let d = 2033 + -390337/192. Which is bigger: 1 or d?
1
Let x = 0.009 + -24.009. Let u = x - -26. Which is smaller: -0.2 or u?
-0.2
Let i be (-4)/5*(10 + (-417)/42). Which is bigger: i or -2/45?
-2/45
Suppose 0*m + 140 = -7*m. Let v be (-12 + 13)*(-1)/1. Is v less than m?
False
Let q be (-2)/(-7) - (-6 - (-800)/56). Is 3 less than q?
False
Let b be -2*5/(-6) - 29/(-87). Suppose b*m + 8 = 26. Which is smaller: m or 11?
m
Let q(o) = 3*o - 81. Let r be q(27). Is 2/637 > r?
True
Let v = -524 - -537. Which is bigger: -3 or v?
v
Let h be (3 + -1)*18/4. Is -18 bigger than h?
False
Let h = -130 + 62. Which is bigger: -137/2 or h?
h
Let c = 190 + -191. Is c at most as big as -4/37?
True
Let x be (-6)/10 + (-7430)/(-50). Suppose x = 3*b - 2*b. Let v = -1034/7 + b. Which is greater: -1 or v?
v
Let i be ((-40)/50)/((-2)/(-5)). Let r be -5*6/(6/i). Let s(y) = y**3 - 9*y**2 - 10*y - 7. Let b be s(r). Do b and 1 have the same value?
False
Let c(h) = -h - 13. Let v be c(12). Let s be 0*(-5)/v - -4. Is 7/2 >= s?
False
Let t(z) = z**2 + 17*z + 19. Let q be t(-16). Suppose 12 = -q*h + 3. Is h less than -11?
False
Suppose -5*d - v = -0*d - 3965, -v = 4*d - 3171. Does 795 = d?
False
Suppose 6 = -2*c + 8. Let t be (c + 18/(-22))/((-4)/12). Let x(o) = -o - 3. Let f be x(-3). Is t bigger than f?
False
Suppose 6*r - 2*r = 84. Suppose 3*x = r + 39. Which is greater: 21 or x?
21
Let z(j) = -7*j**3 - j**2. Let a be z(1). Let m(x) = x**3 - 5*x**2 - 2*x + 1. Let i be m(5). Is i at most as big as a?
True
Suppose -2*v = -0*v + 14. Let a = 6 + v. Let o be 15/(-105) + ((-38)/28 - -2). Are a and o unequal?
True
Let o(g) = g**2 + 4*g + 1. Let c(x) = x**3 - x**2 - x - 14. Let t be c(0). Let u = t - -10. Let v be o(u). Which is smaller: v or 1/28?
1/28
Let f(d) = 14*d**3 - 2*d**2 + 3*d - 3. Let p be f(2). Is p less than 107?
False
Let d be (54/(-24))/(1/4). Suppose -x + 184 = 3*x. Let q be (x/10)/((-15)/25). Is d greater than or equal to q?
False
Let d = -4 + 4.4. Let r = 19.9 + -14.9. Which is greater: d or r?
r
Let u = -0.911 + -61.039. Let r = u + 62. Let q be (-2)/(-11) + (-12)/(-55). Which is greater: r or q?
q
Let v = 528 + -519.52. Let k = -8.4 + v. Which is smaller: k or -2?
-2
Let v(b) = b - 19. Suppose -9 = -4*d + 3*s, 8 = -3*d - 5*s - 7. Let a be v(d). Is 3 greater than a?
True
Suppose -2*i + 0*i = -4*m + 18, 4*i + m - 9 = 0. Suppose 0 = -3*w + 12, -q + 0*w = w + i. Let s = 0 - 4. Do q and s have different values?
True
Let b be 6/(-5) + 1673/(-35). Which is bigger: b or -5?
-5
Let o = -134 - -132. Let y(b) = 21*b**3 - b. Let k be y(1). Let t be (2/k)/((-3)/(-6)). Are t and o non-equal?
True
Suppose -6*g + 5*g - 18 = 0. Are 0 and g unequal?
True
Let l = -1710.4 - -1683. Which is greater: l or -4?
-4
Let b be (-1)/((-687)/1896 - 3/(-8)). Let r = b - -83. Which is smaller: 7 or r?
r
Let t = -2147 + 2202.24. Let l = 55 - t. Does 2/3 = l?
False
Let r = -2/11107 + 6186613/77749. Let i = 80 - r. Let a = 1 - 2. Which is smaller: a or i?
a
Let z = 1041/10 + -205/2. Suppose 0 = -2*n - 2*n - 3*d + 2, 5*n + 3*d - 4 = 0. Suppose 2*h + n*h = 8. Is h not equal to z?
True
Let z = -17 - -17. Suppose -2*m - 3 = -y, 2*y + m + m = z. Is y <= -4/9?
False
Let t(x) = -x**2 + 12*x - 22. Let s be t(10). Let h(v) = -43*v - 3. Let g be h(s). Which is smaller: 84 or g?
g
Let k(v) = -2*v + 25. Let w(z) = 13*z - 53. Let r be w(5). Let x be k(r). Is 2/27 at least as big as x?
False
Suppose m = -m + 22. Let x be (-2)/m + (-103)/(-22). Let n = 3 + 1. Which is bigger: n or x?
x
Let w be 3104/12 - (-26)/(-