-2). Let r = o + -92. Which is smaller: r or p?
p
Let u(f) = -8*f - 10*f + 36 - 12*f + 25*f. Let s be u(7). Let d be ((-8)/(-370))/(30/(-225)). Are s and d equal?
False
Let x = 0.069 - 32.069. Let d = x + 22. Let t = 6854 + -6852. Which is bigger: d or t?
t
Let p be (238 - (-6 + 3))/(34/102). Is -1 not equal to p?
True
Let m be (-440)/(-64) + 1/8. Suppose -2*c = 11 - 17. Which is greater: c or m?
m
Suppose q - 4 - 7 = -5*p, p - 1 = 0. Suppose -q*h = -5*h - 3. Suppose -h*d - d - 2*z = -2, z = -3. Which is smaller: -5 or d?
-5
Suppose 2*o = -2*q + 2338, -q - 11*o + 13*o = -1172. Which is smaller: q or 1167?
1167
Let d be ((-19)/14 - (-11)/(-77)) + 34/20. Is d at most as big as 1168/3?
True
Let y = 944996663/290 + -3258606. Let w = -1/58 - y. Are w and -4 equal?
False
Let x(o) = -o**3 + 2*o**2 + 3*o + 1. Let r be x(3). Let u be -18 - (-10)/(-50) - -18. Do r and u have the same value?
False
Let d(w) = 102*w + 13. Let y(j) = 101*j + 11. Let i(z) = 2*d(z) - 3*y(z). Let h be i(1). Which is smaller: h or -104?
h
Let k(t) = 4*t + 8. Let y be (-8)/((-20)/(-5))*(-3 - 1). Let v be k(y). Let j be 38/v + 0 + (-4)/20. Is 0 less than or equal to j?
True
Let o = -32883/10 - -3284. Let n = -34/5 - o. Which is smaller: n or -3?
-3
Suppose -3*d - 11*d = 224. Suppose 2*i + f + 10 = -21, -f + 44 = -3*i. Which is smaller: d or i?
d
Let w(l) = 7*l**2 - 7*l + 21. Let c be w(3). Let f(d) = d**3 - 12*d**2 + 11*d - 3. Let h be f(10). Let r = h + c. Which is smaller: r or -0.1?
r
Let l = -739497 + 739496. Let m = -142102/203 + 700. Are l and m nonequal?
True
Suppose -57*u - 13 = 2*w - 56*u, 3*u = -0*u - 21. Suppose -2*d - 5*j = d + 210, 3*j = 3*d + 186. Let t be (-5)/(d/42)*-1. Which is bigger: w or t?
w
Let s be 35/(-378)*(-24)/16. Is s >= 1?
False
Suppose 3*m + 6 = -3, 2*l - 130 = 4*m. Let j = l - 37. Suppose 51 = -19*b + j*b. Which is smaller: b or 19?
b
Let p = 12240 - 12234. Which is greater: p or 1.923?
p
Let i = 4524 - 4524.1. Which is greater: -45/19 or i?
i
Let i(p) = 11*p**2 - 37*p - 71. Let j be i(-2). Suppose -j*r - 86 = 995. Does -24 = r?
False
Suppose 13*b = 16*b + 9, j = 3*b + 2. Let y(f) = -f**2 + 12*f + 80. Let i be y(j). Is -53 > i?
False
Suppose -4*v + 2*v - 4*z = -8, -22 = -2*v + 3*z. Suppose v*n - 5 = 3. Let p be -8 - -8 - (n + 4/(-3)). Is p less than or equal to -22?
False
Let w(m) = -7*m + 60. Let u be w(13). Suppose 95 = -3*d - 4*r, -5*d - 188 = r - 41. Which is smaller: u or d?
u
Let f be 2 - 7 - (11 - 22) - 1. Suppose 8*x = -5 + f. Let j be 2/(-5) - (-104)/185. Does j = x?
False
Let h = -7267 - -4826. Is -2442 smaller than h?
True
Let b(n) = 76 + 57 - 4*n + 46. Let o be b(29). Is 62 at least as big as o?
False
Let o = 41131 - 41184. Let t = 6 - 6. Which is smaller: o or t?
o
Let g(j) = -2*j + 15. Let z be g(8). Suppose 3*a + 2*c + 23 = 29, 2*a = -5*c + 26. Is a != z?
True
Suppose 0 = 2*c + 5*n - 330, -2*c - 41*n = -49*n - 382. Is c at most as big as 164?
False
Suppose 54*b + 30 = 59*b. Suppose -l + 3 = 5*i, 4*i + 3*l = 5*l - b. Which is greater: i or 3/7?
3/7
Let n be 8 - 424/(-536) - (-4 + 11). Is 2 smaller than n?
False
Let p be (962/65)/(35/(-50)*2). Let k be -2*(-60)/(-8) - -3. Do k and p have the same value?
False
Suppose -4*a - 2*s = 16 - 28, 3*s = 3*a. Suppose 244 = 5*v - 3*y, -2*v - a*y + 182 = 2*v. Is v at least as big as 47?
True
Let k be ((-14)/(-11))/7 - 99206794/(-290070). Let d = 22/2637 + k. Let t = d - 344. Which is bigger: -1/2 or t?
-1/2
Let s be (1/12)/((-1)/(-2)). Let r = 55 - -2. Let f = 56.7 - r. Is f less than s?
True
Let u = 1694 - 1691. Let c(n) = -n**3 - 6*n**2 - 2*n + 7. Let x be c(-5). Which is bigger: u or x?
u
Let g(n) = -431*n - 3026. Let m be g(-7). Which is greater: -66 or m?
m
Let g be (130/(-4))/(-1)*(-82)/(-205). Suppose -g*t = -4*t - 189. Let v = -21 + t. Which is bigger: 8/25 or v?
8/25
Let p = 364 - 242. Let j = 104 - p. Does -18 = j?
True
Let d = -184/3 - -302/5. Let k(h) = h**3 + 14*h**2 + 14*h + 11. Let o be k(-13). Which is greater: o or d?
d
Let x = -10942 + 536191/49. Which is greater: 2 or x?
2
Let u be (4/6)/((-6160)/168). Let g be (-15)/(-6)*(-2)/(-1). Suppose 5*h + 2 = -4*z + 4*h, h - 7 = g*z. Is z smaller than u?
True
Let o(h) = 184*h + 2. Let z be o(5). Let p = z + -67307/73. Let v be (-12 - (3 - 1))/(-22) - (-5636)/15499. Which is smaller: p or v?
p
Let o = -6695.5 + 6695. Is o <= -607?
False
Let o = 2 - 2.1. Let t = -319.56 + 308.56. Is t smaller than o?
True
Let h = -8973 - -9250. Let k = -1 + 1. Is h at least as big as k?
True
Let r = 359/65 + -25479/4615. Are r and 19/4 non-equal?
True
Let l be 153 - (-13 + 5) - 2*(-4)/8. Which is smaller: 1128/7 or l?
1128/7
Let d = 89.1 + -89.3. Which is smaller: 587 or d?
d
Let x be (-8)/((-176)/(-627))*(-2 + 2/3). Which is smaller: 595/16 or x?
595/16
Let s = 3433 - 7075. Is s less than -3642?
False
Let l(w) = w**3 + 11*w**2 + 24*w - 28. Let n be l(-8). Which is smaller: n or -71?
-71
Let a(r) = 23 - 67 - 20 - r**2 - 16*r. Let b be a(-8). Which is bigger: 2 or b?
2
Let g = -137 - -143. Let i be (2 - 64/24)/(g/135). Let t = 3 - 13. Which is bigger: i or t?
t
Let q be 77 + 1 + -2 + 1. Suppose 0 = -167161*g + 167139*g + 1628. Which is smaller: g or q?
g
Suppose m = 5*b - 63 + 662, -3*b + 639 = m. Which is bigger: m or 623?
m
Let b = -121 + 181. Let d(y) = -133*y + 1068. Let u be d(8). Suppose u*x + b = 5*x. Which is bigger: x or 61?
61
Let c be (-4)/3*1*6/2. Let a be 0/(c + 3 + 0). Let q = 147/8 + -7775/424. Is q bigger than a?
True
Let b be ((-1812)/18)/(19/57). Which is smaller: b or -300?
b
Suppose 40*w + w + 4790 - 1018 = 0. Which is smaller: -23 or w?
w
Suppose 5*c - 2*u - 4362 = 0, c + 23*u = 22*u + 878. Let y be (-1)/(-5)*(-125)/100*c. Which is smaller: y or -219?
-219
Let z = 932 + -1733. Let n = z + 801.1. Is 106 less than or equal to n?
False
Let x = -26.964 + -0.036. Let y = 34 + x. Let i = 6.8 - y. Are 3 and i unequal?
True
Suppose -13*j = -16*j - 54. Let l = 3 + j. Let t be 0 + 4 + 65/l. Is t < -0.7?
False
Let x(z) = -5*z**3 - 2*z**2 - 4*z - 2. Let o be x(-2). Let m = o - 72. Let c be m/(-4) + (-11)/22. Which is smaller: 9 or c?
c
Let m(j) = 5*j**2 - 758*j - 672. Let x be m(152). Is x greater than 31?
False
Let w = 409 + -414. Let t be (-9)/6*(-52)/3. Let d = w - t. Which is smaller: -32 or d?
-32
Let y be (-4 + 2)/((-2)/(-4)). Let b be 2 - 4 - (-287 + 0 - y). Which is bigger: 279 or b?
b
Suppose 10*x + 113386 = -176*x + 8*x. Which is smaller: -634 or x?
x
Let h = -33.91 - -0.91. Let r = h - 61. Let k = 94.1 + r. Is 46 <= k?
False
Let h be (1/(-3 - -5))/((-1)/14). Let x be -18*h/10 - 282/(-705). Let g be (-1 + 48)*(-5)/(-20). Which is greater: g or x?
x
Suppose i - 15*u = -11*u, 4*i - 5*u = 11. Let b be ((1 - 3) + i)/(2492/140). Which is bigger: 1 or b?
1
Suppose 3*c - 5*o - 489 = 0, 5*o = 4*c + 282 - 929. Is 152 at least as big as c?
False
Let x = -511405/57 + 8971. Let w = 6/19 - x. Is w smaller than -0.05?
False
Suppose 10 = -5*c, 0*c = 3*y - 2*c - 37039. Let r = -9073573/735 + y. Which is smaller: -1 or r?
-1
Let x be -1759 + -1 + 84*42/(-504). Which is smaller: x or -1766?
x
Let p(s) = s**3 + 10*s**2 + 14*s. Let b be p(-8). Suppose 0 = 22*x - b*x - 48. Let a be x*(-8)/(-78) - (-2)/(-3). Which is greater: 0 or a?
a
Suppose -4*u = z + z - 4, 5*u - 2*z = 23. Let n be 2 + -4 - (-20)/(8/2). Suppose -3*p = t + n*t - 28, 5*t - 62 = u*p. Is 9 less than t?
True
Let l = -8177 + 15429/2. Which is smaller: l or -464?
-464
Suppose 16 = 13*c - 23. Suppose -2*y - c*y = -70. Suppose -2*z - 5*k = z - 16, -z - 4 = 4*k. Do z and y have the same value?
False
Suppose 0 = 18*x + 27*x + 7*x. Which is greater: -128/127 or x?
x
Let w = -232 - 35. Let q = 271 + w. Which is greater: 13 or q?
13
Let x be 4/22 + -17 + 1288/77. Is x <= 2?
True
Let y = 203 - 197. Let x be 331 - 2*3/y. Is 330 at least as big as x?
True
Suppose 4*x - 9*x = -145. Let p be (-1 - -4) + -5 + x. Is p greater than or equal to 27?
True
Suppose -5 = 90*f - 95*f. Let y(u) = 42*u**2 + 20*u - 18. Let h be y(f). Let l = 79 - 35. Does h = l?
True
Let j(u) = u + 43. Let a be j(-7). Let z be 4/a*2 + 2/(-9). Let m be (2/(-54))/(z - (-4)/8). Is 0.05 > m?
True
Let x = 32 - 29. Suppose 0*b - b - 5*z - x = 0, 0 = 4*b - 3*z - 57. Let t = b + -27. Is -14 greater than or equal to t?
True
Let a(b) = -13*b**