27?
-527
Let g = -19 - -39. Let m = g - 18.2. Let h = 1.9 - m. Is -7 smaller than h?
True
Let k(v) = 142*v - 637. Let j be k(5). Is 74 greater than or equal to j?
True
Suppose -y - 16 = 11. Let o = -20 - y. Which is bigger: 8 or o?
8
Let d = -66302/19 + 3488. Is -2 bigger than d?
False
Let t be 0 + (-3)/(-9) + 0. Suppose 5*b = -4*m + 59, 4*m + 1 = 5. Suppose 9*q - b*q = -2. Is q < t?
False
Let m(u) = 2*u**3 + 7*u**2 + 14*u + 2. Let i be m(-3). Is -29 at least as big as i?
True
Suppose 0 = -3*y + 2*y + 28. Suppose y*d - 25*d = -39. Which is smaller: d or -11?
d
Let b(w) = -3*w + 16. Let z be b(-6). Suppose 2*o = 136 - z. Which is smaller: 52 or o?
o
Suppose -a - 12 + 9 = 0. Let h be 3/19*(-2)/a. Does -1 = h?
False
Let p = -59 - -127. Is p less than 73?
True
Let r = 30 + -12. Let w = r - 20.1. Which is greater: 0 or w?
0
Suppose -33*c - 14 = -40*c. Let v be 66/18*((-25)/(-14) - c). Is v <= -1?
False
Suppose -90 = f - 4*f. Suppose 0 = -5*s + 10*s - f. Let u be s*-1*(-4)/(-6). Which is smaller: u or -5?
-5
Let t = -207592211/5169 + 40161. Which is smaller: t or 0?
t
Let d = -2639 - -2976. Which is bigger: 338 or d?
338
Let g be ((-4)/8072*2)/(10/20). Is g smaller than 1?
True
Let y = -106.2 + 71. Let f = 8.8 - y. Which is smaller: f or -1?
-1
Let v be 1249/(-7) + 6/14. Is v less than -0.2?
True
Let q = 10 + 8. Let l = 20 - q. Suppose 5*x + 12 = -3, -2*t - 2*x - l = 0. Which is bigger: t or -6?
t
Let m = -7 + 5. Let a be (m/(-12))/(6/(-4)). Suppose -19*p + 16 + 3 = 0. Which is greater: p or a?
p
Let f be 19*1/4*64/48. Let c = 15 - 9. Is c at most as big as f?
True
Suppose 3*b + 4*w + 0 - 3 = 0, 4*b - 4 = -4*w. Let t be 12/(-10) + (-18)/(-84)*14. Which is bigger: t or b?
t
Let g = 309230137/108 - 2863830. Let h = -588 - g. Which is smaller: 1 or h?
h
Suppose 5 = 5*m - 20. Let s be 108/(-5) + (-2)/m. Let k = s - -9. Which is smaller: -12 or k?
k
Suppose -2*b = -11*b - 9. Is -8/65 < b?
False
Let r be ((-5916)/(-425))/((-3)/10). Which is bigger: r or -46?
-46
Let q = -400 + 446. Let j = 1.74 - -75.26. Let l = q - j. Which is bigger: 0 or l?
0
Let v = -100 + 38. Let y = -87 - v. Which is smaller: y or 2?
y
Suppose 5 = 2*q - 5*i - 18, 7 = 3*q - 2*i. Let j be 3749/6520 + 1/(-5). Which is smaller: j or q?
q
Suppose -3*u + 45 = 9. Let f be (-1 - 4) + 2 + u*2. Is 21 less than or equal to f?
True
Let o = -29.995 - 0.005. Let n = o - -30.1. Is -5 greater than n?
False
Suppose 0 = -71*j + 72*j + 10. Suppose -16 = 2*n - 6*n. Suppose -7 = -n*z - 47. Is j greater than z?
False
Let z be 152/(-114) - 10/(-12). Is z < -11.5?
False
Let r be 3846866/(0 - 3/(-3)). Let b = -7132088731/1854 + r. Let d = -1/206 + b. Is d equal to 1?
False
Let c = -0.04 - -0.18. Let q = c + -0.04. Let k = -7 + 12. Do q and k have the same value?
False
Let h be 50/(-154) - (-2)/11. Suppose 13 = -3*y - 2. Let x be (1*(-2 - y))/3. Is x not equal to h?
True
Let o = 2.778 + 0.222. Which is smaller: o or 11?
o
Let w be (-1176)/36 - ((-5)/3 + 2). Let i = 44 + w. Which is bigger: 10 or i?
i
Suppose 0 = -4*v - 5*q - 0*q + 11, 12 = 4*q. Suppose -5*g + 2 + 18 = 0. Let b be (2/g)/(462/84). Is b less than or equal to v?
False
Let i = 3722 - 3728. Suppose 0*q = 5*q - l - 13, 4*q - 2*l - 14 = 0. Suppose -10 = -3*a - q*a. Which is smaller: i or a?
i
Let z = -7 + 9.1. Let s = 3.7 - z. Let f = 1.4 - s. Is -0.05 greater than or equal to f?
True
Let u = 11/19 + -131/95. Let d = -4 + 3. Let z be (0 - 0)/(d + -1). Are z and u non-equal?
True
Let d(f) = 8*f - 11. Let o be d(8). Suppose 4*q + l - o = 0, l - 4 = 1. Suppose 0 = -5*j - 2 + q. Which is greater: 5 or j?
5
Let j = 2 + -2.5. Let a = -548 - -547.96. Is a >= j?
True
Let u(v) = v**3 - 5*v**2 - 2*v + 6. Let p be u(-4). Let m be 20/p - (-1 - 72/(-39)). Which is smaller: -3 or m?
-3
Let b = -397.9 - -398. Is b > 757?
False
Suppose -22*r = -26*r + 52. Let a(i) = i**2 - 12*i - 13. Let s be a(r). Let c be (-9)/10*(-2)/(-6). Does c = s?
False
Let x(b) = b**3 - b**2 + 5*b - 12. Let p be x(4). Is 57 < p?
False
Let r(t) = t**3 - 8*t**2 + 7*t - 1. Let q be r(7). Let l(y) = 4*y**3 + 3*y**3 - 6*y**3 - y**2. Let j be l(q). Which is smaller: j or 0?
j
Let l be 2/(((-6)/(-69))/(-1)). Let f = l + 40. Let d = 1916 + -1900. Is f > d?
True
Let o = -43774/11 - -3984. Which is smaller: o or 4?
4
Let h be 0/2 - 0/(-3). Let i be h/(-4) + (-1)/(-31). Suppose 13 = 21*u - 34*u. Which is greater: u or i?
i
Let j = 0.02 + 0.04. Let x = j - 0.06. Which is greater: 1/6 or x?
1/6
Let q = -17 + 16. Let r be 24 - -4*1/(-2). Is q not equal to r?
True
Let q be (0 + -1)*(-5 - -3). Suppose -s - 1 = -q. Suppose 0*g = -5*x - 5*g - 15, -x - 2*g = s. Which is smaller: x or -4?
x
Suppose 0 = 4*z - 4, 2*z + 3*z - 9 = -2*p. Suppose -2*v = -3*v + p. Suppose 0 = -3*m - v*m. Which is smaller: 2/33 or m?
m
Let g be 10 - 13/((-13)/(-2)). Which is smaller: 4 or g?
4
Let l be (1 + -4)/(12/8). Let t be (18/(-915))/(l/10). Which is smaller: -1 or t?
-1
Let r be ((-11)/(-2) - 6)*8. Do 34 and r have the same value?
False
Suppose 5*y = 3*y - 4. Let f = -88 - -434/5. Which is greater: y or f?
f
Let b be (-16)/16 - (0 + 79/(-11)). Which is bigger: b or 7?
7
Suppose 0 = 2*w + 93 - 93. Is 1/67 < w?
False
Let f = -2423/7 - -345. Let u(l) = -l**3 - 13*l**2 - 12*l. Let o be u(-12). Does o = f?
False
Let a be (-8)/(-2) - 1016/272. Is 1 less than a?
False
Let m = -9 - -6. Let p(c) = c - 4. Let f be p(-11). Let w be 1 + 78/f - -4. Which is greater: w or m?
w
Let i be (-6286)/56*2/(-918). Let o = 1/108 - i. Is 1 smaller than o?
False
Let f = 131 + -268. Let h = f + 136. Is -2/97 != h?
True
Let t = -14 - -6. Let o = 15 + t. Suppose 5*l + 8 = -o. Which is greater: l or -2?
-2
Suppose -7*a + 9*a = -4*b + 6, 5*b + 4*a - 12 = 0. Let h = 1 - 3. Let i be h*((-2)/26 - 0). Are i and b non-equal?
True
Let i = -2019716/305 + 6622. Do 0 and i have different values?
True
Let k = -1/30 + 3/40. Suppose 10*y = 5*y - 130. Let h = 27 + y. Which is greater: h or k?
h
Let l = 12 + -14. Let h be (-105)/(-56) + l/(-16). Are 0 and h unequal?
True
Suppose 10 = -2*g + 16. Suppose 2*i = n + 2*n - 12, -8 = -2*n + 3*i. Suppose g*b - n*w - 4 - 1 = 0, -10 = 2*w. Is -7 at least as big as b?
False
Let d = 1054 - 1055.894. Let a = -0.106 + d. Which is bigger: 1.7 or a?
1.7
Let g be (198/(-297))/((-8)/122). Which is greater: 9 or g?
g
Let g = -14.89 + 15.6. Let p = 40.29 + g. Is p >= 0?
True
Suppose -d - 5*d = 42. Suppose -5*w + 7*m + 119 = 3*m, 2*m = 5*w - 127. Let o be w/(-4) + (-1)/4. Do d and o have the same value?
True
Let j = -49 + 44. Let x = 72.3 - 72. Is x < j?
False
Let v = -162 + 174. Is 2 smaller than v?
True
Suppose 2*g - 3*g = -89. Let t = g + -443/5. Suppose -3*k + 0*k = 3. Does t = k?
False
Suppose 6*p - 21 = 5*p. Let i be 3 - (-496)/(-28) - 6/p. Suppose 0 = 3*o + 5*l + 32, 5*l + 1 = 11. Is o less than i?
False
Let s = 140 + -141. Which is smaller: 2/845 or s?
s
Let b = 0.06 - 0.46. Let z = 735 - 734.99. Is b < z?
True
Suppose 2*u - 55 = -0*h - h, 0 = -3*h + 5*u + 121. Let d = 11629/6 + -3783/2. Let g = d - h. Which is greater: -1 or g?
g
Suppose 437 = 6*w + 59. Let j = -14 - w. Which is smaller: -78 or j?
-78
Let t(x) = -x**3 + 5*x**2 + x. Let l be t(5). Suppose 0 = 5*p + 3*r + 29, -3*p = 2*r + l + 12. Suppose 3*b + 6 = b - 2*a, -4*a + 36 = -4*b. Does p = b?
False
Let x = 26 + -24. Suppose -3*g - 16 = x. Let a be 4/(-6) + 11/g. Which is smaller: -2 or a?
a
Let r be 88 + -3 + (1 - 1). Let x be (-4)/34 + 180/r. Is x greater than -1?
True
Let m be -1 + (-246)/(-224) - (-24)/(-84). Suppose -4*y + 16 = -w, -3*y - 1 = 2*w - 13. Do m and w have different values?
True
Let t = -0.01 - -6.01. Let r = -5.9 + t. Let g = -1 + 1.3. Is g < r?
False
Let d be (-8)/(1/1) - (5 + -7). Let b be (-4)/d*(-558)/12. Do -31 and b have different values?
False
Suppose -5*k - 4*z = 37, 2*k + 44 = -2*k + 4*z. Let v be ((-9)/k)/((-1)/3). Is v at most as big as -3?
True
Let k = -99 - -69. Suppose 7*r - 14 = -35. Let x be r/(0 - k)*-2. Are -1 and x non-equal?
True
Let x be 6 - (-7)/((-252)/282). Let t = -3 - 0. Is x at least as big as t?
True
Let h(o) = -o**2 + 20*o + 95. Let k be h(24). Let c = 6 + -45. Let j be 4/c*15/10. Are k and j non-equal?
True
Let p be (0 - 1) + -2*1. Let a(o) = o**3 - 15*o**2 - 17*o + 12. Let l be ((-15)/10 + 0)/(6/(-64)). Let n be a(l). Whic