-27 - -25)/(m*(-1 - 1)). Which is bigger: c or -2/11?
c
Let y = 92 + 31. Which is bigger: y or 124?
124
Let h be 1/(12/16)*360/(-48). Let n be (-2)/((-2)/(-11)*1). Which is smaller: h or n?
n
Let p = 52 + -50. Suppose p*n - 1 = n. Which is bigger: 3/32 or n?
n
Let x be 9/15 + 3/45. Suppose -42 = 3*s - 5*l, -2*s + l - 23 + 2 = 0. Let n be -3 + (-51)/s - 3. Which is bigger: n or x?
x
Let o = -3 + 2. Let h(c) = -c - 13. Let r be h(-9). Let d be 1/r + (-12)/48. Is d equal to o?
False
Suppose -13*g = -14*g + 4. Suppose 16 = 2*p - 3*p + 2*v, -g*p - 59 = -3*v. Let w = -564 + 1101/2. Are p and w unequal?
True
Let i be 962/(-65)*(-3)/92. Let v = i + 2/115. Which is smaller: v or 3?
v
Let o = 7.7 - -23.3. Let m = o - 31.2. Are m and 2 equal?
False
Let y = 7.65 + -8. Let b = y - 0.65. Which is greater: -0.2 or b?
-0.2
Suppose 0 = -399*a + 394*a + 15. Which is smaller: a or 2?
2
Let j(f) = 2*f**2 - 12*f + 6. Suppose -28 = -4*r + 4*p, -3*r = r - 2*p - 28. Let d be j(r). Which is greater: -2/7 or d?
d
Let i(l) = -l**3 + 3*l**2 + 2. Let q be i(4). Let o = 19 + q. Let z be (o + -8)/(2/(-8)). Are 13 and z non-equal?
True
Let d = 44.8 - -0.2. Let r = d + -50. Let a = 26 - 76/3. Is r > a?
False
Let k = -1.2 + 1.4. Let g = 0.09 + -0.15. Let u = -0.02 - g. Are k and u unequal?
True
Suppose -4*t = p + 74, -4*p - t - 235 = -14. Let v = -29 - p. Is v at most as big as 1?
False
Suppose 20*i + 168 = 26*i. Do i and 24 have different values?
True
Let t be 2/10 - 49/(-5). Let n be (-15*(-4)/24)/((-10)/(-24)). Which is smaller: t or n?
n
Let v = 70 - 55. Let f(s) = 0 - 2 + 3*s - s + 0. Let p be f(8). Which is smaller: p or v?
p
Let t = 1258 - 1257. Which is smaller: t or 11/14?
11/14
Let l = -3 - -7. Suppose 3*r - 7 = j, -6*j + 2*j = l*r - 4. Suppose r*s - 5*s + 18 = 0. Are s and 2 unequal?
True
Suppose -16*c - 14*c - 840 = 0. Is -24 > c?
True
Let g = 174 - 177.1. Let n = 0.019 - 3.119. Let o = g - n. Which is smaller: o or 22?
o
Let q(y) = y**3 + 5*y**2 + 5. Let t be q(-5). Suppose 5*n - 20 = 5*p, t*n - p = p + 35. Is n smaller than 11?
True
Suppose -369 - 3711 = 80*r. Which is bigger: -1 or r?
-1
Suppose 2*d - 6 = 22. Suppose 9*q = 192 - 75. Which is bigger: q or d?
d
Suppose -4*u = 4*m + 16, 0 = -3*u + 2*m - 4*m - 14. Let s(p) = -4*p - 9. Let c be s(u). Suppose o + c = -4*o. Which is greater: o or -4?
o
Let q = -0.0216 - -0.2216. Is -79 greater than q?
False
Let p = -10970 - -581340/53. Is p smaller than -2?
False
Let o = -44 - -73. Let h(i) = 9*i - 33. Let d be h(7). Is d greater than o?
True
Let y = -4957/2 - -2397. Is y at most -81?
True
Let y(z) = 3*z**2 - 1. Let k be y(-1). Suppose -k*d = -d + 10. Let c = -21 + 20. Which is smaller: d or c?
d
Let v = 1.361 + -0.361. Let a = -4.3 + 5. Which is greater: v or a?
v
Suppose -2*y = 6*c - c + 50, -c - 3 = -y. Let l be ((-11)/((-198)/(-4)))/(c/(-6)). Which is greater: l or 0.2?
0.2
Let d = 87 + -782/9. Let f(x) be the first derivative of 7*x**2/2 - 22*x - 35. Let o be f(3). Which is smaller: o or d?
o
Let u be (-45)/20*(5 + -20). Are u and -1/4 non-equal?
True
Let k = 2101/4 + -525. Which is greater: k or 12.8?
12.8
Let c(r) = -r**3 - 8*r**2 + 11*r + 2. Let u be c(-9). Suppose g = q - 10, 2*g + 36 + 4 = -3*q. Which is smaller: g or u?
u
Let d = 48 - 48.1. Let m = 106.93 - 106. Which is smaller: m or d?
d
Let o(m) = -m + 6. Let f be o(3). Suppose -d + 3 = f*d - r, 4*r + 12 = 2*d. Let a be 1/(d + -3 + 4). Which is greater: a or -1/5?
a
Let z(s) = -s**2 + 6*s - 11. Let c be z(5). Let k(a) = -2*a**2 - 12*a - 4. Let n be k(-6). Which is smaller: c or n?
c
Let o = -1 + 1.4. Let j be ((-3)/(-2))/(126/(-24)). Which is smaller: o or j?
j
Let w be ((-14)/(-3))/(3/9). Let a be (14/(-28))/((-2)/(-24)). Let v = a + w. Is v greater than or equal to 9?
False
Let y(h) = -h**2 + 9*h + 90. Let c be y(15). Is -1 greater than c?
False
Let c = 1.623 - -0.077. Let m = 0.7 - c. Is m greater than or equal to -2/5?
False
Suppose 10*r - 6*r + 8 = 0. Do r and -8/9 have the same value?
False
Let p be 45 + -4 + (-12)/(-6). Suppose -p*q - 246 = -37*q. Which is greater: -81/2 or q?
-81/2
Suppose 10*f - 20*f = -1420. Is f > 143?
False
Let s(o) = -o**2 + 26*o + 90. Let d be s(29). Is 34/19 at least d?
False
Let j be (6/(-15))/(2/10). Let q be 3 + j - (7 - 2). Let x be ((-5)/(-50))/(2/q). Which is smaller: -0.1 or x?
x
Let i = 550 + -12651/23. Which is greater: 0 or i?
0
Suppose 2*m - 7*m = 30. Let x be m/(-8)*3/9. Let d be (-3 - (5 - 34)) + 4. Is d less than or equal to x?
False
Let r = 987.9 - 921. Let p = 67 - r. Is -16 less than p?
True
Let k(w) = -2*w**3 + 8*w**2 - 19*w + 24. Let h(o) = 3*o**3 - 12*o**2 + 29*o - 36. Let y(p) = -5*h(p) - 8*k(p). Let d be y(3). Is d bigger than 1/7?
False
Let q(s) = s**3 + 7*s**2 - 7*s + 7. Let a be q(-8). Let w be (9/(-27))/((-1)/6). Let u be 236/(-90) - w/(-9). Which is smaller: u or a?
u
Let l = -30 - -40. Let m = 6 - l. Suppose -4 = 4*z - 3*z. Is m at most as big as z?
True
Let j = 44.1449 + -0.1449. Which is bigger: 7 or j?
j
Let z = -2 - -53. Let p = 50.981 - z. Which is greater: 1 or p?
1
Suppose -j - 5*v = 64, -10*j + 5*v = -9*j + 64. Which is bigger: j or -69?
j
Suppose 3 = a + 2*a, -5*a = 5*q + 320. Let l = -92 - q. Which is bigger: l or -28?
l
Let i = 6 - 24. Let w be ((-3)/9)/(5 + (-762)/153). Which is smaller: i or w?
i
Let z be (-54)/(-81) - 188/12. Which is bigger: -160/11 or z?
-160/11
Let m = -11694/5 + 19622527/8390. Which is smaller: 1 or m?
m
Let m be 94/(-88) - (7 - 5)/(-8). Let k = m - -203/275. Which is smaller: 0 or k?
k
Suppose 73*k = 84*k + 220. Which is greater: k or -75/4?
-75/4
Let k = 861 - 730. Is k at most 127?
False
Let g = 274 + -159. Suppose 5*s = 3*v - 0*v - g, -4*v - 3*s = -134. Is v at least as big as 37?
False
Let o = -137 - -85. Let j = 51 + o. Is j less than -1?
False
Let o be 2*19/((-114)/20). Let i = 0.4 + -0.3. Which is bigger: o or i?
i
Suppose -4*i - 15 = -3*u - 7*i, 0 = u - 2*i - 14. Let w = -11 + 34. Let l = -14 + w. Which is smaller: l or u?
u
Let t = -0.013 + -1.967. Let f = -0.98 - t. Is f less than or equal to 16?
True
Let g be (114/(-387))/(24/(-36)). Is 1 at least g?
True
Let x = -4.73 + 4.23. Does x = -1.78?
False
Let q = 209.04 - 209. Is q equal to -6/17?
False
Let o = 4 - 3. Suppose 5 = 2*u + o. Let l be (42/(-4))/(-15 - -6). Is u at most as big as l?
False
Suppose 69*m - 66*m + 3 = 0. Is -70 less than m?
True
Suppose 0*r + 2*r = -5*m + 2, 2*m + 52 = 4*r. Let x(i) = -i**2 + 12*i - 15. Let z be x(r). Is -6 at least as big as z?
False
Suppose -66*m - 1264 = -58*m. Is m greater than or equal to -158?
True
Let a be (75769/(-25840))/((-330)/4). Let s = a - 1/2200. Which is greater: -1 or s?
s
Let h be (-4)/(-16) + (-394)/8. Let u = h + 51. Is 3 greater than u?
True
Let b = 13 - 53. Let z = -30 - b. Is z smaller than 10?
False
Let y be (-2 - 1)/(6987/(-34)). Let w = -381151816/411 - -927376. Let a = w + y. Do a and -2 have the same value?
False
Let z be ((-34)/(-18) - 2)*54/(-6). Which is bigger: -2/805 or z?
z
Let b be (38/16)/((-4)/(-8)). Let o = 1320 + -1316. Which is bigger: o or b?
b
Let z be 12/(-14)*((-266)/42)/(-19). Which is smaller: 77 or z?
z
Let u = 2.04 - 1.71. Which is greater: u or 1/7?
u
Suppose -11*c = -5 - 17. Which is smaller: c or -0.37?
-0.37
Let x = -0.248 - -0.048. Which is smaller: -2/29 or x?
x
Suppose 0*z - 5*z + r - 40 = 0, 8 = -z - 3*r. Let b be (z/(-12))/((-2)/(-15)). Suppose -3*w = w + b*l + 63, 5*w = -l - 63. Are w and -13 equal?
False
Let j = -628 + 628.2. Which is greater: j or 97/2?
97/2
Suppose 32*j + 4725 = 25*j. Which is greater: j or -673?
-673
Let o(c) = -c**2 - 22*c - 5. Let m be o(-4). Let f = -467/7 + m. Is f >= -3/5?
True
Let g = -2042 + 2556. Are 514 and g equal?
True
Let k = -0.41 - -0.4. Let j = k - 0.09. Let p = 423.8 + -424. Which is bigger: p or j?
j
Let w be 24/8 - (0 - -4)/1. Let v be (27 - 18/(-6)) + 2 + w. Which is smaller: 29 or v?
29
Let h be (-1 - (0 + 0))/1. Let r = 86 + -52. Let g = r - 33. Is h < g?
True
Suppose 0 = h - 2*h + 2. Let x(c) = -4*c**2 + 2*c. Let j be x(h). Let s be 4/j - 2/(-4). Are 1 and s equal?
False
Suppose -78*w = -83*w - 5. Is -1/3 bigger than w?
True
Let j be -175 + -17 - 2*-1. Is j greater than or equal to -189?
False
Let s = -54726219537/1730 + 31633652. Let b = -2/173 - s. Are b and 2