t z = 151 - 193. Let y be z + 4*(-56)/32. Which is bigger: y or -47?
-47
Let t be ((-4)/1)/((-214)/(-47508)). Which is bigger: -893 or t?
t
Let u(h) = 2*h - 79. Let i be u(23). Let n be (-6)/2 - (-591)/i. Which is smaller: -20 or n?
n
Let n(l) = 2*l**2 - 4*l + 4. Let s be n(2). Suppose 0 = -j - j + 5*v - 20, -s*v - 2 = 2*j. Let y be -2 - 9/j - (-123)/15. Which is smaller: y or 7?
7
Suppose -9*t - 9918 = -2412. Which is smaller: -832 or t?
t
Let h(a) = -42*a**2 + 453*a - 4. Let i be h(11). Is -413/4 not equal to i?
True
Let u = 265 + -270. Let m be (4/(-6))/((-51)/9). Is m equal to u?
False
Let x = -1319 + 1319. Is x >= 180?
False
Let w(u) be the first derivative of u**2/2 + 91*u - 116. Let c be w(-33). Which is smaller: 61 or c?
c
Let q(f) = 20*f + 75. Let d(c) = 13*c + 51. Let r(z) = -8*d(z) + 5*q(z). Let g be r(31). Is -156 < g?
False
Let f = -4.755 + 8.385. Is f less than 0.1?
False
Let j = -143.861 + -0.139. Let k = -144 - j. Is k > -2.3?
True
Let c = -22054 + 21849. Which is smaller: -249 or c?
-249
Let z be (-3 - (7 - 10))/(1 + -2). Let t = -154762/265 + 584. Which is smaller: t or z?
t
Let t be 1/2 + (-3)/6. Let x be ((33/(-33))/(222/(-102790)))/1. Let o = 463 - x. Which is greater: o or t?
t
Let v = 4983423 + -34956016/7. Let h = v - -10258. Is h <= -35?
True
Let g = -23021/11 - -2093. Which is greater: g or 24?
24
Let a = 1106/21755 - 10221863/30152430. Let z = a - -4/385. Which is smaller: z or -1?
-1
Suppose 27*v - 3 + 3 = 0. Let g be -2*(-2)/12*(v + 9). Suppose 0 = a - 5. Which is greater: g or a?
a
Let j be ((-3)/1890)/(4/6). Let p(t) = -t**3 + 24*t - 23. Let l be p(1). Which is bigger: j or l?
l
Let b be 29131122/2616 + (-1)/(-4). Which is bigger: b or 11137?
11137
Let r be (-15)/(-4500)*15*-236. Do r and -4/9 have different values?
True
Let t = 116.946 - -0.054. Let d = t + -116. Which is greater: d or 103?
103
Suppose 3*j + 2*j - 1085 = 0. Suppose 3*w + 632 = -j. Let a = -1433/5 - w. Is -1 at most as big as a?
False
Let c = -8369 - -8347. Which is smaller: -71 or c?
-71
Let v = -495.789 - -496. Let i = v + 0.789. Is -228 at most i?
True
Suppose -g + 1 = -2*g. Let i(f) = -2*f**2 - 4*f + 60. Let k be i(0). Let b be k/(-150) - g/((-10)/(-74)). Which is bigger: 0.2 or b?
b
Let g = 1/756 + 151/12852. Let a = g - -1655/2142. Let m = 1/70 + a. Is m less than or equal to 0.3?
False
Let z be (-20)/63 - 6/(-21). Let o(q) = 7*q**2 - 12*q + 80. Let l be o(7). Let f = l - 340. Which is smaller: f or z?
f
Let z = -7147358/341 + 20960. Is -1 <= z?
True
Let a = 15 + -16. Suppose -28*r - 4*w + 69 = -23*r, 5*r = -5*w + 65. Is r <= a?
False
Let a be 292/1606 + 18/22. Do a and 1/6642 have the same value?
False
Let g = -4342 - -4341. Which is greater: 4/2443 or g?
4/2443
Let c be 13/(-3) + (-18)/(-54). Let l = -489 + 171. Let q be ((-1)/(-3))/(-6 - l/54). Is c at most as big as q?
True
Suppose 12*u = -163 + 115. Is u bigger than 3?
False
Suppose 0 = 429*b + 15782 - 17498. Let t be 217/60 - (-2)/8. Does b = t?
False
Suppose -10*z + 0 = -30. Let b(c) = 2*c**2 + 5*c + 6. Let n be b(-3). Let l be (33/n - z)*4/(-3). Are -1 and l unequal?
True
Let b = 324 - 168. Let y = 157 - b. Which is bigger: y or 2.5?
2.5
Let k(w) = -2*w**3 - 8*w**2 - 12*w - 6. Let f be k(-4). Let s be (-21)/f + (-15)/(-2). Is s smaller than 52/9?
False
Suppose 12309*y = 12302*y - 2254. Is 6 greater than or equal to y?
True
Let j be 2 - (1 + -3 - -1). Suppose -14 + 56 = j*w. Let o = w - 41/3. Is o greater than -0.2?
True
Suppose 6*o = 10*o - 4. Let h be ((-7)/63)/(o/(-15)). Suppose i - 2*x = 11, -4*i + 5*x - 2*x = -24. Is i at least h?
True
Let g be ((-78)/5)/(-2) + (-47)/(-235) - 3. Which is greater: g or 3?
g
Suppose -4*h = -3*l, 4*h - 17*l + 22*l - 32 = 0. Let o be (-19)/((h - -2)/95). Which is smaller: -360 or o?
o
Let h = 1294613/1953 - 5966/9. Let k be (-4)/8 - 1/2. Which is bigger: h or k?
h
Let m = 19556.95 + -19041. Let x = -516 + m. Do x and -13 have different values?
True
Let m(f) be the second derivative of 8*f**3 + 139*f**2/2 + 25*f - 1. Let l be m(-7). Which is greater: -196 or l?
-196
Let n = 929217/56 - 112800/7. Let c = n + -477. Which is bigger: c or 4/9?
c
Let v(a) = 3*a**2 + 9*a - 1. Let m be v(-4). Suppose -m*f + 9 = 9. Suppose f = -11*r + 6*r - 5. Is 2 at most r?
False
Let g(k) = -k - 9. Let s be g(-7). Suppose -3*q - 576 = 3*q. Let x = q + 189/2. Which is smaller: x or s?
s
Let o = 4703 - 4356. Is o <= 347?
True
Let w be 4/(-12) + (-28)/(-3). Suppose 13*i = 20*i + 16*i. Suppose 2*j - w*j + 147 = i. Which is smaller: j or 22?
j
Let d(l) = -l**3 - 13*l**2 - 7*l + 6. Suppose -4*h = -3*h + 12. Let u be d(h). Let b(g) = -5*g**3 - 4*g**2 + 2*g - 3. Let t be b(2). Is t at most u?
True
Let i(x) = 429*x - 5490. Let w be i(24). Which is greater: 4807 or w?
4807
Let z = -6704/839485 + 6/2215. Suppose 2*h + 0 = 2. Which is smaller: z or h?
z
Let t = -0.49 + -0.14. Let i = 32.63 + t. Let z = 32 - i. Which is smaller: z or -0.11?
-0.11
Let v be (-37)/20 - (-341)/(-124). Let p be (-4*(-1 - 1))/2. Suppose -3 - 1 = p*r + 4*q, 11 = -3*r - q. Is v greater than r?
True
Let a(u) = -11*u**3 + 3*u**2. Let g be 17/(68/(-8))*1/(-2). Let n be a(g). Is 3 at most n?
False
Let w = -0.03 - -0.95. Let x = 0.08 + w. Let d(a) = 2*a**3 + 3*a**2 - a - 8. Let p be d(0). Which is smaller: x or p?
p
Let b = 4999 + -304931/61. Suppose 4*q = -8 + 12. Which is bigger: b or q?
q
Let h be 116/290 - 6/(-10)*331. Suppose 4*c - 396 = 2*c + 4*u, -5*c + 990 = u. Which is smaller: h or c?
c
Let j = -315 + 332. Suppose -61 = -j*q + 75. Which is smaller: 12 or q?
q
Let q(z) = 2*z**2 - 15*z - 65. Let n be q(-15). Let b = n + -612. Is b less than -13/7?
True
Let d(k) = k + 13. Let i be d(-12). Let t = 1090 + -1102. Which is smaller: i or t?
t
Suppose 0 = 4*q - 1345 - 1931. Let w be q/28 + (-1)/4. Is 28 not equal to w?
True
Suppose -5*f - 2*k + 0*k = 11, 0 = 5*f + 3*k + 9. Let i be -5 + f/9*-15. Which is bigger: i or 1/131?
1/131
Suppose -4*f + 19 + 61 = 0. Suppose 2*b - l - 25 = 4*l, -2*l = -b + 11. Suppose 2*q = 2*o - 0*o + f, -b*o - q - 56 = 0. Which is smaller: o or -1?
o
Let z(b) = -4*b + 114. Let o be z(31). Let j be (0 - -2)*o/(-60)*3. Let t = -1096 - -12064/11. Which is smaller: j or t?
t
Let q = -74 + 145. Let n = -72 + q. Let y be 4/(-6)*4/20. Is n < y?
True
Let p = 1 + -3. Let g(s) = -5*s**3 + s**2 + 1. Let q be g(p). Suppose -1 = -h, 136*b + 3*h = 132*b + 175. Is q smaller than b?
False
Let d be (6 + -10)/(77/21). Which is bigger: -26 or d?
d
Let y = -58415987/1079 - -54139. Is y at most as big as 1?
True
Let i be 24/2 + -3 - 417. Is i greater than or equal to -406?
False
Suppose 10*z + 453 + 187 = 0. Let h(t) = -t**2 + 4*t + 10. Let d be h(5). Suppose 0*j - 3*b - 122 = 2*j, j = d*b - 74. Is j less than z?
False
Let i = -18.29 + 16.2. Is i < -1/4?
True
Suppose w = -8*w + 36. Suppose -20 = w*m - 68. Does m = 9?
False
Suppose 48*k - 206 + 661 = 55*k. Which is smaller: 61 or k?
61
Let l = 9 + -8.8. Let n = -194.29 + 279.29. Which is bigger: n or l?
n
Let p = 319 - 353.4. Let t = 35 + p. Let s = -0.21 + 1.21. Is t less than s?
True
Let r be -4*1/(-12)*-2. Let z = 15655 - 15508.02. Let y = -147 + z. Which is bigger: r or y?
y
Let u(b) = b**2 - 5*b + 8. Let d be u(4). Suppose 2*l - 4*y + 1 = -5*y, 5*l + d = -3*y. Let v = -83/114 + 5/6. Which is bigger: l or v?
l
Let k be 1 + (1 - (-4)/(-2)). Let j be -2 + 1 + -1 - k. Suppose -142*v + 110*v - 22 - 10 = 0. Is j at most as big as v?
True
Let r = -0.05 - -0.07. Let h = -11 + 10. Let f = h - -1.2. Is r not equal to f?
True
Let d = 7563 + -7569. Which is bigger: d or -5/4?
-5/4
Suppose -31*o - 401 - 39 = 57*o. Which is smaller: o or 2/59?
o
Let b be (48/8 + -11)/(0 - 1). Suppose 2*u - 29 = 2*g - 119, b*u = -3*g + 151. Do g and 52 have different values?
True
Let i = 95 - 85. Let t be 5 - ((3 - 0) + i). Which is bigger: t or -7?
-7
Let x = -118 - -117. Let f be 12/6 + (-4 - x). Which is smaller: 1/55 or f?
f
Let c = -688.569 + 689. Let p = -0.831 + c. Do p and -53 have the same value?
False
Let t = 1.2633 + -0.2633. Which is greater: t or 51/2?
51/2
Suppose 4*v = -105 + 33. Let c be ((-10)/v*-6)/(8/12). Which is smaller: -10 or c?
-10
Let c(f) = -2*f**2 - 18*f - 12. Let a be c(-8). Suppose 0 = 3*n - d - a*d - 27, 5*n = 2*d + 26. Suppose 5*u + 40 = -s, 4*s + n*u