 = -2.12 + 2.1. Let o be (-9)/(81/(-24))*15/30. Which is smaller: q or o?
q
Let r(n) = 6*n**3 - 8*n**2 + 265*n - 1553. Let c be r(6). Is 7312/7 less than c?
True
Let f = 597.0153 + -0.0153. Let o = -582 + f. Which is bigger: o or 5?
o
Let h be (3952/1729)/(3/(-14))*354. Which is greater: h or -3778?
h
Let h be 6/(-12)*(1 + -2)*-172. Suppose j + 4*z + 62 = z, -2*j + 4*z - 104 = 0. Let q = j - h. Is 30 >= q?
True
Let r(u) = -u**2 + 51*u - 266. Let a be r(5). Does a = -26?
False
Let m be (-1)/2 + (-2681182)/5668. Is m bigger than -475?
True
Let o be (-1480 - 4)/(403/13). Let d = o - -48. Which is bigger: -1 or d?
d
Let u be (20/460 - 1662/138)/(4882/2). Which is smaller: 0 or u?
u
Let f be 55/165 - (5 + -4)*2/6. Is f <= -4/2847?
False
Suppose 9 = 5*w + 49. Let g be (-26)/w + (8 - 7 - 0). Let n(u) = -u**3 + 15*u**2 + u - 10. Let o be n(15). Is g != o?
True
Let a = 4948/63 + -676/9. Let u(l) be the third derivative of -l**5/60 + 3*l**4/4 - 8*l**3/3 + 3*l**2. Let c be u(17). Is a greater than or equal to c?
True
Let v = -2590.1 - -2625. Let l = 14 - -20. Let r = v - l. Do 0 and r have the same value?
False
Suppose 10 = 3*i + 5*z - z, -2*i + 2*z = -2. Suppose 7*a + 17 = 3. Let w be ((-18)/(-2) - 11)*a/(-4). Are i and w nonequal?
True
Let f be 1*-12*(3 + 40/(-12))*-55. Is f at most -220?
True
Suppose 11*z + 18*z = 5*z + 37776. Which is smaller: 1571 or z?
1571
Let u(h) = -h**3 + 23*h**2 - 44*h + 31. Let j be u(21). Suppose 6*o = 11*o + 100. Is j at least o?
True
Let m(l) be the third derivative of -l**4/6 - 65*l**3/6 - 3*l**2. Let a be m(-19). Let q be (-3 - 0) + a + -22. Is q less than or equal to -14?
True
Let v(u) = 18*u - 376. Let r be v(26). Let a be (-396)/110*20/r. Is -2 less than or equal to a?
True
Let r be 1403/427 + (14/4 + -3)*-6. Which is smaller: r or -4?
-4
Let t be -10 - -8 - -1422*1/(-77). Let k = -135/7 - t. Do 0 and k have the same value?
False
Let t = -1151 + 584. Let h be (t/45)/((-3)/50). Is 210 equal to h?
True
Let p = 368.57 + -370.37. Which is smaller: -15/2 or p?
-15/2
Let p = 1/17193 - 3821/5731. Suppose -v = n + 3, -3*v - 12 = -0*n + 4*n. Let j = 4 + n. Is p at least j?
False
Let a = -87 + 56. Suppose 4 = -11*d + 12*d. Suppose -d = -2*s - 2. Is s not equal to a?
True
Let a be 3/28*(-104)/(-897). Which is bigger: 1 or a?
1
Let f be (4 - 17/4)*-8. Suppose -4*x + x = -d - 7, -f = 2*d - 3*x. Suppose -c + 3*c - 4*y + 8 = 0, -d*c + 5*y = 15. Is -2 bigger than c?
False
Let m(x) = 15*x - 120. Suppose -3*i = -3*o + 30, 3*o - 28*i + 23*i = 30. Let a be m(o). Which is smaller: 32 or a?
a
Let d = 296 + -282. Suppose d*h - 6 = 16*h + 4*b, -5*b - 13 = -3*h. Is 2/23 at least h?
False
Let t(w) = w**2 - 2*w + 21. Let m be (1 - (-2 + 4))*2. Let d(f) = -f**2 + 2*f - 20. Let h(y) = m*t(y) - 3*d(y). Let x be h(0). Which is smaller: x or 16?
16
Suppose 18*q + 4641 = -21*q. Let t be (-4 + q/(-35))*-6. Let a = 15 + -10. Which is greater: t or a?
a
Suppose -995*y - 56394 = -1073*y. Which is smaller: 727 or y?
y
Let s be 32/(-6)*(-244)/(-2928). Which is greater: s or 30?
30
Let d = -170/303 + 239/606. Which is smaller: -897 or d?
-897
Let s(y) = -68*y - 897. Let p be s(-15). Is p smaller than 8?
False
Let n = 2029.9 - 2019. Let v = 15/2 - 8. Which is smaller: v or n?
v
Suppose 2*o + 2 = 4*o. Let j be (0 - (-2)/1) + 23 + 1. Let s be (-4)/18 - j/(-360). Is s > o?
False
Let z = -0.4189 + -0.0271. Let m = z - -37.646. Let o = 37 - m. Which is bigger: o or 22?
22
Let o = 20054 + -20055. Which is greater: o or -38/557?
-38/557
Let d = 118 - 113. Let y be 0*(6 - 0 - d). Which is bigger: 4/13 or y?
4/13
Suppose 2*z - 3*o + 91 = 3*z, -4*o - 20 = 0. Suppose 0 = z*l - 91*l + 105. Which is bigger: -11 or l?
l
Let u = 14237 - 14236. Is u > 3670/3?
False
Let u(t) = 13*t - 56. Let k(f) = -20*f + 84. Let r(m) = 5*k(m) + 8*u(m). Let x be r(8). Suppose 4*s + 13 = -3*o, 3*s = x*o - s + 8. Which is greater: o or -16?
o
Let a be (-14)/(-6) - 4*1/12. Suppose 2*b + 6 = -2*w, -a*w = b + 2*w - 9. Let n be (-116)/b - 33/(-77). Which is smaller: n or 16?
16
Let t = 55 + -41. Let c be (15/3)/(t/(-744)). Let z = 268 + c. Which is smaller: z or 3?
z
Suppose -241*w + 291*w = 0. Let p be (-60)/217*63/18. Which is smaller: w or p?
p
Let w = -51 + 65. Let g be 3/(-6) - w/(-4). Let f be (-4)/((-660)/(-85)) - (-1)/g. Which is greater: f or -1?
f
Let w = -6359 + 5382. Are -980 and w equal?
False
Let c be 2 + -8 - -1 - -5. Suppose -7*d - 4*d - 22 = c. Let k = -644/3 + 212. Is k less than d?
True
Let z(r) = r**3 + 17*r**2 + 3. Let p be z(-17). Suppose 0 = 2*u + 4*s - 4, 5*u - p = 6*u - 3*s. Is 26/5 not equal to u?
True
Let j = 253573/161 + -1575. Are 0 and j nonequal?
True
Suppose 0 = -5*v + 2*n - 158, -3*v - v - 4*n = 104. Suppose -125*q - 39884 = -361*q. Let h be q/195 - 4/v. Are -1/4 and h unequal?
True
Suppose -3*y = 5*m + 1557 - 2793, -1236 = -3*y - 4*m. Which is smaller: y or 3/7?
3/7
Let m = 1 - 1. Suppose 2*z + 66 = 3*z. Let a be 7/42*-4 + 26/z. Does a = m?
False
Let h = -1289 - -761. Let d = h - -471. Are d and -54 equal?
False
Suppose 4*z - 1 = 3, b + z = 31. Suppose 46 = 2*u - 3*j, -2 = -2*u - 4*j + b. Suppose 192 = -8*y + u*y. Is -2/9 bigger than y?
False
Let h = -75280 - -225842/3. Let j = 20.61 + 0.39. Which is bigger: h or j?
j
Suppose -53 + 17 = -j. Suppose 5*h - 4*r = -0*r - j, -2*h - 20 = 4*r. Which is smaller: -9 or h?
-9
Suppose w = -5*h - 3*w - 566, 346 = -3*h - 4*w. Let z be (-154)/h - 2/5. Is z greater than 2/201?
True
Let o be ((-12173)/74 - 4)*(4 - 0). Is o at most as big as -669?
True
Suppose 0*n - 3*n + 6 = 0. Let t be (n - (-33)/12) + (-3)/(-12). Let o(q) = -q + 2. Let x be o(1). Is x at most t?
True
Let u be 3 - -1 - (-21)/3. Let h be 32/(-6) + ((-44)/(-12))/u. Which is greater: -6 or h?
h
Suppose 4*p + r - 5 = 0, 2*r = 12*p - 9*p + 10. Suppose p*y = -y + 7*y. Which is greater: y or 6/113?
6/113
Suppose 106 = 4*n - 5*m, 55 = 3*n + 3*m - 11. Suppose 4*b = 2*j + n, 0*b = -b + 3*j + 1. Does b = 110/13?
False
Suppose 9*n + 586 = 3*m + 7*n, -n = -1. Suppose -m*t = -192*t + 4. Is t at least -5/39?
False
Suppose l = -4*l - 35. Let o(d) = 4*d**2 - 20*d - 40. Let p be o(-3). Let y be ((-1)/l)/(24/p). Are 1 and y nonequal?
True
Let c = -3 - -2. Let l(p) = -p**2 - 25*p + 117. Let m be l(-29). Let h be 22*m*(c - (1 - 1)). Is h < -22?
False
Let s be (-135)/(-2 - -11) + 6 - (-9 - 0). Which is bigger: 0.2379 or s?
0.2379
Let k be 544/6 + (-30)/45. Let i = -180 - k. Is -271 less than or equal to i?
True
Let x = -2667/2140 + -2/535. Let d be (-4 + 5)/(2 - (-155)/(-80)). Suppose 0 = -4*u - d + 16. Which is greater: x or u?
u
Let a = 22983 - 36178. Is a greater than -13196?
True
Let x be 7780/(-6684) - (-749)/642. Is 1 != x?
True
Let b = -11700 + 11700.029. Let j = 0.31 - 1.31. Which is smaller: b or j?
j
Let a = -11 + 16. Let s(q) = q**2 - 11*q + 9. Let l(o) = 3*o**2 - 44*o + 36. Let w(u) = 2*l(u) - 9*s(u). Let r be w(a). Do -28 and r have the same value?
False
Suppose -34 = -2*o - 28. Suppose 36 = -4*i + 4*v, -4*i - o*v - 43 = -0*v. Let c be ((-15)/2)/(6/8). Is i <= c?
True
Let f = -4067 - -4079. Do 672 and f have the same value?
False
Let d(z) = 13*z**2 - 5057*z + 5110. Let s be d(388). Suppose m - 5*r - 52 = -r, m = -4*r + 76. Is m greater than s?
False
Suppose 18 + 5 = -m + 4*s, m = -s - 18. Let z = 18 + m. Which is smaller: z or 16?
z
Let q = -11 + 422. Let c = 367 - q. Is -40 smaller than c?
False
Let h be (-99)/(-15) + -6 - (-53193)/(-87720). Which is greater: h or 1?
1
Suppose 8*b - 1774 = 666. Let w = -54594/179 + b. Which is bigger: w or -1?
w
Let a(j) = -2*j**2 - 2*j + 4. Let x = 135 - 137. Let k be a(x). Which is greater: k or -0.026?
k
Let h be (-4)/(-6) + 2248/(-504). Let i = -178239/49903 - -2/7129. Let v = h - i. Which is smaller: v or 6/5?
v
Suppose 0 = 6*i - 9*i - 6, -5*b + 4*i = -478. Which is greater: 1039/11 or b?
1039/11
Let d be 65 - ((-16 - -2) + -6). Which is bigger: d or -5?
d
Let l be 1*-2 + 1 - 2. Let c be 33/l - (-1 - 0). Let j = 3420 - 3429. Is c < j?
True
Suppose -5*f - 5*q + 1148 - 1153 = 0, 3*f = q - 23. Suppose -4*g + 52 = -5*g + 2*z, 3*z + 132 = -2*g. Let d be 417/g - (-2)/(-8). Which is greater: d or f?
f
Let z = 35800 + -35800. Which is greater: z or -1/41707?
z
Let i = 207 + -207.1. Suppose 7 - 3 = -g, 0 = -2*q + 3*g. Which is smaller