5 + 0.125. Let g = h + 31. Let u = 23 + g. Which is smaller: u or 0.1?
u
Let t be 74/111*21*3/(-6). Is -13 greater than or equal to t?
False
Let p = -3738/845 + 4/169. Which is smaller: p or -3?
p
Suppose 5*n = 4*d - 95, 4*n + n = 5*d - 100. Suppose 66 = 9*b + 12. Suppose 0*q + b*q + 84 = 0. Which is greater: n or q?
q
Let t = 26697/35 + -763. Let u = 17/7 + t. Is u != 2?
True
Let i = -9270/25553 + -2/2323. Let u(h) = 5*h**2 - 2*h + 6. Let p(j) = 6*j**2 - 3*j + 7. Let l(w) = 6*p(w) - 7*u(w). Let t be l(4). Are t and i unequal?
True
Suppose 10 = -5*d, 2*i + 0*i - d = -2. Let y be i*1/6*-6. Is y greater than 1?
True
Let q(s) = 55*s + 331. Let n be q(-6). Is n at least as big as -1/1728?
True
Let t be 132/44 - 23/7. Is t smaller than 151?
True
Suppose f = -0*f + 1. Let j be 3/(-29) - (f - 1). Let y(b) = -b. Let x be y(-1). Is x greater than or equal to j?
True
Let c(n) = -n**3 - 4*n**2 + n + 4. Let y be c(-4). Let x be ((-2)/6)/(4/12). Let a be (-8)/(-156) + 0/x. Which is bigger: y or a?
a
Let c be (3/42*-4)/((-89)/2). Which is bigger: c or 0?
c
Suppose 0 = -3*t - 3*t - 198. Let s be 3*1 - t/11. Is 20/3 smaller than s?
False
Let f be ((-52)/(-5))/(2/(-10)). Let c = f - -28. Which is greater: c or -0.1?
-0.1
Let y = -2317 - -9325/4. Let s = 55 - 41. Let g = y - s. Is g <= 8?
True
Let c be 1 + -5 - 3978/(-1183). Let h = 12/13 + c. Let v = 18/19 - 236/209. Which is smaller: h or v?
v
Let l be (-2)/(-7) - (-51)/(-7). Suppose -q - 2*m = -4*q + 88, q - m - 29 = 0. Suppose 2*a + 2*a + d = -q, 0 = 5*a + 5*d + 30. Is l at most as big as a?
False
Let c(o) = o**3 + 6*o**2 + 5*o - 9. Let g be c(-4). Let h(y) = 2*y - 3. Suppose 11 = 5*p + 1. Let w be h(p). Are w and g equal?
False
Suppose 21 - 28 = -7*g. Are g and 11/46 unequal?
True
Let o(t) = t**3 + 5*t**2 + 7*t + 18. Let q be o(-6). Is -56 at least as big as q?
True
Let z = 0.21 + -3.31. Let u = z - -17.1. Let q = 14 - u. Which is smaller: 6/13 or q?
q
Let n = -3.36 - -3.36. Is n equal to -7.3?
False
Let a(x) be the third derivative of -x**5/60 - x**4/24 + x**3/6 + x**2. Let n be a(-2). Let m = -255/4 - -63. Is m greater than or equal to n?
True
Let p be -6*((-65)/(-10) - -4). Let o be ((-4)/3)/(-3*805/p). Which is greater: o or -1?
o
Let m(q) = -q**2 + 2*q - 1. Let l be m(1). Let s = -0.079 + -39.921. Let c = 40.3 + s. Which is smaller: l or c?
l
Let l = 1501 + -1209. Which is bigger: l or 295?
295
Let s(n) = n**2 - 5*n - 7. Suppose 5*i = -2*k - 3*k + 35, 2 = 2*k - 4*i. Suppose 4*m + 6 = k*m. Let q be s(m). Are 3/11 and q equal?
False
Suppose 7*k = -43*k. Let h be (-4)/8*(-12)/74. Are k and h equal?
False
Let g = 382.8 + -375. Is -1 bigger than g?
False
Let c(b) = b**3 - 23*b**2 + 1. Let g be c(23). Suppose 0 = 2*q - 6*q. Which is greater: q or g?
g
Let c = 27.7 - 27.7. Is c greater than 133?
False
Let p = 21.035 - 0.035. Let g = p + -38. Let x = -17 - g. Is x equal to 11?
False
Let u be (130/(-15))/((-4)/6). Suppose 5*z - h = -1 - u, -14 = 3*z - 2*h. Let q be (z/18)/(13/(-195)). Is q less than 1?
False
Let r = 3.025 + -2.925. Let x = 3 - 2.95. Which is smaller: r or x?
x
Suppose 15 = 3*n, -c + 78*n - 82*n + 18 = 0. Do -37 and c have the same value?
False
Let z = -713 - -655. Let w be 3*1*232/(-12). Is z <= w?
True
Let c = 2216 + -2201. Suppose -2*f = 4*u + 3*f - 37, -10 = -u - f. Is u > c?
False
Let y(l) = -6*l + 95. Let c(i) = 2*i - 32. Let r(v) = 8*c(v) + 3*y(v). Let z be r(14). Which is smaller: -1/67 or z?
-1/67
Let p be 36/60 + (-27)/(-5). Suppose 2*m = -p + 8. Which is bigger: 2 or m?
2
Suppose -5*s + 471 = v, -5*v = 2*s + s - 287. Which is bigger: 93 or s?
s
Let z = -2.3759 - 0.2341. Which is bigger: z or 1?
1
Let k be 7886/(-1578) - 30/(-6). Which is smaller: 0 or k?
0
Let g = 325 + -3613/11. Is g > -3?
False
Let t = 8 + -8.14. Let o = 0.06 - t. Let x = -0.1 + o. Is 0.5 at most as big as x?
False
Let p = -43 + 44. Let c = -0.05 + 9.05. Which is greater: c or p?
c
Let f be (-8)/(0 - -1)*-1. Let j(g) = g**3 + 13*g**2 + 20*g - 13. Let u be j(-11). Which is bigger: f or u?
u
Let y = 1.7 - 1.5. Let k = -13 - -20. Let n = k + -5. Which is smaller: y or n?
y
Let q = -9742/7 + 1394. Let p be (-5 + 2)/(3/(-7)). Let h be 9/(-6)*(2 + (3 - p)). Do q and h have different values?
True
Suppose -52*l = -55*l + 2208. Which is greater: 737 or l?
737
Suppose 3 = -4*y + 4*t - 7*t, -3*y = -3*t - 3. Suppose g = 1 - y. Is g less than or equal to 5?
True
Let l be (-3)/(8 + 5855/(-730)). Which is smaller: l or 147?
l
Let k be (-1336)/340 + (-70)/(-10) + -3. Which is bigger: k or 0?
k
Let i(d) = 5*d**3 - 13*d**2 + 25*d - 20. Let k(c) = -1 + 4 - c**3 + 2 - 2*c**2 - 6*c + 5*c**2. Let h(t) = 2*i(t) + 9*k(t). Let g be h(2). Is g <= 9?
True
Suppose -4*b = -289 + 61. Which is smaller: b or 48?
48
Let k = -51 - 32. Which is bigger: k or -84?
k
Let l be -6*1/3*-16 + -4. Let s be (-3)/28 - ((-220)/l + 8). Which is bigger: s or 0?
0
Let k = -971/2736 + 1094969/1168272. Let l = -3/455 + -361/83265. Let x = l + k. Which is smaller: x or 0?
0
Let j be (6/(-24))/(2/(-24)). Let o be (j - 3) + 34536/51. Let w = o - 677. Which is bigger: 1 or w?
1
Let s = 40 - 23. Let h = 23 - s. Suppose h*a + 129 = 15. Which is bigger: a or -18?
-18
Suppose -192*o + 194*o = 6. Which is smaller: 61/19 or o?
o
Suppose 3*s - f + 216 = 0, 5*f + 27 = 5*s + 377. Are s and -74 equal?
False
Let s = 44/17 - 978/391. Let q be ((-2)/4)/(1/2). Is s <= q?
False
Suppose -a = 4*x - 9, -15 = 2*a + x - 4*x. Let y = 11 + -5. Suppose -26 = 4*o + 2*c, -o + 25 = -y*o - c. Which is smaller: a or o?
o
Suppose 3*q - 12*q = -81. Suppose q = -3*f - 4*a, 5*f - 15 = 4*a + 2. Suppose 5*i + 0*i = 2*y - 10, 3*y = -4*i - 8. Which is bigger: y or f?
f
Let b be 2/7 - (-198)/42. Suppose 0 = -4*f + b*f - 1. Do f and -4/25 have different values?
True
Let d = 36253 + -398369/11. Which is greater: d or 39?
39
Let p = -9/4 - -2. Let h = 2 + 15. Let n = -16 + h. Is n < p?
False
Suppose -4 = c, -4*c + 23 = 2*v + v. Let r(t) = -2*t + 25. Let b be r(v). Is -1/7 < b?
False
Suppose 0 = o - 1, -6*y + y = -2*o - 28. Suppose -67 = -3*u - 7. Suppose 5*n = n + u. Which is smaller: n or y?
n
Suppose 4*l - x + 10 + 1 = 0, 0 = l - 3*x. Let p = l + 7. Let w be (-2)/p + 2/(-4). Is w at least -2/73?
False
Let c = -2 - -5. Suppose 3*u = 3 + c. Let v(i) = -i**2 + 2*i + 1. Let s be v(u). Which is greater: s or 15?
15
Let y = 11.5 - 11.4. Is y at most as big as 1/2?
True
Let r = 183/16 + -5361/368. Which is bigger: r or -4?
r
Let n = -0.0117 + -2.9883. Which is bigger: -6/29 or n?
-6/29
Suppose 2*q = -3*q + 25. Suppose -3*b = q*n + 14, -2*n + 0 = 4*b + 14. Let w be (0 - 1/(-7))*3. Is n greater than or equal to w?
False
Let v(k) = k**3 - 7*k**2 - 5*k - 6. Let b be v(6). Let q be (0 - 1) + (-56)/b. Let w(f) = -3*f + 11. Let n be w(4). Which is smaller: q or n?
n
Let q(j) = -2*j. Let i(g) = -g - 4. Let p be i(-5). Let u be q(p). Let x = -1269 + 1268.99. Which is smaller: u or x?
u
Let z be (777/1850)/(12/(-10)). Which is bigger: z or 0?
0
Suppose -3*b + 45 = 3*u, -b + 27 = 2*b - 3*u. Let h be b/90 + 77/(-15). Let y(x) = -x**2 - 10*x + 4. Let j be y(-11). Is h bigger than j?
True
Let v = 0.24 - 0.49. Is v less than -0.5?
False
Let g = -4 + 6. Suppose -g*i = i - 9. Suppose j = 2 - i. Is 2/35 equal to j?
False
Suppose -3*r + 14 = 4*h - 14, -h = 3*r - 34. Which is smaller: 4 or r?
4
Let k be (-40 + 4)*(-3)/(-6). Let w be (30/k)/(2/(-19)). Let q = 16 - w. Is q <= 0.4?
True
Suppose -9*v = -16 - 317. Let l = v - 50. Are -12 and l non-equal?
True
Let r = -0.005 + 0.04. Let x = 3.085 - r. Let g = x - 0.05. Are -0.4 and g equal?
False
Let j = 352 + -450. Which is greater: j or -100?
j
Let v(x) = -2*x**2 + 62*x - 61. Let y be v(30). Which is greater: y or 1/239?
1/239
Let a(c) = c**3 - 7*c**2 - 16*c - 14. Let x(k) = k + 9. Let o be x(0). Let l be a(o). Is 4 equal to l?
True
Suppose 4*z - 40 = -z. Suppose 6*r + 4 = z*r. Let t be 0/((r - 2) + -1). Which is bigger: -1 or t?
t
Suppose 0 = 5*l, -4*l + 5 = -g + 3. Which is smaller: -6.89 or g?
-6.89
Let f be (4/(-42))/(60/(-84)). Suppose 3*g - 6*g = 0. Which is smaller: g or f?
g
Let d be 12*10/(-90)*9. Does d = -294/23?
False
Suppose 0 = -9*r + 4 - 31. Let p = 2439/4 + -613. Which is greater: r or p?
r
Let b(g) = g**3 - 6*g**2 + 6*g - 2. Let v be b(5). Suppose 0 = -w - w + p + 