big as c?
False
Suppose 534 + 198 = 6*k. Which is greater: k or 123?
123
Let p be (-1)/(-8)*(-1056)/(-6776). Which is smaller: 0.4 or p?
p
Let d be (3730/105)/((-8)/30). Let h = d - -273/2. Let g = 143/35 - h. Is g not equal to 2?
True
Let g(j) = 7*j + 8. Let v be g(-6). Let f(w) = -w**3 + 46*w**2 - 129*w - 35. Let h be f(43). Which is smaller: v or h?
h
Suppose 3*w = 5*u - 2*u + 216, -3*w + 215 = -4*u. Suppose 4*r - w = 15. Let y be r/55 + 13/5. Is y >= 5?
False
Let b be (-96)/(-10) - -5 - -5. Is 2 bigger than b?
False
Let n = -5.8 - -28.8. Let p = n - 25. Let v = 6 + 3. Is p < v?
True
Let u = 10 + -89. Let l = u + 79. Which is smaller: l or -4/15?
-4/15
Let f(b) = -b**3 + 4*b**2 - 5*b + 7. Let l be f(3). Suppose 0 = 10*c + 9 + l. Are -1/6 and c unequal?
True
Let d(b) = b**3 + 5*b**2 - 7*b - 5. Let j be d(-6). Let n = 6 + -13. Let f(s) = s**2 + 7*s - 8. Let u be f(n). Do u and j have the same value?
False
Let r = 200 - 286. Suppose 6*l + 31*l + 2975 = 2*l. Is r at least as big as l?
False
Let y = 925467/38360 - 4/4795. Let b = y + -24. Are -1/4 and b nonequal?
True
Let y be (10 + -10)*(-2)/(-6). Let h be 8/6*(-6)/(-4). Suppose 0 = -h*m - 4*m. Are m and y unequal?
False
Let b = 359 - 356. Let r = -586 + 3533/6. Let n = r - 7/2. Is b != n?
True
Let z be (24/(-36))/(4/(-118)). Which is smaller: 21 or z?
z
Suppose 2*j + 3*o - 15 = -2*j, -5*j = 5*o - 25. Suppose 5*b + 0*b = j. Let t = 128/735 - 2/49. Which is smaller: t or b?
b
Suppose -119*c + 113*c = -1044. Is c > 2?
True
Let p = 116 - 116.1. Which is greater: -179 or p?
p
Let h(a) = 4 - 1 + a + 15*a**2 - 16*a**2. Let j be h(3). Let y be j + 5 - (-3 + 5). Which is bigger: -3/10 or y?
y
Let p = -810 + 794. Which is smaller: -1.9 or p?
p
Suppose 2*q - 10 = -0*q - 4*t, -3*t = -3*q - 3. Suppose 4*m - 8 = -4*l, -l + m - 1 - q = 0. Suppose 2*a = 0, a + 12 = 4*k + 2*a. Which is bigger: l or k?
k
Let p = -204 - -126. Let m = 81 + p. Do m and -1/3 have the same value?
False
Let c = 0.0215 + -313.0215. Which is smaller: c or -1/2?
c
Suppose -27*w + 32*w = 4135. Suppose -9*s - w = 28. Which is greater: -96 or s?
s
Let t = -369 + 11807/32. Is 0 greater than t?
True
Let w = -296 + 297. Is w less than -6/127?
False
Suppose -2*t - 2*m + 16 = -m, t + 4*m = 8. Let l be t/6*(-21)/14. Which is smaller: l or -1/2?
l
Let c be 10/27*6/5. Suppose 3*i = -0*i + 6. Let o be 252/(-105) - i*-1. Which is smaller: o or c?
o
Suppose -w + 6 = -0*w + 3*g, 6 = -3*g. Suppose 11 - 44 = -3*r. Which is smaller: w or r?
r
Let o be (-868)/18 + 4/18. Let l = 1487/31 + o. Let n = l - 26/155. Which is smaller: 0 or n?
n
Let v = 17 + -41. Let a be (-8)/v + 1/15. Which is greater: 1 or a?
1
Let b = 0.6 + -3. Let j = 2.5 + b. Which is smaller: 1 or j?
j
Let y = -27 + 140. Which is smaller: 111 or y?
111
Let x = 2 + 0. Let l be x*1 - (-1)/(-1). Let h = 0.942 + -1.042. Which is smaller: h or l?
h
Let m = -8 + 18. Let r(g) = 75 + 2*g - 88 + 4*g. Let j be r(4). Which is bigger: m or j?
j
Let p be ((2 + -4)/((-16)/(-72)))/(-3). Which is greater: -6 or p?
p
Suppose -2*a - o + 23 = -27, 0 = 2*a - 3*o - 42. Let f = -12 + a. Is 11 smaller than f?
True
Let f = 121 + -120. Which is bigger: f or -4/9?
f
Let u = 18.52 + -19.02. Let m = 0.6 - 1. Which is greater: u or m?
m
Let l = -4708/3 + 3950009/2517. Let r = -565499/10907 - l. Let m = r - -52. Which is greater: 0.1 or m?
m
Let i be (570/(-304))/(1/(-8)). Is i greater than or equal to 17?
False
Let x(g) = 2*g**2 - 2*g + 5. Let f be x(-4). Suppose 3*z + m = -1 + f, -10 = -5*m. Is -0.2 < z?
True
Let c = -47 - -72. Let i = c + -48. Do i and -22 have different values?
True
Let s = 11 + -9. Let d = s + -13. Let v = d + 11.1. Which is greater: v or -1?
v
Let s = 4167/14 + -611/2. Which is greater: -1 or s?
-1
Let m = -392.8 + 393. Suppose 2*n - 4*n = -2. Are m and n equal?
False
Let q = 239/20 + -145/12. Which is smaller: 18/5 or q?
q
Let a = 20 + -18.9. Let n = a - 1.1. Let v = n + 3. Is -5 != v?
True
Let v = -871.75 - -778. Let i = -1.25 + v. Is i at most 0?
True
Let t = 601 - 600. Which is greater: t or -0.0241?
t
Suppose 4*r + 3 = 3*r. Let c(q) = -q**3 - q**2 + 3*q - 4. Let j be c(r). Suppose 0*h + 27 = 2*h + 5*z, -2*z = 4*h - 30. Is j greater than h?
False
Let v(f) = f**3 - 10*f**2 - 121. Let z be v(11). Which is smaller: 6/67 or z?
z
Suppose -2*c = -0*c - 16. Let l = 9 - c. Let r be (-1)/(l/(-3)*-3). Which is greater: r or -4/5?
-4/5
Let c = 328 - 329. Which is bigger: -3/127 or c?
-3/127
Suppose -46 = -m + 54. Suppose -5*i = -i - m. Which is smaller: 47/2 or i?
47/2
Let c(q) = q**3 - 11*q**2 + q + 4. Let l be c(11). Is 10 equal to l?
False
Let k = 43 + -51.7. Let i = k + -2.3. Let v = -1 - -1.1. Is v less than i?
False
Let o be 6/7 + 1506/(-42). Which is smaller: o or 0?
o
Let o = -2431.9 + 2432. Is o smaller than -1320?
False
Let r be (-2)/((-8)/708) + (-144)/24. Is r <= 167?
False
Let i(g) = -56*g + 1352. Let d be i(35). Which is greater: d or -607?
-607
Let r = 1 - 5. Let o be ((-2)/r)/((-2)/16). Let a be o/30 - (5 + -5). Is a < -0.1?
True
Let u = 0.4 - -1.9. Let g be -1 - (88/(-90) + (-34)/153). Which is smaller: g or u?
g
Let j be 2*5*(-2)/4. Let d = 1 + j. Let r be (-68)/8 + (-3 - -5 - -2). Is d at least r?
True
Let m be 16/(-168) - 2/(-21). Suppose -6*h = -5*h - 5. Suppose i + h*b = 0, m*b = 4*i + 5*b. Is i less than 1/29?
True
Let x = 93 - 95. Let l = 29/3 - 12. Which is bigger: x or l?
x
Let g = -13 + 6. Let h = -3 - g. Let x = -4 + h. Is x greater than 6?
False
Suppose -5*i = -2*i - 5*u, 3*i = -u. Which is bigger: i or 17/21?
17/21
Let q = -56.5 + 86. Let t = -29 + q. Which is greater: t or 0.3?
t
Suppose -3*b + 3 = -2*b. Let i = 0 - -28. Let m be ((-24)/i)/((-16)/28). Which is greater: b or m?
b
Suppose 5*h = 5*f - 345 + 40, h + 59 = -f. Let r = h - -57. Let c = -4 + 0. Is c less than or equal to r?
True
Let y(q) = q**3 + 13*q**2 - q - 9. Let c be y(-13). Suppose w + 0*w - 1 = -f, 2*w = c*f + 8. Which is greater: 2/7 or f?
2/7
Let r = -3 + 2. Let h = 0.866 + -0.746. Which is smaller: h or r?
r
Let a be 12/18 + (-100)/(-3). Is a > -2?
True
Suppose 4*a - a = 2*a. Suppose a*m = 12*m - 864. Is 72 bigger than m?
False
Suppose 6*r + 2328 = 2310. Is r != 156?
True
Let v be (-265)/(2 - (11 - 4)). Is v bigger than 53?
False
Let i be 2/(-4) + -1 + 1. Let z = 9 - 105. Let g = -96 - z. Which is bigger: i or g?
g
Let o = 1.8 - 0.6. Let q = -1.32 + o. Is q greater than or equal to -2/7?
True
Let q = 21 + -64/3. Let o be (6/10)/(23/2 - 4). Is o greater than q?
True
Let d = -10 - 4. Let h be (-63)/15 + 4 - (-637)/(-65). Which is greater: d or h?
h
Let p = -2.1 - -13.1. Let y = -11.05 + p. Let b = y + 0.05. Which is smaller: b or 0.03?
b
Let k = -845 + 864. Is k not equal to 19?
False
Let t = -11 - 9. Let n be (18/15)/(6/t). Let c = -1 + n. Is 1 at least as big as c?
True
Let b = 1049 + -1053. Let n(f) = -3*f - 4. Let x(j) = -4*j - 5. Let p(q) = -3*n(q) + 2*x(q). Let g be p(b). Which is greater: g or -3?
g
Let m = 48.2 - 48. Let k = m - 0.2. Which is smaller: -0.01 or k?
-0.01
Let b(w) = 55*w**2 - w. Let z be b(-1). Let r be (-8)/10 + z/70. Which is smaller: r or -2/9?
-2/9
Let o = -52 + 48. Let l(a) = a**2 + 5*a - 1. Let m be l(-6). Let d = o + m. Is -2 less than d?
True
Let p = 70.46 + -71. Let d = p + 0.84. Let u = -4 + 1. Is d <= u?
False
Let g = 0 + 0. Let j = g + -1. Let c = -1063 + 1064. Is j at least c?
False
Let g be 1 - (-1)/((-1)/2). Let w be (-55)/10 - ((-2)/4 - g). Is w != -11/2?
True
Let s = 0.224 + 46.776. Is s equal to 7?
False
Let k = 334.6 + -323. Which is bigger: k or -0.06?
k
Let m = -246/19 + 4302/209. Is 8 less than or equal to m?
False
Suppose 0 = -560*s + 546*s - 7714. Which is greater: -1101/2 or s?
-1101/2
Let i(a) = -a**3 - 3*a**2 + 19*a + 21. Let m be i(-6). Suppose -3 + 8 = -3*z + c, 0 = -2*z + 3*c - m. Which is smaller: z or 9/16?
z
Let t be 29/(261/(-234)) + 0. Is 8 at least t?
True
Suppose -29 = -2*r + 13. Let w = 99/97 - -13372/679. Let h = w - r. Which is smaller: h or -2?
-2
Let y(s) = 4*s + 153. Let r be y(-30). Let x(f) = 34*f**2 + 3*f + 2. Let m be x(-1). Are m and r equal?
True
Suppose 3*z - 5*l + 15 = 41, -5*z + 5*l = -50. Let h be 2 + (-1)/3*90/z. Are -0.02 and h equal?
False
Let q = -71 + 60. Let k = 11.1 + q. Let l be (-30)/56 + (-4)/(-14). Is l at most k?
Tr