.27 + 0.3. Are i and -0.4 equal?
False
Let h = 60727745 + -130625396198/2151. Let a = h + -3/239. Which is greater: -9 or a?
a
Let t be 3 - (4/6)/((-4)/372). Suppose 3*b + t = 2*m, -2*b - 52 = -0*m + 3*m. Which is smaller: -20 or b?
b
Suppose 3*d - 184 = -5*r, 2*r + d - 143 = -2*r. Suppose 0 = 4*a + r - 235. Let s be a/(-16) + -2 + 5. Is -1 bigger than s?
False
Let i = 18 - 39. Let w = 30 + i. Let y = w - 9. Which is smaller: y or 21?
y
Suppose 2*j + 4*j - 270 = 0. Let m be -2 - ((-576)/j)/((-98)/(-15)). Which is smaller: 1 or m?
m
Let x(t) = -t**3 - 5*t**2 - 5*t - 3. Let y be 1*((-4 - -2) + -2). Let h be x(y). Let s be (54/((-6)/2))/h. Is s <= -18?
True
Suppose -38*g - 972 = -29*g. Which is smaller: -110 or g?
-110
Let o = -0.3016 - 17.6284. Let y = 0.07 - o. Let v = 17.8 - y. Are v and -3 non-equal?
True
Suppose -13*a + 172 = -218. Is 27 < a?
True
Let c = -995.06 - -986. Let z = c + 0.06. Let y = -9.3 - z. Is -0.3 smaller than y?
False
Let y = 56 + -37. Which is smaller: 20 or y?
y
Suppose y - 4*i + 2 + 5 = 0, 4 = i. Let a = y - 15. Let b be (-2)/6 + 10/a. Are b and -7/4 nonequal?
True
Suppose 0 = 10*m - 9 - 1. Let k be 6/(-33) - (m - 68/11). Does k = 11/2?
False
Suppose 2*y - 12 = 5*y. Let j(a) = 11*a - 2. Let p be j(y). Let d be 2/(-5) - p/(-10). Is -5 bigger than d?
False
Let k = 263.603 - 0.603. Is 1 equal to k?
False
Let w = -2996 + 38946/13. Suppose 3*k = 4*z - 2, -z - 5 = 2*z + k. Which is smaller: w or z?
z
Let q = -56 + 31.9. Let a = q - -24. Let d = a - -2.1. Which is smaller: 2/11 or d?
2/11
Let i = 3 - 8. Let b = 1 - 1. Suppose 3*d + 18 = -3*t, 2*d + b*t + 5*t = -15. Is i greater than or equal to d?
True
Let z = -2 + 6. Let f(l) = -6*l**3 - 165*l**2 - 83*l - 50. Let s be f(-27). Is s < z?
False
Suppose 3*o + 32 = -11*t + 6*t, 3*t + 30 = -3*o. Is 1 > o?
True
Let v(b) = b**3 - 34*b**2 + 156*b - 66. Let l be v(28). Which is greater: -399 or l?
-399
Suppose -5*j + 5*t = -0*j - 20, 4*j = 2*t + 6. Let k be 72/80*(-15)/36. Which is smaller: k or j?
j
Let c = -1 + 0. Let s = 186/13 + -1276/91. Is s >= c?
True
Let u = -627 + 2092/3. Let n = u + -71. Is n equal to -0.31?
False
Let d = 136 + -138. Is -2 smaller than d?
False
Let a = -510263/206 - -2477. Which is smaller: -1 or a?
-1
Let h = 475.1 - 475. Is h less than 2/21?
False
Let d be (20/(-8))/(16/(-1412)). Let c = -221 + d. Let v(t) = -2*t**2 + 3*t - 2. Let f be v(1). Which is smaller: f or c?
f
Suppose 2*m = -3*m + 15. Suppose -2*y - 5 = -2*g - 3, 3*y + 4*g = 4. Suppose o - 4 = j, y*j + j - m = 0. Is 7 < o?
False
Let f = 10.71 + 3.29. Let p be (0 + 0)*(-1)/1. Let v be p/(0 - 2*-1). Which is bigger: f or v?
f
Let r(v) = 53*v - 8. Let m be r(-2). Let o = m - -572/5. Let d = -6 - -3. Which is smaller: d or o?
d
Let b = 10 - 14. Let j be (-264)/36*6/b. Suppose -36 = 3*x - 6*x. Which is bigger: j or x?
x
Suppose -z - z - u = -982, -u + 2452 = 5*z. Is z at most 489?
False
Let l = 8478/49 + -173. Is l < 0?
False
Let p(d) = d**2 + 6*d + 7. Let o be p(-3). Let c be (10 + -3)*(o + (-1 - -2)). Which is smaller: -48/7 or c?
c
Let j = -57 + 12. Let p be (-146)/738 + (-10)/j. Which is smaller: p or 0?
0
Suppose 6 + 1 = -t + 2*f, 5*t - 2*f = -43. Let i be 266/63 - ((-11)/t + -1). Is 11 greater than or equal to i?
True
Suppose -2*z + 38 = -x, z = 2*z - 5*x - 28. Suppose 3*g - 8*g = 2*b - 46, 5*b - 82 = 4*g. Are z and b equal?
True
Let t = -1685 + 1904. Which is smaller: t or 214?
214
Let r(h) = h**3 + 27*h**2 - 57*h + 28. Let u be r(-29). Let i = -5/37 - -181/518. Which is smaller: i or u?
u
Let j = 5914/5 + -1187. Suppose -5*o = -2*o - 84. Suppose 3*c = -4*c - o. Which is bigger: j or c?
c
Suppose 2*t + t - 175 = -5*c, -2*t = -5*c + 175. Suppose 0 = 7*o - 2*o - c. Suppose -7 = -5*w + 18. Which is greater: o or w?
o
Let f = 22 - 16. Let d = -26 - -31.8. Let o = f - d. Which is bigger: -0.1 or o?
o
Let o be (-225)/(-30)*24/9. Let r = -0.2 + 0.4. Let l = r + -1.2. Is o >= l?
True
Let t be (-1)/8*2*3. Let a be 0 + 2 + -2 - (-1)/(-3). Which is smaller: a or t?
t
Let g = 4 - 4.08. Let b = 0.02 - g. Which is greater: b or 8?
8
Let l = -1.064 + 0.064. Is 254 greater than l?
True
Let y(m) = 28*m**2 - 2*m - 2. Let n be y(-1). Suppose 5*q - n = -78. Let v be (-5)/q - 33/(-6). Is v != 3?
True
Let g = -169/8 + 149/8. Suppose t + 6 = 6*r - 5*r, -t = -2*r + 8. Which is smaller: g or t?
t
Let w = -4368 + 4367. Let c be (-3)/86*(-4)/3. Which is smaller: w or c?
w
Suppose 0*d + 3*d = 3*m - 15, -m = 4*d + 10. Which is bigger: 20/7 or m?
20/7
Let a = -1.009 - -0.009. Is a != 120?
True
Suppose h = 43*d - 42*d - 392, 0 = -3*h. Is d smaller than 393?
True
Let n(y) = -2*y - 1. Let a be n(-1). Let w be a*((5 - 2) + -1). Let k be (w/(-4))/((-6)/(-24)). Which is greater: -7/6 or k?
-7/6
Let z(g) = -g**2 - g - 3. Suppose i - 3*u + 0*u - 11 = 0, -3*i - 3*u = 27. Let c be z(i). Suppose 6*j = j + 15, -36 = 3*t + 4*j. Is c less than or equal to t?
False
Let p be (3/(-24))/1 + (-12)/160. Which is greater: 12/5 or p?
12/5
Let o = 2381/34 + -70. Let x(a) be the first derivative of a**3/3 - 2*a**2 + 4*a - 6. Let f be x(2). Which is smaller: o or f?
f
Let z(f) = -f**3 - f**2 - f - 6. Let p(n) = -n**3 - n**2 - 5. Let a(d) = 6*p(d) - 5*z(d). Let q be a(-3). Suppose -v + 4 - 1 = 0. Is q >= v?
True
Let c = 161 - 228. Let y = -68 - c. Is y at most as big as -1/4?
True
Let z be 522/15 + 12 + (-8)/10. Is 1/11 at least z?
False
Let p = -66 - -146. Let f be (p/12)/2*(-6)/14. Which is smaller: f or -1?
f
Suppose 0 = f - 2*b - 11, 3*f + 0*b - 2*b - 21 = 0. Suppose h - 14 = -4*s, -5 + 25 = f*h - 5*s. Let a = -9 + 15. Is h at least a?
True
Suppose 0 = 7*j + 834 - 834. Is -6/11 bigger than j?
False
Let y = -29 - -14. Let o be y/12 - (-2)/8. Let p be (14/(-4) - -2)/(84/112). Which is smaller: p or o?
p
Let m(k) = -5*k + 62. Let n be m(8). Is 27 less than or equal to n?
False
Let b = 0.008 - 0.008. Let v = -3.1 - -1.3. Which is smaller: v or b?
v
Let m be (-25)/15*(-5 - -2). Suppose -8 - 2 = m*z. Is -3 at least z?
False
Let p(g) = 2*g**3 + 2*g - 1. Let i be p(1). Let w be (3 - 15)*(-1)/i. Let b = -2 + w. Which is smaller: 3 or b?
b
Let x be ((-8)/10)/2*(-90)/(-9). Suppose 0 = 4*b - b. Let r be (b - -5) + (-1 - 2). Which is bigger: r or x?
r
Suppose 183*x + 1410 = 168*x. Is x > -3?
False
Suppose -b - 3 = -4*b. Let v = -2689107/235 - -11443. Which is greater: b or v?
b
Let s = 406.5 + -411. Is 0.1 at most s?
False
Let j = 973 + -451. Let l be (-1)/3 - j/(-1404). Which is greater: l or -1?
l
Let k = 850 + -850. Is -1/12 equal to k?
False
Let o = 62.4 - -4.6. Let b = o - 66. Is b at least as big as -1/5?
True
Let c be 1/(-1 + -3 + 2 - -1). Let h(f) = 5*f + 3. Let r be h(c). Let d = -2 + -2. Is d less than or equal to r?
True
Let o = -115 - -113.5. Which is smaller: o or 0.02?
o
Suppose -40 + 32 = -t. Which is smaller: t or -26?
-26
Let x(k) = -k + 9. Let n be x(6). Suppose -5 = -n*d - 2*d. Does -2/43 = d?
False
Let m be 4/2544*523 - 4/(-48). Which is smaller: m or 2?
m
Let i = -75 - -74. Let d be ((-26)/39)/((4*-1)/i). Suppose -15 = 3*s + 4*m, 3*s + 0*m + m = -6. Is s smaller than d?
True
Let c = 251/5 - 50. Let z(g) = 6*g - 84. Let m be z(14). Which is smaller: c or m?
m
Let t = 8 - 5. Suppose 4*n - 5*l = -n - 35, t*l - 9 = 2*n. Let a be (-11)/66 - 14/n. Do 1 and a have the same value?
True
Let b = -146637/8 + 18267. Which is bigger: b or -62?
-62
Let s(a) = -a**3 - 11*a**2 + 13. Let f be s(-11). Suppose -10 = 2*c - 3*m + f, 2*c + 3*m = 7. Let x = 2.6 + -2.4. Which is smaller: c or x?
c
Let a = -126 - -131. Which is smaller: a or 3/4?
3/4
Let j = -3836/230781 + 2/1789. Let k = -92/387 - j. Suppose 0*o - g = 4*o + 1, 5*o + 3*g = -10. Is o at least as big as k?
True
Let x = -316 - -24647/78. Let c be 2/7*322/92. Which is greater: x or c?
c
Let b(j) = 9*j + 142. Let d be b(-16). Which is smaller: -17/6 or d?
-17/6
Let z(y) = y**3 + 4*y**2 - 4*y + 5. Let f be z(-5). Let k be (-1 - (-1 + f))*-1. Suppose -5 = -5*u - k*u + 5*s, 2 = -s. Is 14/3 greater than u?
True
Suppose -3*u - 12 = -2*y + 15, 3*y - 3*u = 36. Let w(v) = -3*v + 10. Let f be w(y). Let r(s) = -s**2 - 12*s - 5. Let z be r(-13). Which is smaller: z or f?
z
Let c = 12 + -17. Let k = -233 - -227. Which is smaller: c or k?
k
Let o = -80/3 + 886/33. Which is greater: o or -0.057?
o
Let t = -26/15