m be f(l). Do m and 0 have different values?
True
Let y = 12/809 + 126941/4854. Let o = y - -79/2. Let z = o - 65. Which is greater: 0 or z?
z
Suppose -2*v + 0*s + 2*s + 12 = 0, -3*v - 2*s = 2. Let o be v - (-10)/(-4)*2. Which is smaller: 17 or o?
o
Let m = 3851/7 + -551. Does -1/2 = m?
False
Let d(x) = -x**3 - 3*x**2 + 5*x - 10. Let s be d(-5). Let l = s + -29. Let g be l/8 - (-4)/(-16). Which is smaller: 2 or g?
g
Let o = -16 - -16. Which is greater: o or -3/203?
o
Let w(h) = -6*h**2 - 3*h - 1. Let b be w(-2). Let u = b + 19. Is u at most as big as -2/35?
False
Suppose 0 = -4*v - 4*n + 1095772, -v = -5*v + 4*n + 1095748. Let y = -3005645/11 + v. Let k = -699 + y. Is k < 0?
False
Let d = 62 + -46. Let w be (d + -11)/((-1)/(-2)). Suppose 39 = 3*o - 3*f, o + 4*f + 6 + 6 = 0. Which is smaller: w or o?
o
Let b be (-4 - -8) + -1 - 20. Let n be b/6 + 3/(-18). Let q(r) = -2*r - 6. Let v be q(n). Is -5/6 less than or equal to v?
True
Suppose 25 = 4*b - 35. Let t = 8 - b. Let z be ((-6)/(-12))/(2/t). Is 1 less than or equal to z?
False
Let k be 175/(-10) + 10/4 + -2. Is -12 less than or equal to k?
False
Let k = -386 - -670. Is k at most 285?
True
Let i = 546 - 544.7. Which is smaller: i or -3?
-3
Let j be (-2)/4*(0 + 2 + -2). Let u be 0/(0 + (j - (0 - -2))). Let w = 1.5 + 4.5. Is u smaller than w?
True
Let h be (-306)/(-8) - 3/12. Let x(b) = -b**3 - 11*b**2 - 34*b - 80. Let l be x(-8). Does h = l?
False
Suppose 0 = -2*a + 2*k - 186 - 6, -5*a = -3*k + 476. Which is smaller: a or -93?
a
Let y = -5.12 + 0.12. Let i = -21 - y. Let d = i - -15. Which is smaller: d or 1?
d
Let a(u) = -u**2 + 13*u - 13. Suppose 3*j + 4*p - 8 = 48, 0 = 4*j - p - 43. Let z be a(j). Which is bigger: -4 or z?
z
Let h = -20.27 - -25. Let d = h + 1.27. Which is smaller: 1 or d?
1
Let h(g) = g**2 + 3*g - 1. Suppose -5*o + 0*j - 15 = -j, 0 = 5*o + 4*j + 15. Let l be h(o). Let d = 396/1537 - 10/53. Is d greater than or equal to l?
True
Let z = 0 + -0.2. Let w = z + 0.2. Let q be ((-1)/(-2))/(15*(-13)/(-780)). Which is bigger: w or q?
q
Let f be (-12)/(-9) + (-20)/24. Which is smaller: -5 or f?
-5
Let o be ((-7)/(-5))/((-1)/(-5)). Suppose o = 5*t - 43. Let z = t + -9. Which is bigger: -1/2 or z?
z
Let u = 0.03 + -1.43. Let b = u - -1. Let q be 10/4*40/(-150). Which is greater: q or b?
b
Let b = 118.9 - 119. Which is bigger: -27/2 or b?
b
Let w = 12 - -128. Is w equal to 133?
False
Let o = 55 - 94. Is -38 less than o?
False
Let i = 11 - -14. Suppose 3*u + 255 = 4*a, 2*u + 215 = 3*a + i. Let y be 1 - 0 - (-285)/a. Which is greater: y or 7?
7
Let c = 1.898 - 2.257. Is c at least 0.2?
False
Let o be (14/4 + -3)/((-9)/(-18)). Which is bigger: 7/5 or o?
7/5
Let r be (43 - 46)/(-2 - -1). Let c(q) = q - 1. Let s be c(3). Suppose -s*l + 4*u + 20 = 0, 0*u - 3*u = -4*l + 25. Is l at least r?
True
Let f be 10/(-25)*(-1295)/(-266). Which is greater: -2 or f?
f
Let w(j) = -2*j**3 - 61*j**2 - 87*j - 3. Let i be w(-29). Is 120 at least as big as i?
True
Let p = 1089.6 + -1115. Is p < 1/2?
True
Let v = 0.09 + -0.07. Let a = v + -0.42. Let q = a - -1.4. Do q and -4/5 have different values?
True
Let j be -10 + (-8 - 6)/(-2). Is j smaller than -20/9?
True
Let c = 40 - 36. Let d be (0 - -46)*c/(-8). Let v = d + 18. Is v <= -6?
False
Let t(m) = -29*m - 13. Let d be t(8). Are d and -245 non-equal?
False
Let i(t) = t + 0*t + 4 - 4 - 12*t**2. Let o be i(-1). Let w = o + 16. Which is bigger: w or 9/4?
w
Let k = 80.9 - 80.1. Which is bigger: k or 9?
9
Suppose 0*h - 3*h = 6. Let x be 3/h*(-88)/363. Let k = x + -50/77. Which is smaller: 0 or k?
k
Let b = -396181/284 - -1395. Is -1 < b?
True
Let d be (7/2)/(1/2). Let r be (1 - 1)/(2/2) - 44. Let v = -37 - r. Is v <= d?
True
Let b = 14 + -8. Let t(g) = -g**3 - 6*g**2 + 5*g - 7. Suppose -h - 2 = 5. Let r be t(h). Which is smaller: b or r?
b
Let x = 49.992 - 50. Let k = -0.102 + x. Are k and 3 unequal?
True
Let k(c) = -7*c - 17. Let l be k(-6). Is -0.02 greater than l?
False
Suppose 0 = d + 4*d + 35. Suppose 10*j - 4*j = 0. Suppose j*f = 3*i - 3*f + 15, -2*i - 22 = 4*f. Is i smaller than d?
False
Suppose 0 = -5*c + 5*r, 4*c - 3*r - 3 = -6. Let m be (-84)/63*(-54)/(-24). Is c equal to m?
True
Let o be 180/(-162)*9/7845. Which is bigger: -2/3 or o?
o
Let p = -7421/819 + 118/13. Are p and -1 equal?
False
Let g = 0.15 - 26.15. Let u = g - -25.99. Which is smaller: 1 or u?
u
Let v = -1317 - -1323. Is v greater than 242?
False
Let h = 2796/11 + -254. Let j(z) = z**3 + 8*z**2 - z - 8. Let k(p) = p**3 + 9*p**2 - 8. Let w be k(-9). Let u be j(w). Which is greater: u or h?
h
Suppose -4*x - 6 = 3*m, -x - 5*m = -3*x + 10. Which is smaller: x or -2/769?
-2/769
Let j = 1819 + -2069. Which is greater: j or 0.1?
0.1
Suppose 0*n + n = 0. Suppose 3*h + h = n. Suppose 2*k = -28*k + 60. Which is smaller: k or h?
h
Let h = -201 + 207. Let w = 3 - -7. Which is bigger: h or w?
w
Let u be 2*(553/(-196) + 10/8). Is u at least 0?
False
Let b = -6/29 - 73/348. Suppose 6*x + k = 2*x - 6, -3*x + k = 1. Is x at most b?
True
Let s be 1 + -4 - 46/(-18). Let y = -1/9 - s. Let a = -1 + 2. Which is bigger: y or a?
a
Let m = 21 + -11. Let d(i) = -i**2 + 11*i - 7. Let t be d(m). Which is bigger: t or 1?
t
Suppose 4*r - 25 = -5*c, -c + 3 = 3*r - 13. Let u be ((-1)/78)/(r/(-15)). Which is smaller: u or 0?
0
Let z = 57 + -55. Suppose -4*x = -z*q + 2, 5*q = 4*q + 3. Which is bigger: x or -2/375?
x
Suppose 0 = f - 7 + 4, -4*f + 24 = 2*r. Is 52/9 >= r?
False
Let r(k) = k**3 + 8*k**2 - 4*k + 11. Let v be r(-5). Is 108 less than or equal to v?
False
Let c be (-36795)/446*(-23)/10. Does 191 = c?
False
Let q = 0.069 - 38.069. Let p = 0.1634 + -0.0634. Are q and p non-equal?
True
Let u = -100542/11 + 9132. Is -7 not equal to u?
True
Suppose 3*k + 3 = 0, -2*j - 5*k = 3*j - 5. Suppose -j*h = -2*u - 3*u + 1, -4*u + 5 = -3*h. Let m = -4 - h. Is -2/5 at least m?
True
Suppose -3*b - 108 = -5*b - u, -4*u = -b + 54. Suppose 4*c + 0*c - 5*a + 33 = 0, 4*c + b = -2*a. Is c equal to -12?
True
Let i = 556 - 22795/41. Is 0 not equal to i?
True
Let l = -0.26 - 0.14. Let u = 0 + l. Which is smaller: -1/3 or u?
u
Let s = 93 - 650/7. Let z be 4/(-18) - 87/(-27). Let c be (z/8)/(21/14). Is c > s?
True
Let v(z) = 8*z**3 + z**2 - 1. Let w(n) = -n**3 + 5*n**2 + 7*n - 3. Let o be w(5). Let u be (-40)/o - (-1)/4. Let l be v(u). Is -8 less than l?
False
Let t = 0.44 - 0.8. Which is bigger: t or -2/3?
t
Let c(i) = i**3 - 7*i**2 - 55*i + 278. Let x be c(6). Let y = -99 + 10. Do y and x have the same value?
False
Let l be 1 + 3 - 0/(-7). Is -11 at least l?
False
Let z(o) = o**2 - 10*o + 8. Let s be (-1)/(1*1/17). Let x be (s + -1)*1/(-2). Let r be z(x). Which is smaller: -4/7 or r?
r
Let c = 0 + 0. Let b be -48*1*4/(-8). Let s be -3*((-68)/b + 3). Which is smaller: s or c?
s
Let u be ((2 - 3) + 22)*78/45. Let v = 36 - u. Which is smaller: v or 4/7?
v
Suppose -79*b + 84*b + 15 = 0, 5*n - 2*b = 2981. Which is smaller: 593 or n?
593
Let v(h) = -3*h + 63. Let y be v(18). Let o be y*(-1)/((-36)/40). Let s be ((-2)/(-4))/((-2)/(-36)). Is s != o?
True
Let v = 102 - 150. Which is bigger: 0.1 or v?
0.1
Let g = -1.322 - 0.028. Let q = g + 1.1. Let n = q + 0.05. Is n smaller than 0?
True
Let v(a) = 24*a - 11. Let y be v(1). Which is smaller: y or 14?
y
Let r = 0.4 + -1.9. Let g = 265.3 - 268. Let y = r - g. Is y != -1?
True
Let k = -1126 + 964. Does -163 = k?
False
Let a = 787.499 - 790. Let f = -0.101 - a. Which is bigger: f or 1/2?
f
Let z = 1401 + -1390. Suppose -55 = -6*n + n. Is z smaller than n?
False
Suppose 2*r - 4*o + 16 = 0, -5*o + 16 = -o. Suppose 89 = 5*w + 2*f - 3*f, r = -5*f - 20. Is w greater than or equal to 16?
True
Let r be 24/(-36) + (-565)/3. Let f be (r/(-36))/((-3)/5). Is f at most as big as -8?
True
Let t(p) = -p**3 + 24*p**2 - 22*p - 19. Let x be t(23). Let w = 2 + 2. Is w equal to x?
True
Let f(b) = -b**3 + 11*b**2 - 6*b + 5. Let i be f(10). Let l = i - 87. Let u be 3/(-15) + l/(-10). Is u greater than 5?
False
Let z = -10 - -7. Let a = 16102/11 + -1464. Which is greater: a or z?
a
Let o(h) = -10*h**2 + 2*h - 2. Let i be o(2). Let x(s) = 38*s - 1292. Let q be x(33). Is i at most q?
True
Let x = 2339 - 84209/36. Do -1 and x have different values?
True
Suppose 3*n - 3*k - k = -22, 2*n = -2*k + 4. Let x = 325 - 332. Which is