e
Let f = -328 + 330. Is f at least as big as 0.02?
True
Let m = -879 - -5273/6. Is 12/19 > m?
True
Let t be 16/(-6) - 8/(-12). Let o be (-4 - t) + 2939/9. Let k = o + -325. Is k bigger than 0?
False
Let p = 22 + -6. Let c be 6/30 + (p/(-15))/4. Which is smaller: 1 or c?
c
Suppose d + p - 3*p = -5, -7 = 5*d - p. Is d smaller than 3/46?
True
Let q = 238 + -247. Let d = -0.06 + 0.36. Let y = -0.1 + d. Is q greater than or equal to y?
False
Let t(d) = 4*d**2 - 2*d. Let a be t(2). Let b be (-42)/4 + (-30)/a. Let x = -16 + 17. Is x less than b?
False
Suppose 44*m - 105 = 115. Suppose z - 5*u = -z - 12, 3*z = 4*u - 4. Suppose -z*n = -7 - m. Are n and 7/4 nonequal?
True
Let x be 2/5 + (-48)/(-30). Let h be (x/(-4))/(1 + 4/(-8)). Which is bigger: 1/70 or h?
1/70
Let q(h) = 1. Let r(t) = t - 1. Let a(g) = -2*q(g) + r(g). Let u be 1/3 - (-4 + (-21)/(-9)). Let c be a(u). Is 2/7 bigger than c?
True
Suppose -2*w + 173 = 2*f - 21, 0 = -2*w + 2*f + 194. Is 292/3 > w?
True
Let h be (-85)/(-102) + (-2)/(-12). Let j(t) = -t**3 + 4*t**2 - 3*t - 2. Let w be j(4). Let v = w + 6. Which is greater: h or v?
h
Let q be (-240)/(-45)*(-3)/(-2). Suppose 4*l + 0 = -q. Which is smaller: l or -5/6?
l
Suppose -46*q = -36*q + 10. Which is smaller: q or 14?
q
Suppose -4*c - 4*j = 64, 8*c = 11*c - j + 36. Is -1 at most as big as c?
False
Let s = 76 - 226/3. Let p = 42 - 43.35. Let l = 0.35 + p. Which is bigger: s or l?
s
Suppose -143 = 2*u - 113. Let o = 10 - 24. Which is smaller: o or u?
u
Suppose 4 = -3*q + 7. Suppose -t = l + 1, 0*t = t - 2*l + q. Let y be ((-5876)/585 + 10)*-3. Which is smaller: t or y?
t
Let q = -349 + 419. Is -1 smaller than q?
True
Let q = -0.066 - -12.666. Let b = 15.3 - q. Which is smaller: b or 1/4?
1/4
Let a = 0 - -0.1. Let t = -0.1 - a. Let o be 20/5 + 1 + -7. Do o and t have the same value?
False
Suppose 48 = -236*u + 188*u. Which is smaller: 6 or u?
u
Suppose -5*b = 9 + 26. Let p = b + -1. Let d = 1.96 + 0.04. Which is greater: d or p?
d
Suppose 0*r + 2*x = -4*r + 90, -r + 25 = -2*x. Suppose 24 = -4*g + 5*q, r + 7 = -5*g + q. Is g less than or equal to 1?
True
Let z = -43 - -38. Let h(m) = 2*m**3 + 9*m**2 + 9*m - 7. Let s be h(z). Which is smaller: -76 or s?
s
Let p = -5 + 8. Let r(u) = -2*u + 6. Let k be r(p). Is 3/23 greater than or equal to k?
True
Let b = 0.001 - 0.001. Let c = -0.15 - b. Which is smaller: 1 or c?
c
Let q = 217 + -217. Is -1/21 >= q?
False
Let i be (-65)/1 + (6*-1)/2. Suppose 0*x - 345 = 5*x. Which is smaller: i or x?
x
Suppose 0 = 3*c + 2*c - 20. Suppose -2*o + o + 10 = 5*s, -3*s + 2*o = -6. Is s greater than c?
False
Let g = 1255 + -7555/6. Is g smaller than 1/7?
True
Let i = -22 - -20. Let w = 1 + i. Let d = 0.6 - 0.9. Which is smaller: w or d?
w
Suppose -3*z + 173 = -4*h, -2*z = -z + 2*h - 61. Let q = 58 - z. Which is bigger: -2/3 or q?
-2/3
Let y(g) = -2*g - 2*g - 2*g**2 + g**2 + 6. Let k be -5 + 1 + (-2 - 0). Let d be y(k). Is d less than or equal to -5?
True
Let s be (6/(-1) + 4)/((-3)/30). Let t = s + -58. Which is smaller: t or -37?
t
Let g be 36/(-8)*-6 + -3. Suppose 3*s + 9 - g = 0. Which is smaller: s or 6?
s
Let a = -7.6 - -2.8. Let l = a - -4.84. Which is bigger: l or 0?
l
Let y = 60.991 - -0.009. Let z = -60.85 + y. Which is greater: 0 or z?
z
Let y = 7.0487 + -0.0487. Is -0.6 less than y?
True
Let d = 222 - 222. Suppose 2*t + 0*t = 0. Is d less than or equal to t?
True
Suppose 0 = -2*r - 2*p + 4, 4*r - 5*p - 44 + 9 = 0. Suppose -4*b - 5*c + 2 = -20, r*b - 4*c = 7. Is -6/13 bigger than b?
False
Let a = 16/35 + -1174/2415. Suppose -5*r + 5*y + 30 = y, y + 13 = 4*r. Let z be (-36)/(-44) - r - 12/(-66). Which is smaller: z or a?
z
Let c = 47141 - 85183785/1807. Let n = 264/12649 + c. Is n smaller than -1/4?
False
Let f = 39 - 37. Suppose 3*q + z = 4*q + 3, 0 = -f*q - 2*z - 22. Is q greater than -7?
False
Let z = -10931699/1003 - -10899. Do 1 and z have different values?
True
Let k be (-5)/2 - (-110)/44. Which is greater: k or 1/9?
1/9
Let c = 5098 + -25588/5. Is c smaller than -19?
True
Let y be (-2*1/(-20))/(26/(-8)). Let u = 1 - 1. Is y greater than u?
False
Suppose 0 = -k - 3596 + 3779. Is 183 < k?
False
Let i = 51 - 49. Suppose -5*k = -b + 141, -b = -i*k - k - 83. Are k and -31 nonequal?
True
Let r = -68 - -73. Suppose o + 91 = r*i, 3*i + 2*o - 70 = -18. Which is smaller: i or 17?
17
Let j be 0/1 + 0/(-2). Let a be (-6)/4 + (-6)/4. Let w be (-2)/10*(-6)/a. Is j != w?
True
Suppose 4*p = p. Let m be 12/16 + (-15)/4. Let o be (3/m)/((-2)/6). Is o bigger than p?
True
Suppose 2*d - 254 = 3*j, -5*d + 0*d - 5*j + 585 = 0. Is 121 greater than d?
False
Let b = -0.264 - 0.136. Is b at least 7?
False
Let w be (10 + 32/(-3))/(40/(-6)). Suppose t = -3*h - 2*h + 19, -2*h = 5*t - 3. Is t less than w?
True
Let d be (-24)/18*-3*(-1 - -3). Is d < 10?
True
Suppose 0 = 4*v + v - 30. Suppose -3*j - v = -2*z + 47, z - 39 = 4*j. Let i = -8 + z. Is 11 at most as big as i?
True
Let j = 5292 - 57978/11. Let p = -933/44 + j. Let u = 27/88 + p. Is u != -1?
True
Let t be -31*5/(-15)*(5 + -4). Is 11 >= t?
True
Let p(f) = -56*f + 223. Let t be p(4). Let i be ((-4)/258)/(8/(-6)). Which is smaller: i or t?
t
Let k(p) = -5*p**2 - 2 + 4*p**2 + 2*p - 7*p. Let x be k(-4). Suppose -x*z - 3 = 1. Is z at most -1?
True
Let g = -1 - -6. Let q = g - 3. Let p = -41 - -131/3. Which is smaller: q or p?
q
Let h = -12/85 + -223/1190. Let a = h + 1/35. Let p = 1 + -1. Is a <= p?
True
Let u = 3479/198299 - 2/3361. Suppose 2*w + 8 = -5*r, 3*r + 2*r = w + 4. Are u and r equal?
False
Let n = 7 - 22. Let a = 15 + n. Do a and 0 have the same value?
True
Suppose 6*k - 45 = k. Let t(h) = -h**2 + 5*h + 5. Let r(u) = 2*u**2 - 5*u - 5. Let l(z) = 3*r(z) + 4*t(z). Let a be l(-3). Are a and k non-equal?
True
Let b = 57 + -42. Let x be -4 + 1 - b/(3 + -8). Which is smaller: 1/6 or x?
x
Let m = -161/90 - -7/18. Suppose 152 - 137 = -15*p. Is p greater than m?
True
Let u be 2/12 - 95/(-114). Is u bigger than 1/107?
True
Suppose -3*z = -6*z - 273. Let d = -113 - z. Let u be (-2)/(-8) - (-170)/(-8). Which is bigger: u or d?
u
Let q be 4/(-57)*6/4. Let z be 9/(-21) - (-1332)/(-1596). Let o = -77/76 - z. Is o bigger than q?
True
Let t = -16 + 34. Let s be ((-4)/t)/((-3)/27). Suppose 0 = c + 2*l - 6, l - 1 = 4*c + s. Is c bigger than -1/5?
True
Let r be (-8)/6 + 7/42. Suppose -5*m - 4*g + 128 = 0, 2*m + 5*g - 22 = 36. Let b be (-2)/11 - m/(-132). Which is bigger: b or r?
b
Suppose -10 = -2*w, 10 = -3*a + 2*w - 3. Let o = -2/65 + 152/715. Which is greater: a or o?
o
Suppose -4*w + 36 = 4*l, -16*l + 14*l + 11 = w. Is w greater than -8/7?
True
Let v be (-2)/(-8) + 2/(-8). Let w be -4*964/24 + -4. Let x = w + 166. Which is bigger: v or x?
x
Let v = -158/3 + 52. Suppose -x - 9 = -8. Is v at least as big as x?
True
Let c = -80/187 + 13/34. Let b(j) = j**3 - 12*j**2 - 11*j - 22. Let p be b(13). Let a be (-2)/4*(2 - p). Which is smaller: c or a?
c
Let d(p) = p**3 + 29*p**2 + 6*p + 175. Let z be d(-29). Do z and 3/1846 have different values?
True
Let t = 869 - 293. Which is bigger: t or -1?
t
Let i = 32681817/220 + -148554. Let z = i + -5/44. Let o be 682/(-155) - (-8)/2*1. Is z greater than o?
False
Let t = 36 + -73. Let h = 39 + t. Is h less than or equal to -0.05?
False
Let h = -0.3 - -0.4. Suppose -5*p - 46*w + 239 = -42*w, -2*p + 2*w + 110 = 0. Are p and h equal?
False
Let c = -20 + 78. Suppose d - c = -56. Suppose -s = -j + 3, -4*j - 5*s + d = -4*s. Is j less than 8/15?
False
Suppose 4*w + 16 = -0*w. Let t = 26 + w. Which is smaller: -1 or t?
-1
Let f = 0.1659 - 0.0559. Is -20 greater than f?
False
Let a = 2.19 - 2. Let m = 0.29 - a. Which is greater: 0.08 or m?
m
Suppose -2*g + 3*g = 50. Suppose -3*m - 4*i + 34 = 0, m + 5*i - g = -4*m. Let l be 3*(-4 - -2)/m. Is -2 < l?
True
Let g(d) = 8*d + 95. Let t be g(-13). Is t greater than or equal to 0.1?
False
Let b = -8 - -12. Suppose 2*j + b = -5*t, -t - 17 = -0*j - 5*j. Let u = -35 - -40. Which is smaller: j or u?
j
Let m(z) = 14*z**2 - 1. Let q be m(1). Suppose -u = 3*o + 8, 0 = -5*u + o + 5 - q. Let l be 10 - (-3 - u - -3). Which is smaller: 9 or l?
l
Let c = -13483/10 - -1348. Which is smaller: c or -1?
-1
Let p(d) = d**3 - 22*d**2 - 48*d + 35. Let k be p(24). Let v be (-15)/k - 177/(-21). Let i(u) = -9*u. Let g be i(-1). Is g < 