 -24162 - -1836689/76. Let u = v + 15/19. Which is smaller: 6 or u?
u
Let m be ((-46)/276)/(39/(-24) - -2). Is 118 at least m?
True
Suppose 4*v = -5*s - 443 - 970, 1054 = -3*v + 2*s. Do -352 and v have the same value?
True
Let c = 2380 - 26162/11. Let b = -248/165 + c. Let m = -242 - -242. Which is bigger: b or m?
b
Let m = 34 - 60. Let z = -597/4 + 149. Which is smaller: m or z?
m
Let k = -383 - -4595/12. Is k at most -1?
False
Let b = 0.0604 + 69.9396. Which is bigger: b or 4?
b
Suppose -101 = -6*x + 283. Suppose -3*q - 4*l + x = 0, q - 3*l - 77 = -3*q. Are 20 and q equal?
True
Let p = 4 - -6. Let j = 119 - 108.8. Let n = j - p. Which is bigger: 0.04 or n?
n
Suppose 217 - 637 = -5*y. Let a be 4080/y + 6/14. Which is smaller: 50 or a?
a
Let h = 62 - 99. Which is smaller: h or 0.1?
h
Let o(d) = d**2 - 2*d + 8. Let q = -5 + 11. Let f(s) = -s + 1. Let n(c) = q*f(c) + o(c). Let g be n(6). Is 2 < g?
False
Suppose 0 = w - 2*w - 4*a - 4, -4 = 5*w + 4*a. Let f be 22/6 + -4 + w. Is f <= 3?
True
Suppose -3*g + 6*g - 4*l = -18, 6 = -g - 4*l. Let c = -1 + g. Let z be c/(-28) - 5/4. Which is bigger: -1/2 or z?
-1/2
Let m = -18 + 14. Let j be -8*(-2)/20*m/24. Which is greater: 1 or j?
1
Let x = 2.2 + -0.2. Is 1.4 greater than x?
False
Let n = -407 + 393. Which is smaller: -0.8 or n?
n
Let d(x) = 14*x - 29. Let p be d(2). Is p at most as big as 1/301?
True
Let r be (-19624)/20 - (306/(-30) - -9). Is r < -980?
False
Suppose 2*y = 7*y + 35. Let f(i) = -2*i - 13. Let n be f(y). Let o be (n - 48/46)/1. Is 0 at most o?
False
Let d = -41 + 1. Let g = -16 - d. Let y = -39 + g. Which is smaller: y or -16?
-16
Let k(t) = t**2 + 27*t - 79. Let p be k(-28). Is -0.1 not equal to p?
True
Suppose 0 = -3*s + 9. Suppose -m - 2 = -s*m. Let t = 379/1253 + -3/179. Is t greater than or equal to m?
False
Let g = 1289 - 1273. Which is bigger: 19 or g?
19
Let a be (-5487)/(-63779) + (-1)/23. Is a greater than or equal to -0.04?
True
Let m(r) = -r**2 - 5*r - 10. Suppose -115*v = -119*v - 24. Let d be m(v). Let x be (1/1)/(1/(-17)). Which is greater: x or d?
d
Let v = -36.3 - -66.4. Let f = v - 38. Let c = f + 8. Is c < -1/5?
False
Suppose 22 = -8*l + 742. Let k = l - 76. Is k greater than or equal to 14?
True
Let y = 83 - 81. Suppose -q - 112 = 2*b + y*q, 0 = 4*b - 4*q + 204. Which is smaller: b or 1?
b
Let a = 16638362/15939 - 23997/23. Let u = a - -1/63. Which is bigger: u or 1?
1
Let l(p) = -p**2 - 6*p + 3. Let a be l(-6). Suppose 0 = -2*r - 2*f - 20, 0 = -2*r + a*f - f. Let u be (-12)/2 - -1*3. Do u and r have the same value?
False
Suppose -3 = -5*d - 8. Let z = -8.0779 - -0.0449. Let u = z + 0.033. Is u < d?
True
Let n be (-1 - -24)*-1*1. Let l = n + 17. Let c be 1 - -2*(-3)/l. Which is bigger: c or 20/9?
20/9
Let w = 95 + -287/3. Let u = -3.96 + -0.04. Which is smaller: u or w?
u
Let r = 0.337 - 39.537. Let k = r + 41. Is -0.2 bigger than k?
False
Suppose -380 = -5*h - 3*l + l, h + 3*l = 89. Suppose 214 = -5*r + h. Let y be (-4)/r*6/21. Is y smaller than 1?
True
Let f = 411 - 448. Is -38 less than f?
True
Let t = 23.7 - -3.3. Let i = -22 + t. Which is greater: 3 or i?
i
Let t = 19 - 13. Let s(w) = -2*w**2 + 11*w + 5. Let y be s(t). Let i be 4*((-63)/12)/7. Which is smaller: i or y?
i
Suppose p - 3*w - 60 = -7*w, -p + w = -60. Let a = 120853/1992 + -5/1992. Let x = p - a. Which is smaller: 4 or x?
x
Let a(n) be the third derivative of 0*n - 1/24*n**4 + 0*n**3 + 1/20*n**5 + 0 + n**2 - 1/120*n**6. Let q be a(2). Is q > 8/9?
True
Suppose 94*p = 96*p - 54. Let n = -17 + 43. Which is greater: p or n?
p
Suppose 0 = -4*f - 35 + 31. Let a = -397 + 17070/43. Which is smaller: f or a?
f
Suppose 34 = 3*g - 65. Suppose -3*x - g = -0*x. Is x >= -12?
True
Let d be 3 - (-1084)/(-12) - 2. Let l = -89 - d. Which is smaller: 66 or l?
l
Let f = 31 - 34. Is 29/2 at most f?
False
Suppose 0 = 3*q - 5*u + 26, -3*u = -3*q - 0*q - 24. Let j(x) = -x**2 + 6*x + 47. Let i be j(-5). Are i and q non-equal?
True
Let s(v) = v**2 - 5*v + 13. Let n be s(4). Is n > 17?
False
Let d(g) be the second derivative of g**5/20 - 11*g**4/12 - 11*g**3/6 - 11*g**2/2 - 12*g. Let y be d(12). Which is smaller: y or 3/5?
3/5
Let t = 8 - 4. Let l be (t/12 - 0)/1. Let v = -0.36 + 0.44. Which is bigger: l or v?
l
Let k(z) = -2*z - 9. Let b be k(-6). Suppose i - 6*i - 25 = 0, 0 = b*q - 5*i - 25. Let s be (8/(-102))/(((-208)/(-12))/26). Is q smaller than s?
False
Let j be (-6)/(-24) - (-28)/16 - 37. Which is greater: j or -36?
j
Let u(t) = t**3 - 6*t**2 + 6*t - 24. Let x be u(6). Is 47/4 smaller than x?
True
Let c = -467 - -355. Are c and -112 equal?
True
Let r = -4 - -3. Let c = -2/5263 + 1036817/15789. Let z = c - 459/7. Is z <= r?
False
Let z be (-88)/(-32)*4/22. Let i = 0.16 + -0.2. Let k = i - 0.11. Which is smaller: z or k?
k
Let h be (4 + -18)*3/6. Let y = -20 + 11. Which is smaller: y or h?
y
Let u(r) = r**3 + 3*r**2 - 2*r - 2. Let y be u(-3). Suppose 0 = -3*c - 3*g - 9, g + 0*g + 3 = -3*c. Suppose c = 14*m - 10*m - 8. Which is smaller: m or y?
m
Let i = 95/153 - 4/9. Which is smaller: i or 1?
i
Suppose -2*q + 5*k = -41, 5*k - 93 = -3*q + 2*k. Let p = 35 - q. Let a be (p - 8) + 0 + -7. Is a equal to -6?
False
Let g(a) = 4*a**2 + 9*a + 1. Let q be g(6). Let c = q - 2987/15. Let d be (-3)/2 + (-2)/(-4). Is c less than or equal to d?
False
Let i = -480 - -489. Which is greater: i or -11?
i
Suppose -2*p = 2*m + 24, -3*p + 3*m = -4*p - 20. Suppose -70 = -5*v + 10. Let z be (p/v)/(2/4). Which is bigger: -2/39 or z?
-2/39
Let x be (-2)/8 - 62/8. Let v be (-8)/2 - (1 + -23). Let n = v + -26. Is x at most n?
True
Let f be 2/(-6) + -1 + 7/21. Let m be (0 + 1)/((-61)/(-3)). Let n = m + 89/671. Which is smaller: n or f?
f
Let p(y) = -5*y**2 + 2. Let f be p(2). Suppose 34 = -2*r - 2*m, 3 = m - 0. Let k = f - r. Which is smaller: 2/3 or k?
2/3
Let t be 64/280 - 12/90. Is -2 bigger than t?
False
Let q be (-15)/6 - 1464/(-192). Is q at least 4?
True
Let m be (-2)/(-63)*(10 - 7). Are -1.1 and m nonequal?
True
Suppose -2*q - 4*t = 18, -2*q + 4*t = 3*q + 31. Let i be (-42)/q*(-4)/(-6). Which is greater: -1/7 or i?
i
Let y(g) = -g**3 + 6*g**2 - 5*g + 3. Suppose 2*u - 13 + 5 = 0. Let v be y(u). Let d(l) = 13*l + 1. Let c be d(1). Is c at most as big as v?
True
Suppose -n + 4*t = -0*n - 99, -3*t - 461 = -5*n. Which is smaller: 89 or n?
89
Suppose 4*f = -x + 2, -4*x + 2*f - 7 - 3 = 0. Let s be x/(-2) - (-1547)/(-1573). Let l = 613/484 - s. Which is smaller: l or 2?
l
Let r be (-12 - -12)*(-2)/4. Let c = 12/7 - 128/91. Is r greater than c?
False
Let l = 3 - 2. Let x be (0 + (-1)/l)/(-1). Let h = -4/241 - 221/1205. Which is bigger: h or x?
x
Let w = -18 + 18.1. Let q be 5/10 + (-2)/4. Suppose -5*x + 3*o = -2*o + 25, 2*o - 2 = q. Are x and w non-equal?
True
Let t be (156 + -5)/(-1 - -4). Which is bigger: 51 or t?
51
Let c be ((0 - -3) + 27)*-1 - -3. Let n = -0.4 - -0.2. Does n = c?
False
Suppose 31 = 8*a - 17. Which is smaller: 7 or a?
a
Suppose -f + 325 = -2*q, -5*f - 4*q = -2*q - 1685. Which is greater: f or 334?
f
Let g be 7/(-3)*((-6)/(-12) + 1). Is -4 != g?
True
Suppose -3*s = -4*p - 15, -7 = 4*s + 5*p + 4. Let a be -3 + s + (0 - -1). Suppose 0 + 8 = -4*x. Is a != x?
True
Let m(l) = -l**3 + 3*l**2 + 6*l + 4. Let h be m(5). Let s = h + 24. Let t = -17/2 + s. Is 2/9 <= t?
False
Suppose 0 = 4*x, 0 = f + x + 4*x - 10. Let t(u) = -u + 1. Let c be t(-8). Which is smaller: f or c?
c
Let d be 7/2*4/7. Which is smaller: d or 11/9?
11/9
Suppose g - 2*t = 18, 0*t = -g - 5*t + 39. Suppose -3*u + 12 = -3*j + 33, 5*j - 2*u - 23 = 0. Let n be j/(-2)*g/18. Is 0 not equal to n?
True
Suppose 0 = 5*d, -d - 408 = 3*b + d. Is b bigger than -946/7?
False
Suppose -35*h + 43*h = 32. Suppose -h*d = -38 + 30. Let n be (-8)/(-12) - 2*-1. Is d less than n?
True
Let u be (32/(-3))/2*3. Suppose -3*n + 101 = 77. Suppose 5*g = -n*g - 221. Is u less than g?
False
Let r(d) = 224*d**2 - d + 4. Let l(m) = m - 1. Let y(t) = 2*l(t) + r(t). Let a be y(-1). Let n = -7423/33 + a. Are n and 0 equal?
False
Let d be 42/(-231) - (-86)/594. Let t(b) = -b**2 - 8*b - 17. Let z be t(-4). Is z at most d?
True
Let m = -2068/3225 - -27/43. Which is smaller: 1/4 or m?
m
Let k(z) = -z**3 + 7*z**2 + z - 9. Let d be k(7). Suppose 2*f - 12 - 8 = 0. Let m = f + d. Are 8 and m non-equal?
False
S