 Let i = -26 + 38. Let a be (2/i)/((-6)/(-12)). Is x less than a?
True
Let l = 20 + -20.092. Let y = l + 0.192. Let k = 0.8 - 0.74. Is y at least k?
True
Let l = 153/98 + -11/7. Which is bigger: 0 or l?
0
Let l = -185 - -179. Is -10 >= l?
False
Let x = -363 - -362. Which is greater: -1/11 or x?
-1/11
Let z = -1487 - -1474. Is z >= -5?
False
Let t = -281 - -139. Is 0 < t?
False
Suppose 5*j - 15 = -5*i, i + 12 = 4*i + 2*j. Suppose 9*b = i*b + 15. Suppose -a = -b*d - 28, -2*a + 6*a - 40 = 2*d. Which is greater: 1 or a?
a
Let k = -223316 + 2007743/9. Let c = k - -233. Is 0 at most c?
False
Let m = 0.277 + -0.377. Is m bigger than 141?
False
Let i(s) = s**3 - 13*s**2 - 69*s + 22. Let o be i(17). Which is smaller: 41/11 or o?
41/11
Let j = -5 + 9. Let i = 2 - -14. Let c be j/(-6)*(-8)/i. Which is bigger: -2 or c?
c
Let p be (4/468)/((-4)/1473). Let j = -4/39 + p. Which is smaller: -4 or j?
-4
Let b = -1920 + 1898. Is 7 smaller than b?
False
Let p be ((-25)/(-120))/(25/(-100)). Which is smaller: -60 or p?
-60
Let v(s) = -4*s + 52. Let t be v(13). Suppose 4*p + 4*b - 191 = -p, 5*p + 2*b - 183 = t. Is p greater than 34?
True
Let l = 90 + -88. Let j be 3/(3 + (-27)/l). Is -0.003 bigger than j?
True
Let o be (4*(-4)/40)/(465/60). Is o < 0?
True
Let n be (-111)/214 + 1 + -1. Let k = -2291 - -245135/107. Let d = n - k. Is d at most 0?
True
Let j be 945/204 - 10/(-85). Which is smaller: 6 or j?
j
Suppose 5*t + 5*d - 40 = t, -5*d + 10 = -2*t. Suppose -t*k = -6*k - 3*y + 8, -3*k + 63 = -4*y. Let f be (2 + -1)*(k - 18). Which is smaller: f or 1/12?
f
Suppose 5*q + 5*i = 0, 4*q - 3*i - 2*i = 0. Let b = 27 - 27. Suppose -5*m + 0*m - 25 = b. Which is smaller: m or q?
m
Let h = 382 - 1192. Let a be 3*(-74)/h - 1/5. Do a and 1/8 have the same value?
False
Let s be ((-10)/(-12))/((-3)/12). Let b = s + 43/12. Let f be (0 - (-4)/6)*(-198)/(-132). Is b <= f?
True
Let p = 374.414 - 374. Let o = 0.3 - p. Is o > 1?
False
Let m = 58 + -110. Let a be 15/(-13) + (-8)/m. Is a equal to 2/207?
False
Let r = -1/1033 + -77419/57848. Let h = -13/8 - r. Which is smaller: h or -1?
-1
Let f be (-80)/252 - (38/18 - 2). Which is smaller: 2.63 or f?
f
Let h be (84 - (-5)/(-5))/(-1). Which is bigger: h or -84?
h
Let h be 3/11 - ((-216)/(-88))/9. Let v = -455/4 - -113. Which is smaller: v or h?
v
Suppose 15*b - 22*b + 210 = 0. Suppose b = -2*j + 36. Let t be (1/(-2))/((-10)/68). Is t != j?
True
Let p = 587 - 640.7. Let u = -56 - p. Which is smaller: u or 0.1?
u
Let p be (192/(-30))/(2/(-5)) + -2. Suppose 0 = p*c + 2 - 2. Which is greater: 4/9 or c?
4/9
Suppose 4089 - 4093 = w. Is -85/27 greater than w?
True
Let p = -28.011 + 0.011. Let c = 49.1 + -49. Are p and c equal?
False
Suppose m + 7 - 8 = 0. Let d be m - 0 - 3 - -7. Suppose 3 = d*f - 2*f. Is 1 at least as big as f?
True
Let y be ((-16)/10)/(2/(-5)). Suppose u + 2 = 4*f - 11, 0 = -u - y*f + 11. Let x = -29 + 32. Is x at least as big as u?
True
Let d be 9/(-36) - (-1)/4. Let i be 4/10 - 61/(-5). Let p = i - 587/45. Are p and d equal?
False
Let t = 308 + -421. Is t bigger than -112?
False
Let y = -432 - -431.73. Is y <= 3/8?
True
Let f be (-10261)/(-1085) - (-2)/14. Does 10 = f?
False
Let m = -219 + 218.99. Is 16 greater than or equal to m?
True
Let r(f) = f**2 - 7*f + 5. Let n be r(7). Let o = -13 + n. Suppose 5*m + 30 = 3*d, 2*m + 2*m + 24 = 3*d. Is o < m?
True
Let z = -10 + 10.1. Let p = 0.21 - z. Let y = -0.06 + p. Which is smaller: 1/2 or y?
y
Let r(t) = t - 3. Let n be r(3). Let c = -0.0308 - 37.0692. Let q = c - -37. Which is greater: q or n?
n
Let s = 320041/1355 - 1181/5. Which is bigger: 1 or s?
1
Let g(k) = k**2 - 11*k - 9. Let x be g(12). Let t(r) = 2*r**3 - 5*r**2 + 2*r + 4. Let v be t(x). Is 19 > v?
False
Let i = -75.19 - 0.81. Let b = -74 - i. Let j be 2/3 - 0/(-1). Is b < j?
False
Let n(c) = 2*c**2 + 20*c + 54. Let a be n(-17). Which is smaller: a or 290?
290
Let j be 2898/(-12201) + 16/7 + -2. Which is smaller: j or -0.1?
-0.1
Let p be (-13)/(-78)*9/(-6). Which is greater: p or 7/4?
7/4
Let l be (4 - 1) + 2/1. Suppose -4*w + l = 4*b - 55, 2*w - 5*b = 2. Let a = w - 10. Which is smaller: 1/11 or a?
1/11
Suppose a = 5*a + 168. Let l be (a/30)/((-18)/(-15)). Which is smaller: -2 or l?
-2
Let j = 6 - -2. Let u(b) = -b**3 + 7*b**2 + 11*b - 12. Let f be u(j). Let t = 32/3 + -10. Do f and t have the same value?
False
Let u = 22.6 - 22.5. Is u not equal to -175/2?
True
Let g be (-2)/8*(-17)/1819. Is 0 smaller than g?
True
Let l be (11/(-33))/((-88)/(-18))*4. Let n = l + 1/11. Let m = 1 - 1. Which is bigger: n or m?
m
Let g(w) = w + 14. Let m be g(-7). Let d = -7 + m. Let a = 7 + -10. Which is smaller: d or a?
a
Let a = 454 - 453.956. Which is greater: 1 or a?
1
Let c = 6 + 8. Let q = 0.116 + -0.016. Which is smaller: c or q?
q
Let p = 6.4 - -1.6. Let l = -25 + 28. Let h = l - p. Which is smaller: 3 or h?
h
Suppose 6 = -2*z + 2. Let i be (-3)/6 - 33/(-42). Which is smaller: i or z?
z
Suppose -4 = t, -3*t = 2*h + t + 36. Let a = 400 - 410. Is h != a?
False
Let u be (12/(-4) - -4) + -3 - 7. Let r be (u/(27/6))/2. Are 28 and r unequal?
True
Let q = -0.03 + -0.07. Let s = q + 0.5. Let w = 0.6 + s. Is 2/19 equal to w?
False
Let k be (46 + -1)*90/150. Which is greater: 35 or k?
35
Suppose 9*v = -104 - 211. Is v at most as big as -38?
False
Let t be 6/(-8) + (-1514)/(-2920). Let n = t - 5/73. Which is bigger: n or 0?
0
Suppose 0 = -5*j + 4*q - 1635, -3*q = j - 2*q + 318. Which is smaller: -322 or j?
j
Let s(t) = 8*t - 56. Let f be s(8). Let z be (-2)/f*6*8/(-15). Let i be (0 - -2)*1/2. Is z greater than or equal to i?
False
Let l = 109/15 - 43/15. Which is smaller: 5 or l?
l
Suppose -37 = -2*z - 5. Let q = z - 13. Let m = 3 - q. Is m < -4?
False
Let w(y) = 2*y**2 - 4*y. Suppose 10 = -5*k, -3 = -v + 5*k + 10. Let f be w(v). Suppose 0 = x + 2*b - f - 3, b = 3*x + 8. Is x less than or equal to -4/13?
True
Suppose 5*c - 6*y - 3564 = -10*y, 3*c = 5*y + 2131. Is c > 713?
False
Let z = -14 - -14. Let t be (6/5)/((-3)/(-10)). Suppose z = -t*i - 22 - 42. Which is smaller: i or -15?
i
Let o = 2.8 + -2.8. Suppose 3*z = 5*g - 29 - 2, -z = -3. Are o and g non-equal?
True
Suppose -20*h + 4*h = 0. Which is bigger: h or -2/555?
h
Let y(b) = 5*b**2 - b. Let d be y(1). Suppose 11 = 3*r + 5*g, -4*r - 4*g = -0*r - d. Let h = r - -1. Is -5 less than h?
True
Let s(u) = -5*u + 4 - u**2 - 1 + 0*u**2 - 6. Let q be s(-3). Suppose -y + 4*c - 1 = 3*c, -4*c = -y - 13. Is y > q?
False
Let o be (-4 - (-78)/12)*64/(-20). Which is bigger: o or -86?
o
Suppose 0 = 5*u - 131 + 21. Let a be 26/117 + u/144. Are 1 and a unequal?
True
Let w = 26 + -42. Suppose -194*v - 2 = -196*v. Is v < w?
False
Suppose 0*c = -5*c + 15. Let m(n) = -56*n + 2. Let q be m(c). Let o = q + 1159/7. Which is smaller: o or 0.1?
o
Let r be (4/(-87))/((-18)/(-27)). Let c be 2/(-1 + 2/(-2)). Is c smaller than r?
True
Suppose -u - 6 = 5*c - 6*c, 5*u - 3*c + 20 = 0. Which is greater: u or -3/97?
-3/97
Let b = -6 + 5. Let l be 12 + -1 + (-274)/24. Which is bigger: b or l?
l
Let s be (-1176)/285 - (-4 - 4)/(-4). Let w = s + 61/10. Is 1 at most w?
False
Let q = -857 + 858. Let l be (-49)/19 + (-7 - -10). Is l > q?
False
Suppose 0 = -5*f - 10, -5*u + 2*u = -5*f + 23. Suppose -40 = 2*j - 6*j. Let p = j + u. Which is greater: 2/11 or p?
2/11
Let c(i) = 4*i**2 - 17*i - 7. Let j(a) = 7*a**2 - 34*a - 13. Let p(b) = 5*c(b) - 3*j(b). Let t be p(16). Let f be (-45)/(-18)*(-58)/t. Does f = -6?
False
Suppose -19*v = 28*v + 3196. Do v and -0.1 have the same value?
False
Suppose -g = 2*g - 51. Let h(p) = 34*p**2 - 168*p + 6. Let b be h(5). Which is greater: g or b?
g
Suppose -2*r + 0*r = 2*d - 54, 0 = 2*r - 4. Let c = d - 25. Which is smaller: -3 or c?
-3
Suppose 56 = 4*o + 4*p, o - 2*p + 3 - 8 = 0. Let i = o - 10. Are 3/10 and i nonequal?
True
Let d = 319 - 1909/6. Let n be (-4)/1 - (-68)/15. Let l = n - d. Is l > 1?
False
Let x(j) = j**2 + 6*j - 7. Let d be x(-6). Let g be (-7)/(-49) + (-41)/d. Let i = -8 + g. Which is smaller: i or -1?
i
Let x be 2/(1*-2)*(78 + -61). Let n = x + 22. Are 32/7 and n unequal?
True
Suppose 0 = 3*j + 60 - 18. Which is smaller: -18 or j?
-18
Suppose 7*h = 11*h - 12. Suppose 3 - 5 = -y - f, 0 = -h*f + 3. Which is smaller: y or 0?
0
Suppose -x = -4*w + 12, -2*x + 0 + 6 = 2*w. Let s(q