(r). Let i = k - 127. Is 1 at most i?
True
Let m = -8977 - -8977. Is 3/6223 greater than or equal to m?
True
Let q = 1640612/307 - 5344. Let y be (3752/(-7368))/((-54)/(-4)). Let c = q + y. Which is smaller: c or -1?
-1
Let u = -1 - -1. Let l(z) = -14*z + 115. Suppose -4*t + 50 - 14 = 0. Let k be l(t). Is u at least k?
True
Let s = -60 + 141. Let r be (-10)/6*(-1140)/100. Suppose r*b - 2800 = -16*b. Which is smaller: b or s?
b
Let v(n) = -18*n**2 - 2*n + 24. Let s be v(3). Let g = s - -70. Which is smaller: g or -75?
-75
Suppose -4*p = 2*m - 586, -m = 4*p + 2*m - 591. Let c be (-156)/p + 3/12. Is 0 less than c?
False
Let b = 7306/21 + -348. Let r = b - 4/105. Which is smaller: r or 3?
r
Let z be (-180)/54*8712/(-30). Is z at least 967?
True
Let v = -52.1 - -59. Let q = 6.861 - v. Let g = q - -10.039. Which is smaller: 2 or g?
2
Suppose 0 = -925*y + 914*y - 308. Do y and -26 have the same value?
False
Let k = 1817/12 - 469/4. Let i be (-2 - 1)*(-33)/3. Is k at most as big as i?
False
Let f be (18/(-310))/(1338/270 + -5). Let x = f + -21103/16058. Which is smaller: 1 or x?
x
Suppose -x = 5*o - 1, -2*o + 0*o = -4*x + 4. Let r be 160/1520 - (-1296)/(-38). Let i be (r/(-4) + -9)/(1 + 0). Which is bigger: i or o?
o
Let s = -4232 + 3796. Which is bigger: s or 6?
6
Let o = 1455637242687075821/3051 - 477101694167659. Let b = -8593396 - o. Let s = b + -5/27. Which is greater: -1 or s?
s
Let r = 239666857/5549 - 43191. Which is smaller: r or 1?
r
Let d = -2523.19 - 166.81. Which is bigger: 2 or d?
2
Let s be 2/(-7) - (-2)/(14/(-19)). Let w(x) = x**3 - 4*x**2 - 20*x + 44. Let d be w(6). Which is greater: d or s?
s
Suppose 840*l = -5*q + 841*l - 882, 5*q + 906 = -2*l. Suppose -2*r - 386 = -34. Which is greater: q or r?
r
Suppose 12*t - 208 = 11*t + 14*t. Which is smaller: t or -101/6?
-101/6
Let q(d) = 4*d**3 + 35*d**2 - 4*d + 26. Let j be q(-6). Which is bigger: j or 444?
j
Suppose -2*l + 0*l - 53 = 5*y, -3*y - l - 31 = 0. Let o be (-3 - 21/y)*75. Let a be (-3)/(-168)*o - -1. Is a <= 0?
False
Let y be 2/(-6) - 20/(-6). Suppose f = y*b - 5, b = -5*f + 6*b - 25. Suppose -3*k - 40 = -4*s, 0 = -4*k + 3*s - 109 + 65. Which is smaller: k or f?
k
Let h(p) = 3*p**3 + 3*p**2 - 4*p + 1. Let x(w) = w**3 + 2*w**2 - w - 1. Let y(k) = -h(k) + 2*x(k). Let c be y(-3). Which is smaller: c or 25?
25
Let r = 6 + -9. Let n be (r - (-2597)/866)/(-1). Let m = 899/28578 - n. Is 0 greater than m?
False
Suppose 6*k - 5*c + 966 = 8*k, -5*k - 2*c = -2457. Let v = k - 483. Is 23 bigger than v?
True
Let a be -2*(-5)/30 + (-147136)/48. Is a less than -3064?
True
Let f = 10035 - 9913. Which is smaller: f or -1?
-1
Suppose -5*i - 2 = -4*y + 38, 0 = 2*y - 5*i - 20. Let z be y/(-3)*3 + 10/(-5). Is -12 equal to z?
True
Let v be -5 - (-154)/33 - 1577/(-3). Which is greater: 525 or v?
v
Let x = 5563882/9 + -740991004/1197. Let d = x + 831. Let k = -4251 - -4251. Which is greater: d or k?
d
Let q = -26 + 25.965. Let n = q + 0.635. Let j = 37 - 40. Is j < n?
True
Let t(c) = -c + 40. Let w be t(0). Suppose -9*i + 247 = -4028. Suppose 397 = -2*v + i. Is w at most as big as v?
False
Suppose -30*y + 71299 = 7*y. Is 1927 > y?
False
Let v(p) = p - 6. Let x be v(6). Let y be x - 1 - (-1 - 1). Let d = -0.033989 + 41.033989. Which is smaller: d or y?
y
Let b = -1.8 - 15.2. Let o = -61 - -84. Let i = o + b. Which is smaller: i or -0.1?
-0.1
Suppose -u - 15 + 30 = 0. Let c be (u/(-27))/(14/(-63)). Which is smaller: -3/7 or c?
-3/7
Let w = -118/1563 - -124064/1647923. Which is greater: 1 or w?
1
Let h = -255 - -853. Suppose 3*s - 2*n = -h, 2*s + s - 4*n + 608 = 0. Is s >= -197?
True
Let s(r) = -r**3 + 10*r**2 + 12*r + 6. Let o be s(11). Suppose -50 = -5*d + 5*g, -9 - o = -5*d - g. Is 6 less than d?
False
Let u = -261 + 414. Let v = -155 + u. Is v != -2?
False
Let o be ((-12)/2)/(352 - 346). Does -2/24739 = o?
False
Let i be ((-3)/2)/(-21 + 15). Is -87 at most i?
True
Let g(b) = -5*b + 90. Suppose -20*h + 33*h = 234. Let j be g(h). Which is smaller: -6/5 or j?
-6/5
Let k(q) = 94*q + 370. Let a be k(-9). Is a at most as big as -2?
True
Let d = 7679 - 7669. Which is smaller: d or 128?
d
Suppose 4*q = 9*q + 405. Let z = 407/5 + q. Which is greater: z or 1?
1
Suppose 0 = 5*f + 105 + 105. Let u = -40 - f. Suppose 3*c - u = 5*c. Are -9/5 and c nonequal?
True
Suppose 25 - 16 = p + 4*b, -2*p - 5*b = -12. Let j be (-1258)/374 + p + -2. Which is bigger: j or -4?
-4
Let j = -7.64 - -8. Let z = 278 - 276.67. Let i = 1.23 - z. Which is bigger: j or i?
j
Let p = -92462831/2822 + 32765. Which is smaller: p or 1?
p
Let i = 0.337 + 250.663. Let m = 254.759 - i. Let o = m + 0.041. Which is greater: 0.1 or o?
o
Suppose -48 = -4*l + 114 - 38. Is 73 > l?
True
Let y(r) = -10*r - 93. Let w be (2/(-3))/(725/(-105) - -7). Let s be y(w). Is -112/5 at most s?
False
Let h be ((-44)/12)/((-154)/(-35574)). Is h not equal to -837?
True
Let c be (-3)/12*10*(-28)/(-10). Let n be c/(-70) - (-11)/(-60). Is -1 less than n?
True
Let b be 6/(-4)*(1166/(-33) + 4). Suppose 5*p = b - 372. Is -68 smaller than p?
True
Suppose 5*g + 5*g = -10. Let o be g/(4 - (-99)/(-24)). Let q be (-1 - -3)*(-4 + 36/o). Is q less than 1/10?
False
Let h = -0.3 + 0.1. Let c be (-6)/(180/(8 - -12)). Which is smaller: h or c?
c
Let u = -782 - -782. Which is bigger: 1/221 or u?
1/221
Let t be ((-2)/136*6)/6. Let a = t - 129/476. Let o = -4 + 24. Which is smaller: o or a?
a
Let t = 1.3 - 1.39. Let p = -309 + 307.38. Let x = p + 1.42. Is x equal to t?
False
Let r = 25416 - 25360. Which is smaller: 182 or r?
r
Let v = 9 - 6. Let q be ((-5)/1)/(v/(-9)). Suppose -5*l + 0 = 2*n - 53, 0 = 3*n - 5*l - 17. Is n smaller than q?
True
Let u = -0.08 + 0.253. Let d = -0.183 + u. Is 68 > d?
True
Let z(a) be the second derivative of a**5/60 + 5*a**4/12 + 7*a**3/3 - 29*a**2/2 - 20*a. Let r(y) be the first derivative of z(y). Let n be r(-8). Does -2 = n?
True
Let p(o) = -1384*o - 1384. Let j be p(-1). Let u = -504/17 + 19588/663. Which is smaller: j or u?
u
Let f(y) = 15*y**3 + 4*y**2 + 1. Let g(x) = -46*x**3 - 10*x**2 - 3. Let h(q) = 8*f(q) + 3*g(q). Let r be h(1). Do r and -63/4 have the same value?
False
Let c = -18556 - -14543. Is -4014 bigger than c?
False
Let f = 12761 + -13043. Let d = 30 + -29. Which is smaller: d or f?
f
Let n be 6/39 + (-334)/(-26). Let d = 29 + -84. Let s = d - -66. Is s >= n?
False
Let s be (47 - 40)/((-3)/(-15)*35). Let i = -1028559/460 + 2236. Which is greater: s or i?
s
Let m be (11 + -16)/5*(-168 - -1). Suppose 22 + m = 9*l. Is -5 at most as big as l?
True
Let i = 152.873 - 153. Let w = i - -0.027. Let y = 422 + -397. Which is smaller: w or y?
w
Let q(k) = -9*k - 198. Let l be q(-22). Suppose l = 10*o - 12*o - 5*u + 274, 5*u = 4*o - 518. Is o at most as big as 132?
True
Let f = -11 + 37. Let z = f + -24. Suppose 0 = 4*l + 2 + z. Which is greater: l or -1/13?
-1/13
Suppose -4*t - 5*i + 23 = 0, -t - 2*i = -i - 5. Suppose 3*n + 42 = -5*o, 2*n - 3*o = -0*n - 9. Let q be n/3 - (-160)/36. Does q = t?
False
Let v be (-9 + 15 - 152)*2*1. Let p = v + 1999/7. Is -7 >= p?
False
Let x = 330 - 328. Suppose -x*q + 172 = -q - 2*i, -4*q + 670 = -2*i. Which is smaller: 165 or q?
165
Let x be ((-20)/6)/(-5)*-33. Let n(c) be the first derivative of -c**3/3 - 11*c**2 - 3*c - 91. Let a be n(x). Is a at most as big as -13?
False
Let u = 1544/13 + -35514/299. Suppose -3*g - 6 = -4*m - 24, -2*m - 8 = -g. Suppose g*d + d = 3*j + 9, -7 = d + 4*j. Are d and u equal?
False
Let u = 4220 - 4164. Does u = 51?
False
Suppose 75*y = 64*y - 2695. Let k = y + 246. Is 1/125 less than k?
True
Let o = -9906 + 9905.2. Which is smaller: o or -3.76?
-3.76
Suppose -2*g + 18 = -3*f, 12*g = 7*g - 2*f + 7. Which is smaller: g or 1?
1
Let i be (-5 + -7)*(-13)/(-4). Let c = i - -58. Let k = c + -9. Is 8 greater than k?
False
Let m be (-1)/(-564*(-4)/96). Suppose 2*q - 2 = 2. Suppose s + q = 2*y - 3, y = s + 3. Is s at least m?
False
Let m be 3*((-80)/3)/(-2). Let k be -2*(-1 + (-42)/(-12)). Let i be k/(-34)*(-8)/m. Which is smaller: 0 or i?
i
Suppose -3*x + 15 = 9, 0 = z - 3*x - 24. Let d(m) = m + 11. Let f be d(18). Which is smaller: f or z?
f
Let j = 801 + -1367. Let v = -453 - j. Do 114 and v have the same value?
False
Let b be 2666/66 - 39/(-143). Let a = -75/2 + b. Is 4 not equal to a?
True
S