*r - z = r. Let n be ((-10)/(-4) - r)*2. Do n and 3/2 have different values?
True
Let u be (27/12)/((-1)/4). Which is smaller: -7 or u?
u
Let c be (1 - 0)/((-2)/10). Suppose -2*n + 4*n = -8. Let y be 2/(-8) + (-5)/n. Is y >= c?
True
Let d be ((-3)/8)/((-3)/(-2)). Let j = -4 + 4. Suppose -4*h - 5*i + 27 - 2 = 0, j = -3*h + 5*i - 25. Which is smaller: d or h?
d
Let f = 5 + -3. Let r = -2 + f. Suppose 2 + 2 = -i + j, -4*i - j - 1 = r. Which is smaller: -9/5 or i?
-9/5
Suppose -m = 2 + 1. Let s be 3 + (-2)/(-3)*m. Is 1 less than s?
False
Let o = 7 + -7. Let n = -12 + 11.3. Let c = n - -0.3. Do o and c have the same value?
False
Suppose 4*i + i = 0. Let y = -5/7 + -1/28. Is i smaller than y?
False
Let t(p) be the third derivative of p**6/120 - p**5/12 + p**4/8 + 2*p**3/3 - 2*p**2. Let z be t(4). Let o = z - 1. Which is bigger: -0.1 or o?
-0.1
Suppose -x - 3*x - 5*j = -30, 0 = 4*x + 3*j - 34. Which is bigger: 17/2 or x?
x
Suppose 6 = 4*n - 2. Suppose -5 = -5*l + 10. Let z be n - l/(9/6). Which is greater: z or 3?
3
Let j(f) be the third derivative of 0 + 0*f + 1/6*f**3 + 2*f**2 - 1/8*f**4. Let r be j(1). Is -1 <= r?
False
Let g(f) = f**2 - 12*f + 15. Let t be g(10). Which is smaller: -31/5 or t?
-31/5
Let h be (12/56)/(6/8). Let k = 1 + -1.5. Let c = k + 0.4. Which is greater: c or h?
h
Let t(z) = -3*z**3 - 4*z**2 - 3*z - 2. Let f be t(-2). Suppose 8*g = 5*g - f. Which is bigger: -7 or g?
g
Let y be 406/(0 + 6/(-14)). Let o = y + 958. Let g = o - 346/33. Does 1 = g?
False
Let i = 14 + -4. Let q = i - 10. Let z be (2/(-4))/(1/2). Is q not equal to z?
True
Let q be 116/(-28) + 1/7. Are -1 and q non-equal?
True
Suppose -4*w + 335 = -293. Let g = w + -1101/7. Is 1 at most g?
False
Let z = 6.049 + -0.049. Which is smaller: 2/3 or z?
2/3
Let o(p) = 2*p**2 - 2. Let f be o(-2). Suppose -1 = 5*k - f. Is -4 equal to k?
False
Let a = 52.9 + -53. Is -12 at most as big as a?
True
Let n = 19 + -18.94. Let v = 1.04 + -1. Let h = v + n. Which is bigger: h or -3/5?
h
Let n = 19 - 18.8. Is n <= 1/3?
True
Let n = -924 + 15700/17. Is -1 >= n?
False
Suppose 3*x + k - 21 = 4*k, x - 4*k = 22. Let g = -11 + 12. Is g >= x?
False
Let y(z) = z**2 - 9*z - 6. Let a be y(9). Let n be (-16)/a + -3 + 1. Which is greater: 2 or n?
2
Let t = -7 - -10. Let z(j) = 4*j - 4. Let p be z(t). Suppose -4*m = 2*x + 15 - 5, -p = 4*m. Is x equal to 1/3?
False
Let c = -13.876 + -0.124. Is c smaller than 0?
True
Let j = -9 - 0. Let q = j + 9.1. Are q and -4 unequal?
True
Let i be (-168)/345 - 4/(-10). Is -1 at least as big as i?
False
Let j = 5.5 + -0.5. Let v = 4 - j. Which is greater: 0.04 or v?
0.04
Suppose 4*j = j - 18. Let p(n) = -n**2 + n + 2. Let l be p(2). Suppose 5*w = -l*w. Is j <= w?
True
Let l = -206934 - -1860136/9. Let d = -252 - l. Which is bigger: -1 or d?
d
Let a be (-13)/26*(-1 + 1). Which is bigger: a or 2?
2
Let h = 15117/20 - 756. Let g = h - 7/20. Let q = 0 - 0.1. Which is greater: g or q?
q
Let n(c) = -5*c - 4. Let h be n(-3). Suppose 2 = -h*b + 9*b. Which is greater: b or 2?
2
Let r(n) = -2*n**2 - 6*n - 16. Let k be r(-4). Is -26 < k?
True
Let d = -3 + 3. Suppose d*s = 3*s - 6. Are 2 and s non-equal?
False
Let c = 8 + -7. Which is smaller: -11 or c?
-11
Suppose 0 = 2*n - 6*n + 12. Suppose -4*o = -4*c - 56, 2*o - c - 24 = -0*c. Suppose -n*t + z + o = -4, -2*z + 8 = 3*t. Which is smaller: 3 or t?
3
Let q be 6/(-27) - 690/54. Does -13 = q?
True
Suppose 3*w - 32 = -2*k + 5, w - 4 = k. Which is greater: 6 or w?
w
Let a be 68/20 + (-2)/5. Suppose -3*x = -5*z + z + 1, -a = -3*z + 3*x. Which is bigger: z or -1?
-1
Suppose 5*o + 62 = m, -3*o = 2*m - 8*o - 129. Which is smaller: m or 66?
66
Let s = -71 + 506/7. Is 2 equal to s?
False
Let v = 239/4 + -777/13. Is -1 smaller than v?
True
Let n = -6 - -4. Let y = 2 - 2. Suppose -3*t + 11 = -s, -5*s + 3*t = -y*s + 19. Is n <= s?
True
Let r(c) = 3*c + 15. Let p be r(-6). Let y = 22 - 14. Let k = p + y. Is 5 < k?
False
Let x = -1.13 - 0.17. Is x smaller than -1?
True
Let k = -69 + 62. Is 2/5 smaller than k?
False
Let v = 4 + -7. Let k(y) = 2*y**2 + 10*y + 5. Let r be k(-4). Is v > r?
False
Let z = -516/7 + 75. Which is greater: 0 or z?
z
Suppose 0*i - 3*i = p + 53, -4*i - 60 = 4*p. Is -17 != i?
True
Let g be 10/(-75) - 21/(-45). Which is smaller: -0.02 or g?
-0.02
Let j be 25/(-15) + (-4)/(-6). Let q = -2 + 1. Is j >= q?
True
Suppose 6*q - 15 = q. Suppose -5*l = q + 37. Which is smaller: l or -9?
-9
Let t be (-9)/(-45)*(1 + 4). Is t bigger than -2/35?
True
Let b = 3 + 2. Is b at least 6?
False
Suppose 5*w + 13 = 3. Let m(y) = -y + 4. Let q be m(4). Suppose q*c = -c - 1. Is w < c?
True
Let l = -899/215 + -4/215. Which is greater: -5 or l?
l
Suppose -l + 18*q = 19*q - 2, 5*l + q = -2. Let v be (-2 - 0)*6/8. Are v and l equal?
False
Let o(p) = -p**3 + 4*p**2 - 2*p - 4. Let s be o(3). Is -1/36 bigger than s?
True
Let x = -1 - -3. Let f = x - -3. Suppose h = -f*q + 11 + 1, -4*q = 3*h - 14. Is q > 1?
True
Let o(l) = -l**3 - 12*l**2 + 12*l - 12. Let i be o(-13). Is i at least as big as 2/23?
True
Let i be (54/24)/(3/8). Is i at least as big as -1?
True
Let d(h) = 2*h**2 - 7*h + 4. Let u(a) = a**2 + 1. Let x(r) = d(r) - u(r). Let p be x(7). Is 3 greater than or equal to p?
True
Let m = -0.7 + 4.7. Let a = m + -6. Let z = 1.9 + a. Is -2 < z?
True
Let z(r) = -r - 1. Let b be z(-6). Let a = 16 + -11. Is a equal to b?
True
Let i be 2*(-2 + (-5)/(-2)). Let w(u) = 2*u**3 + u**2 + 3*u - 4 - 3*u**3 + i. Let y be w(2). Which is greater: y or 0?
0
Suppose 4*v = i + 8, -2*i = -3*i - 4*v + 16. Suppose -i*t = 5*l + 86, 5*t - 8 = -5*l - 93. Let h be 6/(-15)*15/l. Which is bigger: h or -1?
h
Let y = -0.1 + -0.1. Let l = -0.02 + -1.18. Let h = y - l. Which is bigger: h or -0.2?
h
Let z be (-3 - -2)/5 - 1. Let x = -96 - -96. Is x not equal to z?
True
Let f = 6.8 + -7. Let l = -0.4 - f. Let o = -0.2 - l. Which is greater: o or 2/3?
2/3
Suppose -g - 6*u - 51 = -u, -5*g - 135 = -5*u. Is g not equal to -34?
True
Let t be (-113 + -1)*1/(-4). Let u = -28 + t. Which is greater: u or 1/4?
u
Let l(u) = 3*u**2 + 23*u + 14. Let r be l(-9). Is 50 >= r?
True
Let y be -7 + 0 + 2 + -5. Which is bigger: -9 or y?
-9
Let r be (4/3)/(10/70). Let u = 35/6 - r. Is u bigger than -5?
True
Let q = -12.95 - -13. Which is smaller: q or 0?
0
Let x = 571/7 + -82. Suppose -4 = -h - 5. Which is smaller: h or x?
h
Suppose -s = 127 + 135. Let u be -3 + 4 + s/72. Let v = -26/9 - u. Is 0.2 at most as big as v?
False
Let z = -191/3 - -63. Is z at most as big as 0.03?
True
Let c = -14.8 - 0.2. Is -1 <= c?
False
Let j(x) = x**2 + x + 4. Let l be j(0). Suppose 2*w - l = -0*a - a, -39 = 4*a - 3*w. Let n(h) = -h - 7. Let v be n(a). Which is smaller: 0 or v?
v
Let t = 19 + -20. Are t and -6.6 equal?
False
Let r be (-2)/((-3 - -5)/6). Let l = 4 + -9. Do l and r have the same value?
False
Let l = -0.54 - -0.5. Let d = l + -1.96. Let h = -14 + 13.9. Which is smaller: d or h?
d
Let q = 2583 + -947963/367. Which is smaller: -1 or q?
-1
Let j = 18 - 19. Is j at most as big as 12?
True
Let b be 432/(-14) + 3/(-21). Do b and -29 have the same value?
False
Let q be (8/(-24))/((-92)/6). Suppose 6*v = -v + v. Is v greater than q?
False
Let i = -594 - -334. Let q = -2603/10 - i. Suppose 4*b = 3*p - 15, 3*b + 3*p + 5 = 20. Does b = q?
False
Let g = 0.5 - 0.5. Let s = g + 0.1. Is -1 greater than or equal to s?
False
Let l(t) be the first derivative of -t**4 - t**3/3 - t**2/2 + 1. Suppose 5*w + 5 = -0*w. Let q be l(w). Which is greater: q or 3?
q
Suppose -2*h + 1 = -13. Suppose -4*o = 2*u - 9*o - 1, -4*o = u - h. Let g be (6/10)/(12/30). Which is greater: g or u?
u
Let c(f) = f**3 - 15*f**2 + 14*f. Let q be c(14). Let k = 0.4 - 0.4. Is k >= q?
True
Let u be -1*(-1 - 0 - 0). Let f(a) = -a**3 + 7*a**2 + a - 8. Let k be f(7). Let z be u/(0 + 3*k). Is 0.1 less than or equal to z?
False
Let h(s) = s**3 + 7*s**2 + 7*s + 8. Let c be h(-6). Suppose z - c*b - 77 = 6*z, 0 = 4*z - b + 59. Let r be 12/(-10)*z/42. Which is smaller: -2 or r?
-2
Let q(i) = -i**2 + 14*i - 26. Let w be q(12). Is -17/6 at least w?
False
Let c = 2 + 0. Is -5 < c?
True
Let c = 0 - 0. Let s be 58*(-2 + 14/6). Let y = s + -415/21. Is c at most as big as y?
False
Suppose -5*t - 7 = -4*t. Let l be t/(-28) - 6/(-40). Is 0 smaller than l?
True
Let q = 6 + 