ller: u or w?
w
Let l(i) = i + 11. Let t be l(-8). Suppose -20 = -h + 3*z - 8*z, 4*h - 34 = t*z. Suppose h*j = 12*j. Which is bigger: j or 3/34?
3/34
Suppose 45 = 5*w - 55. Suppose 9*i - 7*i = w. Let c = -14 + i. Is -4 smaller than c?
False
Let u = 232 - 300. Let z = u + -130. Which is bigger: -1/3 or z?
-1/3
Let y = -23844198925/88 - -270953832. Let n = y - -2974. Let b = -8074 - -8074. Which is bigger: n or b?
n
Suppose 430*s + 1652 = 437*s. Which is bigger: 248 or s?
248
Let b(x) = -x**3 + 2*x**2 - x - 1. Let k(y) = -3*y**3 + 7*y**2 - 4*y. Let l(g) = 2*b(g) - k(g). Let j be l(3). Do j and -6 have the same value?
False
Let g be 160/2960 + (-7938)/370. Suppose 52 = -2*k + 5*p, p + p = k + 25. Which is greater: k or g?
k
Let i be (-218)/(-11) - 4/(-22). Let d = -56 + 46. Let h(f) = f**3 + 10*f**2 + 18. Let w be h(d). Which is greater: w or i?
i
Suppose 3*o + 162 = 42. Let y be (12/1310)/(32/o). Which is bigger: y or 0?
0
Let t be 126 - 5/(-1) - 5. Let i(y) = 2*y**2 + 20*y + 18. Let w be i(-8). Let p be w/49 - (-64)/t. Which is bigger: p or -10?
p
Let i = 381/4 + -13763/140. Let w = i + 2987/210. Is w >= 12?
False
Let l be 18/(-27)*(-1170)/(-12120). Is l at most as big as 1?
True
Let d = 1514 - 1537.58. Are d and 4/5 non-equal?
True
Let h(k) = -k**3 - 6*k**2 - k - 7. Let m be h(-6). Let u = 26672/55 - 5352/11. Which is bigger: m or u?
m
Suppose 12103 = -4*h + 5*r, -198*h + 202*h + 12047 = -3*r. Which is smaller: h or -3016?
h
Let b = 2061.1 - 2061.1283. Is -1/3 > b?
False
Let g be ((-5)/2)/((-2)/(-160)*-10). Is -9 at least as big as g?
False
Let m = -46 + 39. Let u = -21.4 + -0.6. Let n = -22.2 - u. Which is bigger: m or n?
n
Suppose 2*t - d = -5, -5*d + 35 = -2*t + 10. Let b(h) = 29*h**3 - 5*h + 4. Let j be b(1). Let y be 3/((-12)/j + t). Which is smaller: y or -9?
-9
Let q(u) = -3*u**3 - 401*u**2 + 134*u + 23. Let m be q(-134). Is m greater than 481/21?
True
Suppose -43919 = 152*v - 189*v. Which is greater: v or 8308/7?
v
Let q = 125 - 125. Suppose -8*g - 59 - 13 = q. Is -26/3 <= g?
False
Suppose -61*l = 134*l + 13*l + 442832. Is l at most -2130?
False
Suppose 2*v + 2*v + 454 = -5*o, 2*o + 208 = 5*v. Is o at least -111?
True
Let h = -5/6181 - 15347398/30905. Which is smaller: h or -498?
-498
Suppose 115 - 115 = -52*b. Let n = 304 - 110. Suppose -4*m + 218 - n = b. Which is smaller: 23/5 or m?
23/5
Let z(k) = k**3 - 33*k**2 - 92*k + 776. Let b be z(35). Do b and 116/21 have the same value?
False
Let v(y) = -24*y**2 + 7*y + 12. Let d(q) = -22*q**2 + 5*q + 11. Let i(g) = 3*d(g) - 2*v(g). Let k be i(-3). Which is smaller: -158 or k?
-158
Let c(i) = 8*i - 19. Suppose -5*t = 5*g - 5, 0 = -4*t + 2*g - 0*g + 10. Let m be c(t). Let w be (2 + (m - 186/(-183)))/1. Which is smaller: w or 1?
w
Suppose -40*i = 2*c - 38*i - 10, -i = -21*c + 105. Which is bigger: c or -226?
c
Let j = -468 - -544. Let o = j + -76.0066. Is 0.1 >= o?
True
Let k = 261.3 - 260.9. Let r = 3 - 6. Let l = -8 - r. Is k at least l?
True
Let v(u) be the third derivative of u**4/12 + 15*u**3 + 34*u**2. Let w be v(0). Let c = 97 - w. Are -1/2 and c non-equal?
True
Suppose 0 = -14*c - 323 + 113. Let v be 632/208 - c/(-5). Let j(q) = q**3 - 5*q**2 + 4*q. Let g be j(4). Which is bigger: v or g?
v
Let s(t) = t**2 - 402*t - 1213. Let d be s(0). Is d greater than -1213?
False
Let t(a) = a**2 + 3*a + 2. Let m be t(0). Suppose 2*g + 6 = z, m*g + z + 10 + 0 = 0. Let i be (((-6)/(-9))/(-1))/(g/(-18)). Which is smaller: i or -5?
-5
Let o = 0.523 + -0.55. Let t = 0.316 - -0.084. Which is smaller: t or o?
o
Let w be (939/(-15))/((-6)/(210/7)). Let c be (3 - 4) + (-6922)/(-22). Let r = w - c. Are r and -1 unequal?
True
Let n = 18.45 + -17.45. Is n smaller than 698?
True
Let d(z) be the second derivative of 0 + 23*z - 1/2*z**2 + 0*z**4 - 1/20*z**5 + 2*z**3. Let b be d(5). Is -67 bigger than b?
False
Let u = 221.9 - 196. Let a = -26 + u. Let s = -733 + 763. Are a and s equal?
False
Let y = 0.0867 - -424.9133. Let b = y + -425.1. Which is bigger: b or -0.76?
b
Let k = 17 + 350. Let p = -407 + k. Is 0 != p?
True
Let w = 829 + -30675/37. Let m = -67.35 - -66.35. Which is smaller: w or m?
m
Let f be 32 + ((-18)/(-6) - 0). Suppose 28*v - 1071 = -f. Which is smaller: 29 or v?
29
Suppose 5*q = 3*m + 24, -3*m + 1 = 4*q - 2. Let k be -1*(-3)/(-1) - -6. Is k < q?
False
Let u be -1 + (-6 - 4911/(-702)). Let k = -59/117 - u. Which is bigger: -9 or k?
k
Let n = 5301 + -5300. Which is greater: n or -0.32?
n
Let r(b) = -b**2 + 196*b + 596. Let k be r(199). Let s(d) = d - 7. Let x be s(3). Are x and k non-equal?
True
Let x = 2567 + -2520. Is x at least -8?
True
Let a = -363940/3 + 121313. Suppose g - 6*g = -20. Which is greater: g or a?
g
Let j = -0.19037 - -15.45137. Let m = j - 14.29. Let f = m - -0.029. Is 1 less than or equal to f?
True
Suppose -s = t - 3, 4*s - 14 = -5*t + 1. Suppose 4*p + 8 = 2*k, p + t*k = 2 + 3. Let f be p/((-5)/570*-15). Is -9 < f?
True
Let q be (-40)/6*21/(-35)*1 + -3. Are q and 2/18465 equal?
False
Let d = 18.833 + -8.833. Is d greater than 1.78?
True
Suppose -a + 2*i - 70 = -3*a, 4*a - 145 = -5*i. Suppose 0 = -3*f + 21 - a. Let p be 60/(-11)*(-1)/(-3). Is f bigger than p?
False
Suppose 4*v - 132 = -4*r, 22*r - 27*r - 195 = -4*v. Let y = 15/4 - 4. Which is smaller: y or v?
y
Let w be (-1 + (-13200)/(-4))/((-3)/6). Let h be 1/(-5) - w/(-10). Let s be 12/28 - h/28. Is s less than 23?
False
Let j be 18/149544*-116310 + 14. Do -1 and j have the same value?
False
Suppose 16637 = -5*h + k, 6*h - 3*k + 6660 = 4*h. Do -3329 and h have the same value?
False
Let v(n) = -311*n + 2808. Let o be v(9). Is -57 less than o?
True
Let o = -25 + 9. Let g be (14/116)/(-5 - 88/o). Is -1 greater than g?
False
Let z be (-250434)/1342605 + 2/11. Let a = z + -2/5665. Is 1 not equal to a?
True
Let b(j) = j**2 - 15*j + 22. Let g be b(13). Let i be 9/(-2)*(328/30)/g. Which is smaller: 12 or i?
12
Suppose 64*j + 114679 - 376603 = 18*j. Is 5694 smaller than j?
False
Let t(y) = y**3 + 13*y**2 - 2*y - 10. Let k be t(-6). Let u = -280 + k. Which is greater: 0 or u?
0
Let g = -958 + 7605/8. Let o = 8 + g. Which is greater: -0.04 or o?
o
Let d be (2 + (-3)/2)*0. Let s be 1/(-12)*-25*4/(-3500). Which is greater: s or d?
d
Suppose -4*y + 9*y = -2*z + 4, -4*y + 8 = 4*z. Suppose 4*p + 15 = z*o + 67, 0 = 4*o - p + 97. Let a = o - -28. Which is greater: 0.4 or a?
a
Suppose -162*q + 163*q - 542 = z, -2*q + 1064 = -7*z. Is 542 at most q?
True
Let h = -3950 + 3756. Let f(i) = i**3 + 4*i**2 - 22*i + 12. Let v be f(-9). Which is bigger: h or v?
h
Suppose -4*x + 4*u = x + 395, -320 = 4*x - 4*u. Let p(d) = 3*d**3 + 9*d**2 + 5*d - 8. Let n be p(-4). Is x bigger than n?
True
Let f = -11789 - -11793.8. Which is greater: 32.9 or f?
32.9
Suppose 2*y = y - 5*k + 98, -k = 5*y - 538. Suppose y = -5*o - 4*n, 5*o - 2*n = -0*n - 126. Let w be 21/392*(-4)/o. Which is bigger: 0 or w?
w
Suppose f + 141 = -5*u, 3*f + 3*u - 150 = -549. Let a = f + -10. Is -141 smaller than a?
False
Let x = -0.6 + -5.4. Let s = 158.5 + -24.5. Let l = s - 133.9. Which is smaller: l or x?
x
Let h be ((-4)/(-14))/(3/7). Let z = -199.557 - 22.153. Let a = 222 + z. Do h and a have the same value?
False
Let o(s) = 66*s + 79. Let f be o(2). Are 203 and f equal?
False
Let m(y) = 5*y**2 + 99*y + 188. Let a be m(-18). Which is greater: 41 or a?
41
Let z be 4/14 - (-33)/(-15939)*15930. Which is greater: z or -33?
z
Let x(c) = 2*c**3 + 3*c**2 - 5*c + 11. Let b be x(-3). Let d be (-2)/4 - 2092/(-4216). Is b at most d?
True
Let q be (20/(-15))/((-6)/81). Let k be ((-287)/(-21))/(2/q). Suppose 3*c - k = -3*r, -r + 46 = c + r. Which is smaller: c or 35?
35
Let w = -112 + 106. Let x = -9 - -11. Suppose 5*h = -x*h - 7. Which is smaller: w or h?
w
Suppose -2*l = 5*i + 346, -12*l + 66 = -i - 14*l. Which is smaller: -64 or i?
i
Let p(f) = 71*f - 1388. Let n be p(15). Is -1613/5 less than n?
False
Let o = 95407.18 - 95407. Let z = 1 + -1.1. Let m = z + -0.1. Is o greater than m?
True
Let o = -1033 + 398. Let j = 6353/10 + o. Let g = -2 - -2. Which is greater: j or g?
j
Let f(p) = -3*p**2 + 11*p + 50. Let o be f(9). Are o and -654/7 equal?
False
Let j be (1386/35)/(126/60) - (1 + 1). Which is greater: j or 16?
j
Suppose -17 = -10*n - 7. Let j = -63323/865 + 366/5. Is j less than or equal t