r: p or f?
p
Let d = -46 - -31. Let l = 34 - 50. Which is bigger: d or l?
d
Let h(j) = -2*j**3 - j**2 - 3*j - 12. Let y be h(5). Let l(o) = 50*o - 103. Let g be l(-4). Is y greater than g?
True
Let a be (12 - (1 - 2)) + -4. Let t = 14 + a. Let f(l) = -l**3 + 4*l**2 + 3*l + 11. Let c be f(4). Is c greater than t?
False
Let q = 153623695/2233 + -68797. Is q smaller than 0?
True
Let o(w) be the second derivative of w**4/12 + 5*w**3/3 + 17*w**2/2 + 248*w. Suppose -k + 2*k = -8. Let m be o(k). Is m < -3/8?
False
Let t = -22 + 41. Let h = t + -18.97. Let i = -2 - -2.1. Are h and i nonequal?
True
Let j = 1009 - 3109/3. Let k be (4/5)/((-792)/(-396)). Is k at most j?
False
Let s = 6654 + -26613/4. Suppose -2*x + 5*x = 0. Which is smaller: s or x?
x
Let b = 19396 - 19399. Let x = 3 + 2. Suppose -3*v - 3 = 2*f, 5*v + 5 = -0*f - x*f. Is b <= v?
True
Suppose -259*q + 910 = -189*q. Let p = -3.05 - -0.05. Let o = p + 3. Do q and o have the same value?
False
Let w(n) = n**2 + 16*n + 33. Let x = 149 + -162. Let c be w(x). Which is bigger: -31/6 or c?
-31/6
Suppose -300 = 10*l - 15*l. Let s = l - 58. Suppose -s*m + 4*f = 24, 0 = -0*m - 3*m - 2*f + 4. Is m at least as big as -0.8?
False
Suppose -5*g = -20*g - 75. Let x = -4 - g. Let n = 1.8 - -8.2. Are x and n equal?
False
Suppose -25*p - 2764 = -5*p + 1176. Which is smaller: -179 or p?
p
Suppose 24*y + 57 = 5*y. Let s be (y/(-9) + 89/(-204))*-24. Which is smaller: 3 or s?
s
Suppose -3*s = 3*f + 798, -674 = 3*f - 2*s + 144. Let a = f - -272. Which is smaller: a or 1/13?
1/13
Let k be 2/8 + (-1)/3*(-18219)/(-4). Is k >= -1519?
True
Let j = -537 + 164. Let t be (3/15)/((-10)/50)*373. Is t smaller than j?
False
Let y be (-1 - -4)/(53 - 50)*(-118)/26. Which is bigger: y or -4?
-4
Let y(q) = -q**3 + 4*q**2 + 15*q - 13. Let d be y(6). Suppose 8*f - 3*x + 15 = 11*f, -5*f + d = x. Which is bigger: -2/659 or f?
f
Let c be (-18)/4*((-8492)/6 - 0). Is c at most 6368?
False
Let k = 238 - 244. Let s be (2/1)/k - 174/(-117). Is s at most -1?
False
Suppose 0 = 4*v - 28, v + 1 = -i + 8. Which is smaller: i or -2/17919?
-2/17919
Suppose 0 = -74*o + 90*o + 3232. Which is smaller: o or -203?
-203
Let a = -29/51 - 183/17. Which is smaller: -0.002 or a?
a
Suppose 6*k = 2*k. Suppose k*a = 3*a + 3. Suppose -16*d = 86*d + 1130*d + 9856. Are d and a nonequal?
True
Let z be 0 + (2 - (-16)/(-14)). Suppose 5*o + 2*h = 26, o - 8 = 4*h - 3*h. Suppose -2*i - o = 4*b, 2*i = -3*b - 0*i - 5. Is z greater than b?
True
Let u be (-2)/(-9) - (7/63 + 24/(-27)). Which is smaller: 1/1533 or u?
1/1533
Let p = -945 + 40627/43. Let q(l) = -l**3 - 3*l**2 - l + 2. Let z be q(-2). Which is bigger: p or z?
z
Let j = -0.00022 - -164.00022. Is j at least as big as -1/22?
True
Let k(v) = -83*v. Let x be k(-3). Let u = x - 42. Let c = u + -1032/5. Which is smaller: 5 or c?
c
Suppose -152 + 270 = 118*v. Is -1/2344 smaller than v?
True
Suppose 6*n - 326 - 43 = -3. Is -0.8 <= n?
True
Suppose -c - 71 = -2*g, 0 = 2*g - 0*g + 4*c - 46. Suppose -54 = -3*m + g. Which is smaller: m or 25?
25
Let k = 6423 + -6422.7. Which is smaller: k or 14/219?
14/219
Suppose 125 = 3*x - 82. Suppose -z + 2*h + 0*h = -23, -x = -3*z + h. Which is smaller: z or 22?
22
Let j be ((-6)/8)/(12/8)*2. Let a be (-1 - -2)/(j/5). Are 2/25 and a unequal?
True
Suppose -75*g = -58*g + 23001. Let s = g + 125827/93. Let u = -1 + 0. Is u >= s?
False
Let j be 960/(-180)*3/(-24). Is j <= 5/2?
True
Let p = 771 - 1268. Let u = -369 - p. Let t = 5 - 4. Which is bigger: t or u?
u
Let t be ((-142)/(-3) + 14 + 9)/(3/(-621)). Is -14557 bigger than t?
True
Let v be (-1 - (-528)/5) + (-4)/(-10). Suppose 3*l = 6*l + j + 77, 0 = -5*l + 3*j - v. Let f be (2 + (-22)/(-4))*16/l. Which is greater: f or -4?
-4
Suppose -237*u = -250*u - 2444. Let n = u + 187. Let m(h) = -h**2 + h + 1. Let y be m(0). Are n and y nonequal?
True
Let c be 2 + 0*((-7)/(-2) - 4). Suppose n - c*g = 0, 9*g - 4*g = -5*n. Let f be 52/6 + (-15)/(-45). Which is greater: f or n?
f
Let v = -2/8713 + -43369/853874. Is 1/4 >= v?
True
Let p = 5327558881/69 + -77213414. Let i = 24320/23 + p. Let z = i - -1329. Is -28 less than or equal to z?
False
Let i = 145.958 - 19.942. Let c = 126 - i. Let z = -0.082 - c. Is 0.1 not equal to z?
True
Let h(i) = -i**3 + 13*i**2 + 2*i + 2. Let m be h(13). Suppose 5*l = 5*p + 3*l - 21, 18 = p - 5*l. Suppose 3*a = -j + 95, 5*a = 4*a + p*j + 15. Is a at most m?
False
Let u(o) = -1404*o**2 - 466*o - 1388. Let b be u(-3). Which is smaller: b or -12624?
b
Suppose -3*i = 5*j + 236, 87*i + 2*j - 120 = 89*i. Which is greater: -100 or i?
i
Let i = -160 + 1118/7. Let n = -323 - -324. Let s be ((-2)/29)/n*1. Which is smaller: s or i?
i
Suppose 0 = -9*l - 524 - 295. Suppose -931 - 10067 = -6*p. Let u be p/l - (-3)/21. Which is smaller: -19 or u?
u
Let h(t) = t**3 + 37*t**2 + 31*t - 180. Let w be h(-36). Is -13/224 smaller than w?
True
Let b = 463 - 301. Let g = -160.9 + b. Which is smaller: -0.4 or g?
-0.4
Let s = 911/5 - 183. Let d = 0.022 + -0.172. Let q = d - 3.85. Is q at least s?
False
Let i(c) = c**3 - c**2 - c + 2. Let t be i(-2). Let x = -5 - t. Suppose 0 = -3*a - 2*j - x*j - 13, a = -j - 3. Is a smaller than -1?
False
Suppose 0 = 5*s + x + 80104, -30*s + 29*s + 14*x = 16106. Is s less than -16024?
False
Let i = 120289 - 2284972/19. Which is greater: i or 28?
28
Let q = -119.692 - -120. Let n = -0.208 + q. Which is smaller: n or -16/13?
-16/13
Let d = -116.66 - -132. Which is smaller: d or 2/5?
2/5
Let s = 358.358 + -358. Let b = s + -89.458. Let a = 89 + b. Do 3/8 and a have the same value?
False
Let v(y) = -3*y**2 + 72*y + 7. Let c be v(24). Suppose l - f = -11, c*l - 5*l + 42 = -3*f. Is l at most as big as -5?
True
Let q(b) = b**2 - 39*b - 121. Let g be q(-3). Is g bigger than 31/5?
False
Let r(o) = -o**2 - 4*o + 1. Let v be r(-4). Let m be (-24)/(-20)*10 + 5200/(-425). Are m and v non-equal?
True
Let a = -49511425/359 + 137915. Which is smaller: -1 or a?
-1
Let y(p) = 3*p**2 - 36*p + 34. Let z be y(7). Is -10 equal to z?
False
Let j = 39649700032 + -488167105518137/12312. Let t = j - 829/8. Which is smaller: 0 or t?
0
Let l be (9/42)/(-219*126/288). Which is smaller: 1 or l?
l
Let g(t) = -18*t - 92. Let n be g(-16). Suppose -189*c + n*c = -28. Which is smaller: c or -17/4?
-17/4
Suppose 4*i = 31 - 55. Let a be (-333)/(-74)*(-4)/i. Let f(x) = x**3 - 5*x**2 + x - 2. Let j be f(5). Is a at least as big as j?
True
Suppose 0 = 5*m - 4*l - 11, 3*m + 2*m + 5*l + 25 = 0. Let x be (128/56)/8 + (-1 - 35432/(-49448)). Which is smaller: x or m?
m
Suppose 17*s = 26*s. Suppose s = 34*q - 23*q + 495. Is q smaller than -4?
True
Let b(d) = -d**2 + 9*d + 27. Let r be b(11). Let q = -15.1097 - -0.1097. Is r < q?
False
Let t be (8/16 + 2/4)/1. Let a(p) = p**3 + 3*p**2 - 5*p + 2. Let g be a(t). Which is greater: g or -4?
g
Suppose 165 = -21*b + 2531 + 4921. Which is smaller: b or 345?
345
Let x = 101 + -1. Let o = x + -492/5. Which is greater: 3 or o?
3
Let p = 2.41 + -0.88. Let u = 1.431 - p. Do 1/5 and u have the same value?
False
Suppose -64*z = 37*z + 808. Which is smaller: z or -31?
-31
Suppose 5*u = 3*u + 32. Suppose 0 = -14*m + u*m + 396. Which is smaller: m or -199?
-199
Let r be (-3)/6*-4 + 2/1. Let v be (r/21)/((-2)/3). Let c be (-4 - -5) + -2 + 0. Do v and c have different values?
True
Let x be ((-8)/(-6))/((-2)/6 - -1). Let j be x - (-7)/(644/(-31284)). Let d = -338 - j. Is d < 1?
True
Suppose -5*n + q - 30 + 145 = 0, -4*q + 90 = 5*n. Let y(x) = x**3 + 9*x**2 + 16*x + 17. Let b be y(-7). Are n and b nonequal?
True
Suppose -391*l + 387*l = 0. Let p be l - 0 - 3/12*0. Is 1/152 < p?
False
Let f = 457 - 1372/3. Let m = -13/693 + -16/63. Which is smaller: m or f?
f
Suppose 4*q = -3*k + 2403, 1672 + 160 = 3*q - 2*k. Is 604 < q?
True
Let z be 10/56 - (-12)/48. Suppose 84 = -27*h - 2886. Let v = -110 - h. Which is smaller: z or v?
v
Let q = -16256 + 16225. Which is smaller: q or 1/12?
q
Let x(d) = -d**3 - 10*d**2 + 9*d - 24. Suppose -9*k = 139 - 40. Let v be x(k). Let t be 8*(2/v - 141/(-132)). Which is smaller: 2 or t?
t
Let p = -0.194 - -0.177. Let r = 42.217 + -41.5. Let j = p + r. Is j bigger than 0.4?
True
Let a = -17887 + 22706. Which is greater: a or 0?
a
Let w be (33/154*63)/((-199)/2). Which is greater: 1 or w?
1
Let a(w) = 7 