r or -2?
r
Let o = 3.4 - -0.9. Let n = 7.5 - 21.2. Let t = o - n. Which is bigger: t or -0.1?
t
Let k be (0 + 5/(-14))/((-290)/(-1015)). Is k bigger than -2?
True
Suppose 7*m - 24 = m. Suppose 5*f - 6 = -m*y + 60, -2 = 2*y. Let b be 6/f - 33/126. Which is bigger: -1/3 or b?
b
Let s(m) = m**2 + 13*m - 36. Let x be s(-16). Suppose 2*h + 70 = 5*f, 3*f + 2*h + 17 = 43. Let d = f - x. Which is greater: 2/9 or d?
2/9
Let t(l) = -27*l - 4. Let u be t(-4). Let a = u + -102. Let v = -1 + 1.4. Is v smaller than a?
True
Suppose 0 = -4*b - l - 52, -2*b - 48 = 2*b + 2*l. Let x be 3 + -4 + (-190)/2. Let g be 56/x*4/b. Is g equal to 1?
False
Suppose -5*d = -2*s + 10, -4 = 2*d - 2*s - 2*s. Let w be (d/14)/(15/(-30)). Which is greater: w or 4?
4
Let a = 2/2537 + -7627/20296. Suppose 5*q - 3 = 2. Which is bigger: a or q?
q
Suppose 14*y - 10 = 16*y. Let w(d) = -d**2 - 4*d + 4. Let n be w(-5). Let v be n - 2*(-1)/6. Which is smaller: v or y?
y
Suppose t - 12 = 4*x - 0*t, 0 = -4*x + 3*t - 12. Let y = -4881 + 73214/15. Is y != x?
True
Let y = -107/3 + 35. Let k = -10.08 + 10. Is y at most as big as k?
True
Let x be 0*((-90)/(-324) - 4/(-18)). Which is smaller: x or -1/194?
-1/194
Suppose 5*d = 21*d - 16. Which is smaller: 4/509 or d?
4/509
Let g(t) = -t**2 + 12*t - 2. Let p be g(5). Suppose -2*q - 30 = 4*h, -3*h + 3*q - q = p. Which is greater: -8 or h?
-8
Let s = -5.37 - -5.36. Which is smaller: s or 0.05?
s
Let g = 39.6 - 40.6. Are 6.6 and g nonequal?
True
Let s(k) = k - 12. Suppose -4*v - 2*j + 57 = -3*j, -75 = -5*v + 5*j. Let c be s(v). Which is greater: 8 or c?
8
Let v be (-2802)/39 + (-10)/65. Let a = v - -51. Is a at most -22?
False
Let v = 2205/38 + -58. Is v > -1?
True
Suppose 0 - 6 = 3*l. Let h = 4.984 + 0.016. Let x = 6 - h. Is l >= x?
False
Suppose -3*g + 4*o = -7*g - 3552, -3546 = 4*g - 2*o. Let l = g - -4417/5. Which is greater: -4 or l?
l
Let r = -879 + 76475/87. Which is greater: 1 or r?
1
Let a(b) = 4*b - 4. Suppose 3*c + 10 = 16. Let s be a(c). Suppose -12 = -0*i - s*i. Which is bigger: i or 2?
i
Let f = 1200 - 1198. Let z = 0.2 + -3.4. Let m = z + 3. Is f less than or equal to m?
False
Let x = -36 + 265. Do x and 2 have the same value?
False
Let n(i) = -3*i**2 + 4*i - 7. Let k be n(3). Which is smaller: k or -25?
-25
Suppose -22*b = 98 - 714. Is b greater than 202/7?
False
Let a be ((-9)/(-27))/((-2)/(-18)). Suppose b = a, 4*b - 29 = -4*z + 27. Let f = z - 22. Is -10 < f?
False
Suppose -s + 33 = -5*u, -s = -2*s - 2*u - 2. Suppose -5*n = 2*g - 15, -4*n - 3*g + g + 12 = 0. Suppose k - 3 = -n*i, -i - s = -k + i. Which is greater: 7 or k?
7
Let m be -6 - (1932/(-108))/7. Which is smaller: -3 or m?
m
Suppose v = 7*v. Suppose 0 = -v*h + 3*h. Is h at least 0?
True
Let d be 80/32 - (2 + 5/(-2)). Which is greater: d or 18?
18
Suppose -p - 1700 = -4*a, p + 8 = -p. Suppose -76 + a = -3*r. Let j = 814/7 + r. Which is smaller: 0 or j?
0
Let u be 4 + ((-8)/(-1))/4. Which is smaller: u or 29?
u
Let w be ((-344)/(-48) + -7)*-474. Is -79 < w?
False
Suppose 3*x - 8*x + 160 = 0. Suppose 9*z - x = 7*z. Suppose -v - z = -3*v. Is v less than 1/3?
False
Let h(i) = 4*i - 11. Let k(x) = x. Let u(c) = -h(c) + 6*k(c). Let t be u(-5). Which is greater: -6/41 or t?
t
Suppose -8*m + 1788 + 2372 = 0. Suppose 3*s = s + 8. Let g be m/72 + s/(-18). Is -0.1 at most g?
True
Suppose -q = 15 + 21. Let h = 3839 + -3874. Is q < h?
True
Let p(f) = -f**3 + 6*f**2 - 4*f - 7. Let i be p(5). Let q be (-32)/(-12)*(i - 4). Are q and 1 equal?
False
Let j(n) = n**3 + 11*n**2 + 2*n + 23. Let u be j(-11). Let b be 4/18 + (-595680)/(-1674). Let l = b - 356. Is u less than or equal to l?
False
Let m be (-2038)/(-8088) + 13/(-52). Are 1 and m non-equal?
True
Let j(p) = 17*p**3 + 8*p + 7. Let k be j(3). Is k less than 491?
True
Suppose -5*g = -g. Suppose -m = 3*s - 38, g*s + 3*m = s - 6. Let o be 3/s + 15/(-12). Is o less than -2/35?
True
Let u = -373/2925 - -8/65. Which is greater: 1 or u?
1
Let r(p) = p**3 - 5*p**2 + 5*p. Let h be r(4). Let s = h + 3. Let b(j) = j**2 - 9*j + 9. Let k be b(s). Are -8 and k nonequal?
True
Let y(n) = 4*n - 161. Let i be y(37). Are -7 and i unequal?
True
Suppose -6*l + l + 3*n = 2, -5*n = -2*l + 3. Is l at most as big as -18/85?
True
Let d be ((-4)/(-2))/((-2)/(-9)). Let k = -5 - -15. Suppose -2*p - k = 0, 25 = 5*n + 4*p + p. Is n > d?
True
Suppose 5*w + 56 = a + 3*a, -a + 47 = -4*w. Let z = w - -35/3. Let r = -3 - -2.8. Which is bigger: z or r?
r
Let n(x) = x**2 - 4*x + 2. Let h = 17 - 14. Suppose -5*o + 20 = 0, h*o - 2 - 4 = 2*i. Let a be n(i). Which is bigger: -3 or a?
a
Suppose 5*d + 5*s = 25, 3*d + 3*s = s + 14. Suppose -668 = -3*h - 188. Let x = -155 + h. Which is greater: d or x?
x
Let l = -134 + 124. Is -16 <= l?
True
Let c = 808231 + -5667107/7. Let d = 1358 + c. Are 3 and d equal?
False
Suppose 3*d - 10 - 2 = 3*f, -2*f + 4*d - 4 = 0. Let h = -12 + 5. Let q = -5 - h. Is f < q?
True
Let u = -183659/10 + 18382. Let f = -29/2 + u. Let w be 3 + -2 - 0/1. Do f and w have different values?
True
Let y = 6 - 14. Let k = 55 + -42. Let w = k - 16. Is y less than w?
True
Let f(y) = 2*y - 28. Let w be f(16). Suppose 5*g = 0, 0 = -4*s + g + 2*g. Suppose s*b = w*b + 4. Is b at least -1/15?
False
Suppose 8*h - 51 = -147. Let g be 1/(-14)*h/30. Which is bigger: -1 or g?
g
Let n(j) = j**2 - 7*j + 6. Let x = 9 - 3. Let i be n(x). Suppose -y - d - 4 = 0, -5*y + 2*d = 5*d + 14. Are y and i equal?
False
Let s be (-4)/(-26) - 99/(-117). Let r = -2 + 3. Let t be r + 9*s/(-7). Which is smaller: t or -5/3?
-5/3
Let z = -41.76 - -0.76. Let j = 43 + z. Is j at most as big as -4?
False
Let a(s) = 2*s**2 + 2*s - 7. Let d be a(-3). Suppose 0 = d*m - 2*x - 2*x - 9, -5*m = -3*x - 8. Let t be -1 + (-5)/((-435)/84). Is t less than or equal to m?
True
Let i = 132/13 + -16184/1599. Which is greater: i or 0?
i
Let s be (0 + 2 + 1)/(103 + -100). Is 2/861 at most as big as s?
True
Let a(s) = -8*s - 93. Let g be a(-9). Is 0.4 greater than g?
True
Let j be (-29)/(-261) + 322/18. Suppose t = 4*t + 3. Which is greater: j or t?
j
Let k be (-29)/(-406)*(-28)/8. Is k bigger than -279?
True
Suppose 2*v = 11*v - 72. Which is smaller: 50/7 or v?
50/7
Let v be (-225)/60*(-14)/3. Which is smaller: v or -1/2?
-1/2
Let c = -0.0915 - -0.1315. Let v = -1.1 - -0.1. Let y = 0 + v. Which is smaller: y or c?
y
Suppose g - 464 = -454. Let o(h) = 3*h**2 + 3*h + 2. Let q be o(-2). Suppose -3*s - 45 = -q*s. Which is greater: s or g?
g
Let o = 398.2 + -393.073. Let y = 5 - o. Which is bigger: y or -2/7?
y
Let m be 2 + (-8)/3*12/20. Let l(c) be the third derivative of c**6/120 - 2*c**5/15 - c**3/6 - c**2. Let q be l(8). Which is greater: m or q?
m
Let u be 28/(-24) - 2/(-12). Let d(r) = -6*r. Let a be d(u). Let h be a/14 - 54/(-168). Which is greater: h or 2?
2
Let z = -10.6 + -0.4. Let a = z - -14. Let j = 46 + -277/6. Is j >= a?
False
Let x(w) = 2*w**3 - 2*w**2 - w + 2. Let s be x(2). Let y(f) = 2*f - 5. Let p be y(s). Suppose -k + 0*k = 3*u, u + 4*k = p. Which is smaller: -1/2 or u?
u
Let v = 93.68 + -93. Let a = v - 0.38. Do a and 3 have different values?
True
Let z(x) = -x**3 - 5*x**2 - 2*x - 11. Let a be z(-5). Let p be (6*a + 3)*-3. Let f be -1 + 2 - 14/(-2). Which is greater: p or f?
p
Suppose -2 = v + 3*b, 2*v - 6*b = -2*b + 6. Which is bigger: v or -6/59?
v
Let s = 34445/34 - 1013. Is -1 at most as big as s?
True
Let n be 12/16 - 2/(-8). Let p be 1 + n + 0/1. Let i(f) = -2*f**2 - 6*f. Let o be i(-3). Is p smaller than o?
False
Let n = -2 + 4. Suppose n*d - 15 = -d. Suppose d + 13 = -2*m. Is m <= -8?
True
Suppose 2*w + 1 = -3*y + 34, 0 = -4*w + 4*y + 16. Is w at most -2/15?
False
Let q(c) = c - 8. Let p = 31 - 51. Let j be (p/14)/(2/(-14)). Let z be q(j). Which is smaller: -0.4 or z?
-0.4
Let x = 727 - 1407. Is -681 != x?
True
Let s = -500913/19 + 26379. Which is smaller: 16 or s?
s
Let o = -25 + 30. Suppose 3*y = -o*q - 4, -4*y - q + 11 = -12. Is y not equal to 2/9?
True
Suppose -5*t + 82 = 57. Let l be -3 - (2 - 9 - 0). Does l = t?
False
Suppose -13*h = 777 + 1823. Which is smaller: -198 or h?
h
Let u = -10645 + 10646. Let w be -8*(59/29 - 2). Which is smaller: w or u?
w
Suppose h - 3*h + 2 = 0. Suppose -4*t + 10 = t. Suppose t*j = j - h. Is -1/9 != j?
True
Let q = -190.8 - -190.7. Let m = 141/4 - 35. Is m b