ch is smaller: c or s?
s
Suppose 5*j - 1 - 14 = 0, 4*l - 2936 = 4*j. Let p = l - 47906/65. Which is bigger: 1 or p?
1
Let x be (-64 + 1)*((-90)/(-27) - 3). Is x at least -22?
True
Let l(r) = 3*r**3 + 10*r**2 - 4*r - 9. Let n(c) be the first derivative of c**4/4 + c**3/3 - c - 10. Let t(j) = -l(j) + 4*n(j). Let u be t(5). Is -13/4 > u?
False
Let x = -5 - -27. Let z be 0 + 4 + x/(-4). Is z greater than -3?
True
Let h be (-119)/252 + (0 - (-3)/12). Which is smaller: h or 29/8?
h
Let i = 108 - 105.68. Are 0.1 and i unequal?
True
Let m be (-2)/(-6)*4122/(18/3). Are 228 and m non-equal?
True
Suppose -507*l + 495*l = 3648. Is l at least -302?
False
Let y = 102.66 - 9.66. Which is greater: -2 or y?
y
Let i = 587 - 537. Is 50 greater than i?
False
Let c = -610 + 1219/2. Is 52 not equal to c?
True
Let y be 9 - (-8 + 7 + -3). Suppose 0 = y*i - 17*i. Let n(s) = -s + 3. Let a be n(i). Which is smaller: 0 or a?
0
Let f be -4 + -3 + 148/20. Let s = 11 + -12. Is s <= f?
True
Let i = -344 - 787. Is -1131 > i?
False
Let f = -41 - -37. Suppose 4*j - 6 = 3*j. Let w be (28/21)/(f/j). Which is smaller: w or 0?
w
Let w = -16 - -30. Let t be 1 + 1/(-2) + w/(-20). Is t at most as big as 2/3?
True
Let f = -0.82 - -0.67. Let u = f - -0.46. Is u at most -1/4?
False
Let r = 6 - -1. Let k be (r/2)/(-1) + 3. Is k greater than -7?
True
Let d = -19.7 - 21.3. Let w be 1/(-3) + 1/21. Which is smaller: d or w?
d
Suppose -20 = -5*o, -3*h = -0*h + o + 2. Let w be (-4 + 4)/(h + 4). Which is smaller: w or -3/20?
-3/20
Suppose 0 = -2*z - 3*z. Let j(b) = b**2 - 6*b - 16. Let l be j(8). Suppose h + 7 = -5*t, z = -l*t + t - h + 5. Which is bigger: -3 or t?
t
Let g be (-2)/(-3) - (-112)/(-6). Suppose -31*a = -3*n - 36*a - 47, 0 = -2*n + 3*a - 44. Is g smaller than n?
False
Let u = -1435 - -1434.8. Which is bigger: u or 198?
198
Let s be ((-1)/(-145))/(7/35). Which is smaller: s or 23?
s
Let y(u) = 3*u - 22. Let g be y(5). Are g and -23 nonequal?
True
Let a = 785.13 + -781. Is -1 not equal to a?
True
Let x = 8 + -3. Suppose 0 = -5*v - 5*s + 8 + 22, -s = x*v - 30. Let g be (-7 + v)*0/(-1). Which is smaller: g or 7/5?
g
Let v = -0.056 + 3.106. Let m = -3 + v. Let i be 6/4*(-2)/3. Which is smaller: m or i?
i
Let u = -104 + 104. Which is bigger: u or 3/28?
3/28
Let y = 5.2 - -60.8. Let r = y + -64. Which is smaller: r or -0.5?
-0.5
Let o = 471 - 41. Does o = 1/4?
False
Let v be 12/(-8) + 311/210. Suppose 0 = -148*a + 140*a. Which is greater: v or a?
a
Let z = 14.94 - 15. Let a = -11 + 6. Let s be (-2 - 0)/((-25)/a). Is s greater than or equal to z?
False
Let j be (-7596)/(-33) + (-3 - -2)*2. Let q = 228 - j. Let f be (0 - (-1 + 1))*-1. Which is bigger: q or f?
f
Let z = 1109 + -1023. Which is bigger: 85 or z?
z
Let f be 17/((-459)/36)*906/4. Which is smaller: -301 or f?
f
Let j = 10/27 + -214/1161. Is j smaller than 1/2?
True
Let g = -547/35 - -52/7. Is g at least -8?
False
Suppose -3*s - 11 = 19. Let w be 8/s*(10 - 5). Let l be 27/(-5)*w/(-12). Are -3 and l non-equal?
True
Suppose -136 = -4*q + 4*r, -r - 4*r = 0. Let v = q + 22. Suppose -2*l - 3*w + 29 = 0, 5*l = -w - w + v. Is l less than 10?
False
Let z = 0.13 - 0.23. Let o = -37.9 + 37. Which is smaller: z or o?
o
Let q be (-64)/66*(-7)/(714/(-54)). Let x = -1/17 - q. Which is bigger: x or -1?
x
Let z = -1151 - -1104. Is -29 equal to z?
False
Let p(d) = -2*d**2 + d - 2*d**3 - 87 + 3*d**3 + 84 + 4*d**2. Let a be p(-2). Is a bigger than -5?
False
Let w be -5 - (-5)/((-20)/(-28)). Suppose 10 + 36 = -w*t. Which is bigger: -27 or t?
t
Let m = -52/11 + 4190/891. Which is smaller: 0 or m?
m
Let q = 401 + -401. Is -16.3 less than q?
True
Let k be 16 - (-7 - -4) - 5. Let l(c) = -c + 15. Let v be l(k). Is v at least as big as 10/11?
True
Let u = -366.08 - -366. Which is bigger: u or 4?
4
Let u = 13/116 + 4/29. Suppose -5*y = -5, -3*y = -5*a + y + 16. Suppose -a*n - 56 = -2*k - 3*k, -3*k + 40 = 4*n. Which is greater: u or k?
k
Let f = -36.213 + -0.787. Is -2/9 at most as big as f?
False
Suppose 3*u + u = 28. Let v = u - 2. Let p be 2/4 - 7/10. Which is bigger: p or v?
v
Let l = -31/3 - -29/3. Which is smaller: l or 24?
l
Let f be 1 + -9 + (1 - 1). Let x = -151 - -145. Let d = f - x. Is d at least -3?
True
Let s = 0.043 - 0.051. Let y = s - 0.992. Suppose -2 = -2*x - 0*x. Is y bigger than x?
False
Let j = 13 - 3. Let b = j + -7. Let l = 227 - 224. Do b and l have different values?
False
Let w = -1895 + 1903.89. Let m = w - -0.11. Is m greater than 2?
True
Let r be -3 - ((-459)/(-6))/(5/30). Is r at most as big as -462?
True
Let p = 0.347 - 0.147. Which is bigger: 4/9 or p?
4/9
Let q = 5.1 + -8. Let k = q - -1.9. Is k > -0.6?
False
Let h = 151/286 - 15/22. Suppose -2*a - b + 26 = -3*b, -7 = -3*a - 5*b. Suppose 8*n = a*n. Are n and h unequal?
True
Let c be (-2)/(-9) + (-141)/27. Is c bigger than 2/33?
False
Suppose 23*g - 2095 = 90. Is g at least 94?
True
Let o = 1471 - 1470. Which is greater: o or 36/23?
36/23
Let p be (-9672)/(-15) - 4/(-20). Let o be 1002/p - 2 - 8/(-20). Which is smaller: o or -1?
-1
Let o = 15.1 + -3.1. Let d = 12.02 - o. Let t = 1.9 + -1.7. Is t greater than d?
True
Let y be 3 + (3 - 3 - 2). Suppose 5*d + 6 = y. Suppose 3*p + 7*p = 12*p. Which is greater: p or d?
p
Suppose -19*y + 165 = -4*y. Which is greater: 13 or y?
13
Let x(h) = -h**3 + 4*h**2 + 2*h - 1. Let c be x(5). Let u be ((-56 - -24)*(-2)/4)/1. Let j = u + c. Which is smaller: 4/7 or j?
j
Suppose l + 3*j - 14 = 0, -3*j + j + 5 = 5*l. Suppose -3*b + 0*x = -2*x - 73, 3*b + 2*x - 89 = 0. Which is smaller: b or l?
l
Let y = -473/6 - -271969/3450. Which is smaller: y or -1?
-1
Suppose 0 = 5*t - 2*s - s - 31, -33 = -5*t + 4*s. Suppose t*g + 18 = 2*m + g, 3*m + 5*g + 17 = 0. Let z = 15977/25 + -639. Which is smaller: z or m?
z
Let p(s) be the first derivative of s**3/3 - s - 3. Let h be p(3). Let i be 2/7 - (-141)/21. Are i and h non-equal?
True
Let d be (63/(-6))/(9/(-492)). Let a be d/(-1155) - (-4)/30. Let w = a + -10/33. Which is smaller: w or 1/9?
w
Let g = 0.167 + -5.167. Let d = -4/27 - 5/27. Is d at least g?
True
Suppose 7*n - 5*h = 5*n - 99, 3*n = 3*h - 153. Let v be 414/(-8) - 4/16. Is v smaller than n?
False
Let c = -764/57339 - 3/277. Do c and -1 have the same value?
False
Let k = 29 + -28. Let b be 1*(k + -3)*-3. Suppose b = -2*q + y, 2*q - 18 = -0*q - 5*y. Is q != -1?
False
Let i = -10 + 6. Let s = -6508/5 - -1297. Which is bigger: i or s?
i
Let y be -5 + 3 + (-1510)/(-770). Suppose q + 3 = -2*m - 0, 5*m + 13 = 3*q. Which is bigger: q or y?
q
Let w be 7/210*-5 - 2/4. Which is smaller: 6/107 or w?
w
Suppose m - 4*j = 703, -j = -0*m - 3*m + 2131. Which is bigger: m or 712?
712
Suppose -y + 2*i = 0, -3*y - i = -0*i. Suppose -4*a - 42 = 5*w - y*a, -24 = 5*w - 2*a. Let q(f) = -2*f**3 - 39*f**2 + 20*f - 8. Let g be q(-20). Does w = g?
False
Let y(x) = -3*x - 1. Let r(l) = l. Let o = 31 - 29. Let b(i) = o*y(i) + 7*r(i). Let s be b(3). Which is bigger: s or 5/9?
s
Let u = 1060/3 + -353. Is u > -1.71?
True
Suppose 7 = -4*s + s + q, 2*s - q = -6. Let l be (-1)/((-11)/10 - s). Which is smaller: 8 or l?
8
Let d = 255 + -251. Which is smaller: 0.006 or d?
0.006
Let x be 1/((4/(-8))/(-6 + 1)). Suppose 3*l - 2*t + 23 = 3*t, -2*t = -2*l - x. Let a = 7 - 4. Is l <= a?
True
Let q be ((-132)/(-9) - 15) + (1 - 0). Let k = -38 + 55. Which is smaller: q or k?
q
Let z = -2 + 8. Suppose 3*i - 2*j = 22, i = -j + z - 2. Suppose -i*s = -s. Which is smaller: s or 2/19?
s
Suppose -2*g + 5*d = -6*g - 2, 4*g + 4*d = 0. Suppose -g*n - 30 = 8. Do -19 and n have the same value?
True
Suppose 0 = -24*s + 9*s. Let p be 0/(-1) - (-1 + -4). Suppose 3*q - 8 = m - 0*m, -m = p*q - 8. Is m at least as big as s?
False
Let j = -0.0372 + -26.8628. Let f = -24 - j. Let b = f - 3. Which is smaller: 1/2 or b?
b
Let i = 50.2 + -55. Let n = i + 5.8. Does -0.11 = n?
False
Let v(a) be the first derivative of -a**4/4 - 2*a**3 - 5*a**2/2 + a - 1. Let u be v(-5). Suppose 13*w - 5 = 8*w. Is u at least as big as w?
True
Let h(l) = -l**2 - 5*l. Let n be h(-4). Suppose -n*f = -115 + 19. Which is greater: 23 or f?
f
Let k = 1241513/218 + -5695. Is -1 less than k?
True
Let s = 123 - 112. Let r be (s/(-20))/((-88)/(-16) - 6). Do 1 and r have the same value?
False
Let l = -26727/5 + 5317. Let u be (-368)/15*24/22. Let r