= -22 - -32. Let i = -7 + n. Suppose -5 + 23 = i*u. Are 6 and u equal?
True
Let r be 322/(-910) + (-4)/(-26). Which is bigger: -51 or r?
r
Let s = 16 - 22. Let m be (s/15)/(297/(-75) - -4). Is m at least as big as -10?
True
Let v = 0.24 + -10.94. Let p = v + 9.7. Which is greater: -10 or p?
p
Suppose 0 = 18*f - 10*f - 472. Which is bigger: f or 58?
f
Suppose 0*j - 20 = -5*j. Suppose 2*z = j*x + 26, x - 4*z = 10 + 1. Is x at least as big as -11?
True
Let l(f) = f + 27. Let v be l(-23). Suppose 3*k - 4*a + 0 = -v, 5*k + 3*a - 3 = 0. Is k greater than 3/8?
False
Let u = -1021 + 1522. Is u less than 500?
False
Suppose v = -3*t + 6*t + 537, -3*v = -2*t - 351. Let y be (2/(t/2))/(13/6). Is y equal to -1?
False
Let g be (1 + -3 - 1) + 384. Let p = g - 183. Let s be p/(-12)*(-2)/3. Which is smaller: 10 or s?
10
Let t = -2718 + 24472/9. Suppose 0 = -3*w + 4*w - 4. Suppose -3*g + 8 = 4*k, 0 = -0*g - 3*g + w*k - 8. Which is smaller: g or t?
g
Let c = 1739 - 19131/11. Let p = 0 - 1. Which is bigger: c or p?
c
Let n = -8 - -11. Let w(m) = 1 - 6*m**2 + 2*m**2 - m**3 + n*m**2 + m. Let l be w(-1). Is -0.4 < l?
True
Let v be (-568)/296 + 1 + 0. Let l = -4/407 - v. Is l > 1?
False
Let p be 45/21 - 3 - (-60894)/42. Is 1450 smaller than p?
False
Let t be (-20)/(-6)*(-48)/(-40). Suppose m = -0*o + 2*o - 1, 0 = t*m + 12. Suppose -7 + 2 = 5*j. Is j at least as big as o?
True
Let h = -143 + 124. Suppose 0 = -4*r - 48 - 24. Is h != r?
True
Let u(o) = 2*o**3 - 8*o**2 - 10*o - 3. Let b(s) = -s**3 - s**2. Let j(q) = b(q) + u(q). Let n be j(10). Let t be n/((-3)/6*22). Which is smaller: 0 or t?
0
Suppose 4*u + 10 = 6*u. Suppose 5*v - 18 = -2*s, -u*s = -v + 2*v + 1. Let q be s/(-5)*(-15)/(-6). Is q <= -8?
False
Let s = -18 + 20. Suppose 0 = -3*i - s*i + 60. Let l be (2/(-4))/(162/i). Is -1 greater than or equal to l?
False
Let o(r) = r**2 + 12*r + 3. Let f be o(-12). Let h be 2/35*(-91)/(-13). Which is greater: f or h?
f
Suppose q + 4*h = -52, -5*q = -q + 5*h + 197. Let m = q - -44. Are m and -8/3 non-equal?
True
Let q = 875 + -30627/35. Suppose -4*v = -0*v + 4. Is q at least v?
True
Let n = -82.5 - -76. Let p = n + 6.3. Is p greater than -12?
True
Let i be 224/448 + 10/(-4). Which is smaller: -25/11 or i?
-25/11
Let x = 1338 + -2057. Is x at least as big as -720?
True
Suppose 0 = u - 5*m - 161, u + 3*m - 161 = -2*m. Do u and 162 have the same value?
False
Let y be 1/(-3 - (-40)/14). Let a be (-5)/(-1)*(-5 + 7). Let k be y/a + (-3)/(-6). Is 4 at least k?
True
Suppose 29*b = 31*b - 678. Is b at least 339?
True
Suppose 129 = -l - 2*u, 0 = 4*l - 11*u + 16*u + 522. Is -135 at most as big as l?
True
Let p = 427/6 + -72. Which is bigger: p or 2?
2
Let s = 125/4 + -31. Let j = 0.07 - 0.17. Let h = -5.1 - j. Are h and s unequal?
True
Let i = 204 - 209. Are -5 and i equal?
True
Let p = -1.51 + 77.51. Let y = p + -41. Is -1/3 >= y?
False
Let r = -238 - -227. Which is smaller: -39/4 or r?
r
Let l(a) = a**3 + 4*a**2 - 4*a + 1. Let n be l(-5). Let p(b) = -b**3 - 3*b**2 + 4*b - 5. Let h be p(n). Which is bigger: h or -4?
-4
Suppose 0 = 20*c - 47 - 73. Suppose 0 = q - 2*q - 8. Let d be (c/q)/(30/24). Which is smaller: d or 1?
d
Let b = -123 + 108. Let t be (-28)/(b - -8) + 0 + -5. Which is greater: 0 or t?
0
Let a(j) = -2*j - 10. Let y be a(-5). Let o be 1 + 34 + y/7. Let h = 28 - o. Is h != -25/3?
True
Let l(x) = -x**2 + 12*x - 37. Let h be l(6). Is 1 greater than h?
True
Let h(y) = 68*y - 359. Let s be h(6). Is s != 340/7?
True
Suppose -g = -2*k + 119, g + 57 = -0*k + k. Let f = k + -311/5. Which is smaller: f or 0.4?
f
Suppose -10*i + 15 + 15 = 0. Suppose 8 = -5*v - 2*x, i*v + 7 = -0*x + x. Which is bigger: v or -3/2?
-3/2
Suppose 3*n + 2*m - 5 = 0, 5*m = 5*n + m - 45. Suppose 0 = 5*d - n*z + 20, 0 = -2*d - 0*d + 5*z - 14. Let y be d/(-5) - 112/(-120). Is 2 less than y?
False
Let s be -11*((-32)/176 - 46/(-374)). Which is bigger: 2 or s?
2
Let x(o) be the second derivative of -o**3/2 - o**2 - 6*o. Let u be x(-4). Suppose 3*f - u = -1. Is f smaller than 1?
False
Suppose 0 = -81*j + 78*j + 3. Is 2/879 greater than or equal to j?
False
Let p(x) = -x**2 + 12*x + 4. Let l be p(-8). Let r be (51/l)/((-18)/(-184)). Let b = r - -1/117. Which is bigger: -2 or b?
-2
Let o = -2941/560 - -1/560. Suppose 0 = 6*f - 5*f - 3*g - 9, -11 = f + g. Which is greater: o or f?
o
Let d = 257 + -483/2. Suppose 2*y = 2*m - 30, 6*y = -5*m + 5*y + 81. Is d > m?
False
Let p be ((-3)/(-12))/((-19)/76). Let o be (-131)/(-70)*167*2. Let r = 625 - o. Are p and r nonequal?
True
Suppose 7*k - 40 = 2. Let h be (2 - 2) + k/(-8). Let c = -2 + 0. Which is smaller: h or c?
c
Let h be (1290/175)/((-13)/5 - -3). Which is smaller: 19 or h?
h
Suppose -3 = -2*k + f - 6, -k - 5*f - 29 = 0. Let r(w) = -w**3 + w**2 + w - 2. Let z be r(2). Is z at most k?
True
Let b be 1*24/(-783) + 4/(-18). Is b at most as big as -1?
False
Let f be 36/48 + 10/56. Let v = f - 401/462. Which is bigger: v or -1?
v
Let s = -50.35 - 0.65. Let i = -16 + s. Which is bigger: i or 0.1?
0.1
Suppose 0 = a - 0*a + 5. Let d = 88 + -88. Suppose 10*t - 16*t - 42 = d. Which is smaller: t or a?
t
Suppose 10*h - 21 = 17*h. Let t be (2/5)/(24/(-20) + h). Let q = 2/49 + 80/441. Is q greater than t?
True
Let a be ((-12)/(-12))/((-4)/128). Which is bigger: a or -30?
-30
Let q be (2 - -7)/((-1)/100*4). Which is smaller: q or -227?
-227
Suppose 5*m + 430 = 2*d, -7*m - 2*d - 410 = -2*m. Let x = 70 + m. Is x != -16?
True
Suppose p + b = 5 + 2, -10 = -p - 2*b. Let k be (3 - 1) + (p - 1). Suppose -44 = -3*z + 4*w, 0 = -3*z - k*w - 2 + 1. Which is smaller: z or 9?
z
Let t = -2459.9 - -2460. Is -0.1376 less than t?
True
Suppose -66 = -31*f + 25*f. Is f less than or equal to 11?
True
Suppose 2*d = -2*x - 58, 0*x - 3*x = -3. Which is smaller: d or -119/4?
d
Let p = -33.51 - -0.51. Let k = p - -35. Is k != 0.1?
True
Let p = 56 + -60. Let z be (-5)/((-50)/p)*2/8. Is z less than or equal to 0?
True
Let t = 1.3 - -5.7. Let a(p) = p**3 + 3*p + 3. Let f be a(0). Which is smaller: f or t?
f
Let v = -0.1 + 0.2. Let w = -1 + -4. Let f = w - -6. Which is smaller: f or v?
v
Let b = 29 + -13. Suppose -m + 4*w - 2*w = -8, 3*m + 4*w = -b. Is m at most as big as 2/203?
True
Let d(j) = -4*j + 31. Let i be d(7). Suppose i*g + 15 = -m, 4*g + 0*g = -m - 20. Is 2/17 greater than or equal to m?
True
Suppose 12*b - 11*b - 81 = 0. Let q = -104 + b. Which is bigger: -24 or q?
q
Let z(t) = t - 31. Let q be z(9). Which is smaller: q or -108/5?
q
Let z = 15 - 14. Is 2/3 at most as big as z?
True
Let g(f) = 2*f - 4. Let z be g(6). Suppose z*h - 420 = 3*h. Let w be h/41 - (-14)/(-7). Does 0 = w?
False
Suppose 1793 + 3207 = -5*g. Which is bigger: g or 1?
1
Let r(p) be the second derivative of -p**5/20 + p**4/4 - p**3/3 - 3*p**2/2 + 31*p. Let m be r(2). Are m and -15/4 nonequal?
True
Let x = -19 + 18.959. Let l = x - -37.041. Let h = l - 26. Is 0.1 <= h?
True
Let y = 204 + -177. Is y >= 8?
True
Suppose 4*r - 187 = 25. Is r less than 55?
True
Let b = 9.893 - -0.007. Let w = -10 + b. Let i = 69 + -273/4. Is w bigger than i?
False
Let k = 0.3 + -2.3. Let c = k + 4. Let a = -12 + c. Which is smaller: 0 or a?
a
Let i be (-11)/(-1386)*1587 + 6/(-63). Do i and -0.07 have different values?
True
Let k = 3.7 + -4. Let r = 81 - 81. Which is bigger: r or k?
r
Let k(a) = -10*a - 2*a**2 + 6 + 29*a + 0*a**2 - 5*a. Let p be k(7). Let t be 0/(-2) - (-5 - 0). Which is smaller: t or p?
t
Let n = -295/1106 - 3/158. Let b(z) = 9*z**3. Let o be b(1). Let v be (6/o)/(4/(-6)). Is n greater than v?
True
Suppose -c + 37 = -2*c. Let j = 6135 - 6173. Which is greater: c or j?
c
Let d = -169.5 + 169. Which is bigger: -4 or d?
d
Let k be (-3 + (-7)/(-7))*(133 - 1). Which is bigger: -265 or k?
k
Let s(n) = -n**3 - 4*n**2 - n - 3. Let p be s(-4). Let h = 2/47 + -93/1081. Is h <= p?
True
Let h(s) = s**2 + 13*s + 15. Let w be h(-11). Let d = w + 13. Which is smaller: d or 0?
0
Let s = 265 - 286. Is s >= 1?
False
Let v = -473 - -111. Is -363 >= v?
False
Let f(i) = -48*i - 17. Let z be f(4). Which is smaller: -208 or z?
z
Suppose 4*q - 34 = -102. Let v(m) = -124*m - 16. Let h be v(15). Let n be h/105 - 4/30. Are q and n equal?
False
Let l = -41 + 21. Which is smaller: -22 or l?
-22
Suppose 0 = -3*p + p - 3*n + 5, -5*p + 3*n + 2 = 0. Suppose