 -182/5?
z
Let z = 7 - 0. Let p = -64650 + 64675. Which is smaller: z or p?
z
Let m(k) = 2*k**3 - 86*k**2 + 4*k + 322. Let p be m(43). Which is greater: p or 504?
504
Let p be ((-6)/255)/(1/5) - (-281505)/2040. Are p and 138 equal?
False
Suppose 0 = 4*h - 4*y + 4, -y - 20 - 9 = 4*h. Let k = -2 + 6. Suppose 2*r + 14 = -u - r, r + 9 = k*u. Which is smaller: u or h?
h
Suppose -92*d + 94*d + 10 = 0, 4*c - d - 83601 = 0. Are c and 20898 unequal?
True
Let b = 516 - 28. Suppose b*x = 493*x - 5. Which is bigger: -4/135 or x?
x
Let q = -11271 + 10575. Is -696 at least q?
True
Suppose -2056 = 3*s + b + 2846, -5*b + 4884 = -3*s. Which is bigger: -1634 or s?
s
Suppose 0 = -5*i + 2*s + 12284, -2*s = 337*i - 338*i + 2460. Which is bigger: i or 2457?
2457
Let a(c) = 2*c**2 - 85*c + 165. Let w be a(29). Is -2/5 less than or equal to w?
False
Let f = 74422/7 + -10632. Which is smaller: 57.21 or f?
f
Suppose -2*a = 4*k + 152, -4*k - 8*a - 100 + 8 = 0. Let w be (-2 + 6)*(-74)/7. Which is smaller: w or k?
k
Let x be (-840)/((-3660)/61) - -1*(-29)/2. Suppose 5*o + 0*o - 2160 = 0. Which is bigger: x or o?
o
Let q(y) = -32*y**2 + 29*y - 29. Let s(r) = 11*r**2 - 10*r + 10. Let f(z) = -4*q(z) - 11*s(z). Let j be f(2). Let x = -28 + j. Is 4 at most as big as x?
False
Let l = 2.501 + -0.121. Let g = -2.38 + l. Is 11.1 at most g?
False
Let z(j) = 2*j**3 + 14*j**2 + 12*j. Let a = 343 - 349. Let s be z(a). Which is greater: s or -2/55?
s
Let h be 0/((1 - 0)/(-1)). Let t = 1252689/5 - 250537. Which is smaller: t or h?
h
Suppose -a - 5*v + 32 + 4 = 0, -5*v = -5*a + 60. Suppose 268 = a*s - 100. Which is bigger: s or 95/4?
95/4
Suppose 4*s + 21 = -5*z + 8*s, 0 = -4*z - s. Let c be (z - -1) + 6 - (1 + 1). Suppose -4*q + 4*j - 3*j = 18, -c*q - 4*j = 8. Is -10 >= q?
False
Let w = 69 - 67. Suppose -2*z - u + 57 = 0, -3*u + w*u = -z + 30. Is 27 less than z?
True
Let n be (3 - (-66)/(-12))*-2. Let o be n - 1064/64 - -3. Which is smaller: o or -9?
-9
Let z = -1424294/2905 - -3432/7. Let c = z + 1084/52705. Is 1 at most as big as c?
False
Suppose 4*v = -2*t + 27 - 7, -3*t + 3*v - 15 = 0. Let n be 3 + t/(-4) - 27. Let s be n/150*(-1)/2. Which is greater: 2/7 or s?
2/7
Let l = 5888.6 - 5880. Does l = 19?
False
Let r(h) = 218*h - 2. Let i be r(1). Let t = -10583/49 + i. Let n = 42 - 41. Is n at most as big as t?
False
Let q(k) = -2*k**3 + 35*k**2 - 49*k + 16. Let l be q(16). Is 1/4281 < l?
False
Let v = -20421 + 20442. Are -72 and v non-equal?
True
Suppose 16 = -i - 3*i, 4*a - 2*i = 20. Suppose -2*v - g + a = 0, 0 = -v + g - 1 + 10. Let d be (-5)/v - (-2)/8. Is d less than or equal to -3/7?
True
Let g = -891/7 + 16873/133. Let u(v) = v**3 - 12*v**2 + 12*v - 12. Let s be u(11). Which is smaller: g or s?
s
Let r = -14973 + 22457. Is r smaller than 7484?
False
Let k be -1 - -4*((-14)/(-4))/(-7). Suppose 0 = -i + 6*i - 15. Suppose -3*r = i*v, 2*v = -0*v + 2*r. Is k at most as big as v?
True
Let f = -14225 - -22613. Is f at most 8388?
True
Let a = -474 + 284. Let v = 948/5 + a. Let q be ((-1)/(-15))/((-2)/(-35)). Which is smaller: q or v?
v
Suppose -43*r + 1037 = 822. Let o(m) = -m - 1. Let a be o(-5). Suppose x - a = 3*i, -27 - 21 = -r*x + i. Which is bigger: x or 11?
11
Let j(g) = 4*g**2 - 7*g - 19. Let f be j(-3). Suppose f*v + 180 = 26*v. Which is smaller: v or -20?
-20
Let t = 39.915 + 0.085. Let g = 38 - t. Let u = g - -8. Which is greater: u or -2?
u
Let f = 61 + 875. Suppose 0 = 5*r - 4*s + 574 + 591, 4*s - f = 4*r. Which is greater: r or -231?
r
Let m = 31712 + -31589. Is m at least as big as 48?
True
Let n = -61144/9 + 6808. Suppose -17871 = -956*p - 4487. Is p > n?
False
Let y = -10 - -9.9. Let r = -95 + 93.9. Let k = r - -6.1. Is k greater than y?
True
Let h = 1 + 5. Let w = 16174034/33 + -491014. Let z = 2690/3 + w. Which is bigger: z or h?
h
Let f = 42 + -47. Let o be (45/75)/((-3)/f). Let w(l) = l**3 - 5*l**2 - l + 2. Let i be w(3). Is i > o?
False
Let x = -1056.8317 - 1.6083. Let g = 1077 + x. Let a = -0.56 + g. Is a bigger than 2/3?
True
Let l = -83 + 64. Let b = l + 20. Let z be (-1 - (-5 - -1)*b) + -10. Is -3 at least as big as z?
True
Suppose 0 = -b + d + 236, -61*d + 57*d + 12 = 0. Does 241 = b?
False
Let v be -1 + (-4)/6*(-108)/9. Suppose -27 = 5*k - v, 110 = u - 4*k. Are 95 and u unequal?
True
Let l be (-5)/(-10)*2/10. Suppose 5*q - a - 70 = 0, -4*a = -4*q + 55 + 1. Suppose -o + q = 13. Which is greater: o or l?
o
Suppose 0 = -4*b + 20, 5*x - 9*x + 4*b = 156. Let y(d) = -d**3 - 35*d**2 - 34*d + 1. Let t be y(x). Which is smaller: t or -3/235?
-3/235
Let o = 967/6 - 30461/189. Let r = -787/11718 - o. Let c(d) = -d**3 - 11*d**2 - 12*d - 19. Let q be c(-10). Is r != q?
True
Suppose 26*y - 2713 + 9 = 0. Suppose -4*k + y = -5*r, 2*r + 42 - 13 = k. Suppose 2*p - 84 = -2*p. Do k and p have the same value?
True
Let h(g) = g**3 - 2*g**2 - 63*g + 3. Let m be h(9). Suppose 2*x = -f + m, 0 = -3*f + 2*x + 7 + 10. Which is bigger: f or 0?
f
Let q = 301 - 154. Suppose -3*x + 5*z + q = 0, -3*z = 2*x - 7*x + 245. Suppose -46*c = -x*c - 231. Is c smaller than -78?
False
Let y be (-252)/315*10/8388. Which is smaller: 0 or y?
y
Let t be ((4028/(-3))/19)/((-10)/(-15)). Do t and -140 have different values?
True
Let u = -1880 - -1882. Which is bigger: -4/495 or u?
u
Let x be 2 + 0 + (-2)/2. Let n(w) = 342*w + 13. Let c be n(6). Let t be c/(-685) - (-6)/2. Which is smaller: x or t?
t
Let r be 1*250/(-968) - (25/(-5))/20. Is r less than or equal to 2?
True
Suppose -3*k + 5 + 22 = 0. Suppose 9 = -3*s, 7*t - 6*t + k = -3*s. Which is greater: -2/779 or t?
t
Let q = -92583 + 92583.069. Let b = 0.3 - -0.7. Let u = 1 - b. Are q and u equal?
False
Suppose 64*u = 69*u - 4*k - 13, -3*u - 4*k = 5. Is 50/57 less than or equal to u?
True
Let f be (-498)/(-2295)*(-20669)/2266. Let q = -204/103 - f. Is q greater than or equal to -1?
True
Let y = -553378/5 + 110073. Which is bigger: -604 or y?
y
Let v = 270 + -268.77. Let f = 1.33 - v. Is f less than or equal to 2/11?
True
Let g be (-4)/18*-3 - 51/(-72). Let l = g + -59/40. Which is smaller: l or -1?
-1
Let q be -13 - (-9)/(-6)*2. Let m be 18/(-24) - 44/q. Suppose -m*x = -5*u - 6*x - 15, -2*u + 2*x + 12 = 0. Is u not equal to 2/33?
True
Let k(t) = -98*t + 1. Let b be k(8). Let w be (-834)/b - 1/3. Let f = 18/29 - w. Is f not equal to -0.3?
True
Let r(z) = 58*z**2 - 29*z + 44. Let h be r(2). Is h equal to 178?
False
Let g(d) = 1. Let j(u) = -u + 2. Let o(a) = 3*g(a) - j(a). Let t be o(-18). Suppose 3*z = -k + 3*k - 41, -4*z - 48 = -4*k. Are z and t unequal?
False
Let q = 6286 - 6275. Which is smaller: 39 or q?
q
Suppose -244*n + 103764 - 7280 = -55528. Let a be 1244*(6/4 - 1). Which is greater: n or a?
n
Suppose 2*o - 29 = -z, -5*o + 30*z - 31*z + 74 = 0. Suppose 9*r = -6*r + o. Is 5/58 at most as big as r?
True
Let o(v) be the second derivative of 11*v**3/6 + 49*v**2 - 18*v - 2. Let b be o(-9). Which is bigger: b or 2/183?
2/183
Let u(g) = -g**3 - 4*g**2 + 4*g + 17. Let f be u(-4). Suppose 7*x - 3*x = 64. Let q be ((-1)/(-4))/(x - 9). Which is smaller: f or q?
q
Suppose -2*a = -c + 2*a + 41, -5*a - 145 = -5*c. Suppose c*i - 23*i + 2 = 0. Let j = 46033/45 - 1023. Is j less than or equal to i?
False
Let s(w) = -w**2 + 17*w - 55. Let p(v) = v**3 + 6*v**2 - 2*v. Let k be p(-6). Let y be s(k). Does 4 = y?
False
Suppose -6 + 34 = 4*a, p + 9 = 3*a. Which is bigger: 232/19 or p?
232/19
Let c = 0.28 - 0.48. Suppose 0 = -35*x + 25*x + 1040. Is x at least c?
True
Suppose 4*o - 3*c + 16425 = 2*o, 3*o = -7*c - 24695. Is o less than -8222?
False
Let j = 1767/22 - 196/11. Let p = -62 + j. Which is smaller: 12.1 or p?
p
Suppose 23 = -3*j + 4*y, -j = -5*y - 18 + 11. Is j less than or equal to 246?
True
Let m = 268 + -265.58. Let a = m + -2.12. Is -30 greater than or equal to a?
False
Suppose 3*d - 122 = 3*z - 14, 0 = 5*d + 4*z - 171. Let t = 247/7 - d. Let n = 1898.1 + -1869.1. Which is smaller: t or n?
t
Let x(w) = -2*w**2 - 11*w + 2. Suppose -3*r - 9 = -2*r - 4*b, 0 = -4*r - 4*b - 16. Let a be x(r). Suppose -a*s - 130 - 157 = 0. Which is smaller: 1 or s?
s
Let b = -44321/28 - -9458/7. Let k = -232 - b. Which is smaller: -17/13 or k?
-17/13
Let p(d) = -d**3 + 15*d**2 - 24*d - 16. Let i be p(13). Let n be (i/(-120) + (-1)/(-4))*6. Suppose -3*q + n = -2. Which is smaller: