: -2/3 or s?
s
Let c be 0 + -6*5/3525. Is c < 0?
True
Let s be (-29 - -25) + 1*10/2. Which is greater: s or -1/1484?
s
Let k = 90 + -110. Let q be (1 - (-202)/(-12))*(-4)/k. Which is bigger: -4 or q?
q
Let m = 21.75 + -21.34. Is m <= 0?
False
Suppose 0 = -3*q - 26 - 19. Let z = 18 + q. Let f = z - 4. Is f bigger than 1?
False
Let u = -1278 + 1278. Are -1/138 and u equal?
False
Let i be 119/2*(60/(-35) + 0). Let f = 98 + i. Are -16/3 and f nonequal?
True
Suppose 7*l + 141 + 55 = 0. Which is smaller: -23 or l?
l
Let l be -4*((-135)/12)/5. Is l at least 6?
True
Let k(u) = 300*u + 120. Let j be k(1). Is j greater than -3?
True
Let j be ((-376)/(-60) - 6)*(-6)/(-8). Let o = 3517/14 + -251. Which is bigger: j or o?
o
Let n(a) = a + 19. Let j be n(3). Let x be 2/(-4)*j/11. Which is smaller: x or 1/46?
x
Let h(t) = 124*t - 624. Let c be h(-11). Which is smaller: -1987 or c?
c
Let s = -328 + 329. Is -1/433 at least as big as s?
False
Let a = 24 + -18. Let o = -261/2 + 130. Is a at least as big as o?
True
Let u = 6.67 + -6.68. Is 24 > u?
True
Suppose -29 = 10*o + 11. Do 1 and o have the same value?
False
Let y be (-2)/2 - -2 - -32. Let t = 46 - y. Let o = -474 + 487. Are o and t nonequal?
False
Let z = 5.1 + -1.1. Let x = 140.989 - 141. Let t = -1.011 - x. Which is bigger: z or t?
z
Let z be (-12)/9*(-3)/82. Let w = 92/205 - z. Let b = 111/265 - 1/53. Is w greater than or equal to b?
True
Let k = -881 - -925.7. Let r = -45 + k. Are -0.3 and r nonequal?
False
Suppose -42 = a - 5*w, -2*w - 36 = a - 5*w. Let b be 6/27 - 318/a. Suppose 4*s + 4 = b. Which is bigger: 3 or s?
3
Let n = 0 - 8. Let v = 9033 + -9029. Is v > n?
True
Let s = 2.017 - -0.413. Is s > -0.1?
True
Let o be 33796/84 + (-8)/6. Which is smaller: 398 or o?
398
Let l = -162 + 189. Let r = -28 + l. Is r greater than or equal to -5?
True
Suppose -2*b - b + 5*i + 38 = 0, 2 = -b - 2*i. Let u be (-455)/30 - b/(-4). Is u greater than -13?
False
Let q = -3053/406311 - -5/501. Which is smaller: 0 or q?
0
Let x(o) = -4*o**2 + 10*o + 18. Let j be x(3). Is -0.034 < j?
True
Let o be 25/(-3) - 2/3. Let k be (-129)/(-27) - 2/o. Suppose 0 = k*l - 10 - 20. Is 8 greater than l?
True
Let c = -127 - -127. Which is smaller: c or -76?
-76
Let s = 13 + -11. Suppose 5*q - p = 48, 3*q = -q + 2*p + 36. Let h = 9 - q. Is h equal to s?
False
Let p = 0.746 - -31.554. Let i = 32 - p. Let d = 3.7 - i. Is d less than 1/5?
False
Let u = -21.52 + 19.3. Let i = 1.9 + u. Let t = i - 0.68. Is t smaller than 14/5?
True
Let z be 12/(-9) + 7/3. Let b = 348/5 - 70. Are z and b unequal?
True
Let u = 31 + -66. Let p be 15/u + (-398)/(-14). Suppose 0 = -12*f + 8*f - p. Is f less than -3?
True
Suppose 3 = -4*y - 5. Let f be (-3)/66 - (-5)/(-10). Does y = f?
False
Let s(q) = -2*q - 7. Let b(l) = -7*l - 28. Let u(w) = 4*b(w) - 18*s(w). Let i be u(-4). Is -18 bigger than i?
False
Suppose -5*i + u = 6, -5*i + 32*u - 28*u - 9 = 0. Which is smaller: i or -3?
-3
Let i be (-14)/21*(-3)/101. Let k = i - -56/7373. Which is smaller: -1 or k?
-1
Let f = -753 - -760. Suppose -3*t + 30 = 2*t. Which is smaller: t or f?
t
Let g(m) = 5*m + 63. Let n be g(-12). Which is smaller: n or 13/8?
13/8
Let r = -210.4 + 209.2. Suppose 3 = 2*i - i. Is r < i?
True
Suppose -7*m + 2970 = 12665. Let q = m - -52633/38. Which is bigger: -1 or q?
q
Let n(j) = 2*j**2 + 8*j + 17. Let x be n(-6). Let d = x + -40. Which is smaller: d or 2/51?
2/51
Let u(f) = 364*f - 7637. Let c be u(21). Let w be (-11)/(-4) - (-3)/12. Let m be 6/9 + 16/w. Which is smaller: m or c?
m
Let u be (1 - 4382/(-4947)) + -2. Let o = u + -1/291. Suppose -i - 2*i = 0. Which is greater: o or i?
i
Let o = -14.875 + 15. Let u = 0.075 + o. Is -1 at most u?
True
Let y = -169 - -165. Which is smaller: y or -2?
y
Let w = 7 - 14. Let t(s) = -2*s**3 - 49*s**2 - 27*s - 80. Let j be t(-24). Which is smaller: j or w?
j
Let v be (-4879)/(-140) + 4/10. Let q be 7/(33/15 + -2). Let h = v - q. Is h at least as big as 0?
True
Let z = 8 + -14. Let d = 8 - z. Let l = d + -16. Which is greater: l or -3?
l
Let h = -5 + 7. Let w = 10.2 - 9. Let n = -0.8 - w. Is h bigger than n?
True
Suppose 0 = -3*p - 12, -2*m + 6*m - 44 = -4*p. Let k = -3539 - -10661/3. Is m >= k?
True
Let i(y) = -6*y + 46. Let t be i(9). Which is bigger: -9 or t?
t
Suppose 3*x = -22*u + 23*u, 0 = 2*u. Which is smaller: -60/41 or x?
-60/41
Suppose 2 = 2*m - 12. Let r = -14 + 26. Suppose 5*p - 3*p = r. Is p equal to m?
False
Let d = -2.8 - -3. Let r = d + 0. Let p = 0.567 + -0.267. Is p at least as big as r?
True
Let c = 9 - 7. Suppose 2*m - 2*a + 29 = -51, c*m - 5*a = -77. Is -39 >= m?
True
Let v be 522/(-45) + (-4)/10. Let m(r) = -8*r - 6. Let k be m(-5). Let t = 23 - k. Is v equal to t?
False
Let x(j) = 2*j + 9. Let z be x(-6). Let c = 0 + 3. Suppose 5*b - c*b + 2 = 0, u + b = -5. Are u and z unequal?
True
Let c = 45 - -57. Let o = -66 + c. Are 35 and o unequal?
True
Let i = 164.1 + -164. Is -0.195 equal to i?
False
Let g be (4/6)/((-4)/(-30)). Suppose -4*b = 2*h - 10, -g*b = -2*b + h - 8. Let o be b/((84/8)/(-7)). Is -2 <= o?
True
Let j = 64 + -63. Let n = 0 + j. Is 0.03 greater than or equal to n?
False
Let n be ((6 - 517) + -4)/(20/(-8)). Which is smaller: 203 or n?
203
Suppose -6 = g + 4*z, 2*g - 8*z = -3*z - 51. Let d be 2*(2/(-9) + (-1825)/90 + 11). Which is greater: g or d?
g
Suppose 10 = -5*i + x, 5*i + 40 = 2*x - 7*x. Is i at least as big as -58/19?
True
Suppose -52*u - p = -49*u + 1145, -5*u + 5*p - 1935 = 0. Which is smaller: u or -382?
u
Let j = -2493 + 57327/23. Let n = j + -78/115. Which is greater: n or -1?
-1
Let h be (7/28)/(3/(-12)). Let c be (-1)/(-3) - (-4)/(-10). Which is smaller: h or c?
h
Let t(k) = 2*k**2 + 32*k - 34. Let b be t(-17). Is b less than or equal to 2/31?
True
Let o = -1.11 - -66.11. Is o <= 0.4?
False
Let b = 1003 - 1017. Which is smaller: b or 0.07?
b
Let v be -2 + 68 + (-17)/((-17)/(-3)). Is -3 greater than v?
False
Let b be 14/186*27/(-3). Which is smaller: -2 or b?
-2
Suppose 0 = 41*m + 72442 - 16149. Is m at least as big as -1372?
False
Suppose 16*c = 18*c + 4*p - 8, -10 = -3*c - 4*p. Suppose -i + 4*i + 3*d - 3 = 0, -4*i + 4*d = -12. Let n be i/9 - 17/36. Is n at least c?
False
Let r(d) = d - 2. Let x be r(-4). Let y be 0 + (0 + 5 - 2). Let b be x/y - 13/(-7). Which is smaller: 1 or b?
b
Let r(i) be the first derivative of -5*i**2/2 + 3*i - 5. Let t be r(-1). Suppose -3*j = -5*c - t*j + 85, -5*c = -2*j - 57. Is c at least 12?
True
Let b(h) = 17. Let y(m) = -m + 50. Let x(p) = -11*b(p) + 4*y(p). Let n be 1 + -3 - -3 - -3. Let c be x(n). Do c and -5/3 have different values?
True
Suppose 45 = -6*a + a. Let c be 2/a + 14/144. Which is smaller: c or 1?
c
Let f be 2/3*4/6. Suppose -2*w - 4 + 8 = 0. Suppose -3*s = -0*u - w*u + 5, -3*s = 4*u - 19. Is s != f?
True
Let g(n) = -n + 10. Let p be g(8). Let j be p + -1 + 3770/(-3750). Let h = 209/125 + j. Does 3 = h?
False
Let r be 2/(4/6)*(-128)/24. Let x be (-4)/6*(-13 - r). Is x at most as big as 15/7?
True
Suppose 5*i + 0*y + 3*y + 3029 = 0, -2*y - 1214 = 2*i. Is i bigger than -605?
True
Let w(t) = -5*t - 5. Let n(h) = -11*h - 11. Let y(i) = -4*n(i) + 9*w(i). Let g be y(-10). Suppose 0 = f - g - 0. Is f not equal to 10?
True
Let d = -1/415 + -301/219535. Which is smaller: -1 or d?
-1
Let t be ((-122)/6)/(12 - 3876/324). Is -549 < t?
False
Let u be -3*((-70)/(-6))/(-1). Let n = u - 34. Suppose 4*p - 2 = p + 2*i, -n = 2*p + i. Which is bigger: p or -3/7?
p
Let j = -121 - -68. Let b = -53.16 - j. Is 3 at most b?
False
Let l(o) = -2*o**2 + 7*o - 9. Let t be l(2). Suppose 0 = -5*n - 23 - 12. Which is smaller: n or t?
n
Let b(k) = k**3 + 5*k**2 - 7*k - 8. Let t be b(-6). Let q = -16 + 20. Suppose q*z + 0*j + 4 = -2*j, -5*j = 3*z - 11. Which is bigger: t or z?
t
Let t = 3.1 + -0.1. Let o = -2.4 + t. Let z = o + 0.9. Is z at least as big as 1?
True
Suppose 369 = -2*u + 11*u. Are 39 and u non-equal?
True
Let d = -4389 - -21814/5. Let b = d + 2549/95. Are 0 and b equal?
False
Let k(d) = 2*d**2 + 12*d - 3. Let w be k(-6). Let s be 2 + (2 - 1) + w*3. Which is smaller: -5 or s?
s
Let j(x) be the third derivative of x**6/120 - x**5/6 + x**4/3 + 11*x**3/6 + 4*x**2. Let h be j(9). Suppose 9 = 5*i + b, -3 = h*b - 1. Is 1 bigger than i?
False
Suppose 3*v - 2*m - 32 = 0, -3*v + 3*m + 1