 than or equal to s?
True
Suppose 25*h + 18*h + 2709 = 0. Suppose -2*k = 3*r - 48, 2*k + r - 60 = 4*r. Let g = h + k. Which is greater: -35 or g?
-35
Let f = 197 - 197.2. Let j = -299/399 + 2/57. Do j and f have different values?
True
Suppose 9*c = 23*c - 14. Is 12/595 < c?
True
Let c = -2089 - -1431. Let l(z) = -2*z**2 - 12*z + 2. Let j be l(-6). Let n be (c/219 - -3)*j. Which is greater: -1 or n?
n
Let a = -46 - -51. Let b be (-585)/(-54) + (-3)/(-18). Let s be ((-1)/2)/(((-198)/156)/b). Which is greater: s or a?
a
Let w be (-300696)/(-1320) + 1/5. Let a = -24/13 - -94/65. Which is smaller: a or w?
a
Let f = 641 - -143. Let s = 1226 - f. Which is bigger: 443 or s?
443
Let x be ((-2457)/252)/(99/12). Let q = -2 + 1. Is x at least as big as q?
False
Let s = -110.5 + 110.6. Which is bigger: -13176 or s?
s
Let g be -16 + 33 + 43 + -16. Is 47 > g?
True
Let x(u) = -u**3 + 12*u**2 + 11*u + 25. Let g be x(13). Let y = -22 - -16. Let f be ((-3)/342)/(y/18). Which is smaller: f or g?
g
Let f be (-2)/(-15) - (501/45 - 11). Let r be 1/8 + 67/(-88). Which is bigger: r or f?
f
Let h be (0 - 67) + 3 + 1. Let y be -4*4/24*h/(-96). Which is bigger: -1 or y?
y
Let w be (-123)/(-4) - (12/(-16))/3. Suppose w*b = 4*b + 5*b. Which is greater: 2/563 or b?
2/563
Let j = -4172 + 358795/86. Let h be 2/(-4)*(-1 - -1). Is j less than h?
False
Let q = -404820/41 - -9872. Which is smaller: -2 or q?
-2
Let t = -5775 + 2696. Is -3079 equal to t?
True
Let g be ((103040/252)/46)/((-1)/(-5)). Which is greater: g or 44?
g
Let m be (-2)/(-17) + 8*(-12)/(-816)*33. Let a = -14055/8 + 1762. Which is greater: m or a?
a
Let m be (-9135)/(-231) + ((-384)/88)/8. Let f(v) = -v**3 + 8*v**2 - 4*v - 8. Let o be f(6). Is o bigger than m?
True
Let p(o) = 8*o**2 - 4*o + 6. Let a be p(3). Let f = a - 63. Suppose f*i = -0*i - 15. Is i < -5?
False
Let y(a) = a**3 - 1. Let p(l) = 4*l**3 - 5*l**2 + 2*l - 5. Let w(r) = -p(r) + 5*y(r). Let f be w(-4). Let h = f + -24. Is -1/11 >= h?
False
Let g(l) = -l**2 - 3*l - 1. Let x be g(-3). Let o be 124/1092 + x/(-7). Let q = 200/741 + o. Which is smaller: q or 2?
q
Let p(y) = -234*y - 23111. Let l be p(-100). Suppose 2*u - 866 = -4*g + g, 4*g + 4*u - 1152 = 0. Which is greater: l or g?
g
Let b be -1 + (-33)/7 - (-8)/(-28). Let n be (-63)/28 - 12/b. Is -15/11 > n?
False
Suppose 5*r - 15 = 10. Suppose -1 - 4 = r*w. Let a be (213/(-231) - -1)/(73/(-1022)). Which is bigger: w or a?
w
Let l = 59637 + -59625. Let s = 33874/15 + -11236/5. Is s at least as big as l?
False
Suppose -4706 = 113*d - 100*d. Is -1811/5 smaller than d?
True
Let q = 2322/5 - 462. Let s(y) = 7*y - 10. Let w be s(9). Let n = -51 + w. Which is smaller: q or n?
n
Let j(m) = -m**2 + 14*m - 21. Let r be j(6). Let n be r/6*60/9. Which is smaller: n or 32?
n
Let q = -12 + 17. Suppose -q*p + 2 = -3*p. Let n = -83803/40 - -2095. Is p bigger than n?
True
Let z = -10297/3 + 21798746/6351. Is 1 >= z?
True
Suppose 0*n = 3*n + 210. Let j be (-1 - 14)/(15/n). Let p be (-2)/(-16) + j/336. Which is bigger: p or -6?
p
Let j be (-1)/(-4) - (-5532)/(-48). Let u = 74 + j. Let t = u - -42. Which is smaller: t or 0?
0
Let l = 22550 + -17725. Which is bigger: 4823 or l?
l
Suppose 5*b - 7 - 48 = 0. Suppose 17*c = 13*c + 76. Let w = c - b. Is w at least as big as 10?
False
Let h be -23 - (11 + (-172192)/8). Is h at least as big as 21490?
True
Let f = -423.7 + 427.62. Is f greater than or equal to 3?
True
Let i = 3195 + 9325. Which is smaller: i or 12519?
12519
Suppose -2*f = -m - 691, 2680 = -4*m - 11*f + 7*f. Which is smaller: m or -3392/5?
-3392/5
Let z = -9037 - -18357/2. Is z less than or equal to -1/5?
False
Suppose -q + 1 + 2 = 2*l, 3*q - 9 = 0. Let a(f) = f**3 + f**2 - f + 5. Let y be a(l). Let z(m) = 47*m - 417. Let n be z(9). Which is smaller: y or n?
y
Let a be 1*-2*(-2)/8. Let u be 42 - (5 - 8)*(-2)/3. Suppose 0 = -7*f + 17*f - u. Is f at least a?
True
Suppose -l + 6*l + 8*l = 13. Which is bigger: l or -2/18219?
l
Let z(r) = -r**3 - r + 2. Let l be z(0). Let u = -48664 + 48671.8. Is l > u?
False
Let n(v) = v**3 - 13*v**2 - 33*v - 21. Let y be n(15). Let x be y/11*-1*(-2)/12. Let s = -99 + 1684/17. Is x bigger than s?
False
Suppose q - 4*p + 26 - 8 = 0, -q = -3*p + 13. Suppose -q*a = 10 + 46. Which is greater: a or -29?
a
Let g = 400 - 398. Suppose -p = -4*r + 12, g*p = 4*r - 3*p - 28. Is 23/7 < r?
False
Suppose 124 = -q + 183. Suppose -518 = -52*s + q*s. Is -71 equal to s?
False
Let r = 4789 + -14365/3. Which is smaller: r or 331.4?
r
Let v = 45669 + -45761. Which is smaller: v or 62?
v
Let x be -116*14/(-8)*6/21. Suppose x*d = 20*d. Which is bigger: d or 6?
6
Let o = 95.88 + -96. Let h = o + 0.38. Let x = -0.36 + h. Which is smaller: 0.013 or x?
x
Suppose -336 = -5*f + 3*g + 2065, 0 = -5*g - 10. Is f equal to -1/15?
False
Let w = 22.849 + -22.66. Is w at least as big as 17?
False
Let i be 68 + (8/(-4) - -2). Let j = i + -67. Let w = -0.18 + 0.3. Which is smaller: j or w?
w
Let q be (2447/86*-1)/(-38) - (-42)/(-56). Is -1 bigger than q?
False
Let g be -4 - (-2 + -3) - (14 + -12) - 547. Is -539 less than or equal to g?
False
Suppose m - 6*m + 5*k = 10, -k - 4 = 2*m. Let o be (58/(-145))/(2/20). Is o bigger than m?
False
Let o(f) = -97*f**2 + 59*f - 67. Let n be o(-7). Which is smaller: -5235 or n?
-5235
Let v = -333.6 + 377.6. Is v at most as big as -2?
False
Let j = -2150/9 + 5570668/23319. Which is greater: j or 1?
1
Suppose -20*t = 24440 + 58380. Which is smaller: t or -4143?
-4143
Let w(i) = -8*i**2 - 49*i - 7. Let j be w(-6). Let o be (-2)/9 - (j - (-124)/9). Which is smaller: o or -7?
o
Let m(u) be the first derivative of u**3/3 + 3*u + 1. Let s be m(4). Let y be (-21 + s)/(10/(-8)). Is y less than or equal to 0?
False
Let c(b) = 189*b**3 + 1. Let j be c(1). Let y be ((-81)/(-90))/(6/j). Suppose q = -12*q + 377. Are q and y equal?
False
Let m = -10035.981 + 10036. Let o = 0.0158 - -0.9652. Let z = m + o. Which is smaller: z or -1.1?
-1.1
Let a = -7 - -11. Let c = 66874/11 + -6075. Is c bigger than a?
True
Suppose 0 = -11*i + 11442 - 11442. Which is greater: -2/28231 or i?
i
Let f be 13 - -15 - (-1480)/(-52). Let c be -2 + 0 + (6 - 5). Is c != f?
True
Let b = 49.9 - 48. Let w = 1708.71 + -1708. Let f = 0.81 - w. Is b > f?
True
Let i be (10/25)/(4*(-104)/(-1120)). Is i bigger than -0.19?
True
Suppose 6814 + 925 = -38*w - 11679. Is w smaller than -1019/2?
True
Let v = -151 + 151.105. Let g = v - -0.165. Which is greater: -3 or g?
g
Suppose -419*l + 15008 = -411*l. Is 1878 at least as big as l?
True
Let j = -4030234/197 - -20458. Which is bigger: j or 1?
1
Let h be (-46)/((-219)/(-1) + -11). Is 0 less than or equal to h?
False
Let w = -2.45 + 4.5. Let g = -0.05 + w. Let m = 22/59 - 331/413. Is g equal to m?
False
Let h be 10*(-2 - -1)*(1 + -2). Let t be ((-14)/3)/(1/(-3)). Suppose 32 = h*d - t*d. Are -2 and d equal?
False
Let x be ((-127)/(-2))/((2/2)/2). Let k = -4745/3 + 1581. Is k bigger than x?
False
Let a(o) = 32*o - 2. Let g be ((-9)/(-5))/((-10)/50). Let n be -2*g*3/(-18). Let k be a(n). Is k < -99?
False
Let j be ((-901904)/(-48))/(0 - 29/3). Let m = -1944 - j. Which is bigger: 1 or m?
1
Let h = -3111 - -3116. Suppose -2*b - 3*b = -10. Suppose b*t - 13 = -h. Is 5 equal to t?
False
Suppose 27*d = -3*y + 29*d + 51647, y - 17218 = 3*d. Which is smaller: 17216 or y?
y
Let z = 349 - 351. Let a(p) = 14*p. Let h be a(-2). Is h greater than z?
False
Let t(y) = y**2 + y - 2. Let x be t(-2). Let f be 33 - 36 - (18546/46)/(-1). Let b = f - 400. Is x greater than or equal to b?
False
Let s = 12 - -8. Let q be (447/6 - 2)*(-80)/(-300). Which is bigger: s or q?
s
Let y be (-2*12/(-40))/((-2)/(-10)). Suppose y*m = -4*w - 11, 5*w = -5*m - 5 - 15. Which is bigger: w or -2/99?
w
Suppose 0 = -2*r - l - 25, -2*l + 6*l = 2*r + 20. Let v be (r - -2)*(-18)/12. Is v less than 27/2?
False
Let g = -520 - -543. Let y = g + 34. Are y and 1 non-equal?
True
Let x = 72 - 92. Let d be (1 + 0)/(x/60) + 8. Which is bigger: d or 15?
15
Let i = 2561 - 102437/40. Let j be 2/(-3) + (-1)/3. Let d = j + 1. Which is greater: d or i?
i
Let a be 1/(-2 - 53052)*(-2 - (-8 - -10)). Does a = 1?
False
Let v = 1.8451 + -1.7839. Which is greater: v or -0.2?
v
Let u be 1/(15072/5022 + -3). Let c = -837 + u. Which is greater: c or -5/61?
c
L