to d?
False
Let z = -0.057 - -1.057. Let h = 50 + 7. Is h < z?
False
Suppose -4 + 3 = d + 2*f, 4*f = 5*d - 37. Suppose 0*g + 3*g - 2*j + 80 = 0, 0 = -g + d*j - 5. Does -30 = g?
True
Let i = -30 - -29. Let p be 12 - (2 + i + 0). Is 10 != p?
True
Let g be (-2 - 1/2)*10. Let z = 1088 + -1087.9. Which is greater: g or z?
z
Suppose -4*s = -3*f + 28, 3*f + 1 = -2*s + 5. Suppose -f*n + n = -2*l + 13, 2*n + 4*l + 14 = 0. Is 5 > n?
True
Let y = -590 + 586. Is y less than -39/14?
True
Suppose -2 + 5 = 3*o. Let p(r) = -2*r**2 - o - r + 6*r**2 - 5*r**2 + r**3. Let m be p(2). Which is bigger: 1/9 or m?
m
Let d = 1 + -2. Suppose 0 = -t + 4*f - 7, -5*t + 10*t = -f + 28. Suppose u + y = -8, 4*u - t*u = -y + 10. Is u not equal to d?
True
Let x(q) = -2*q**3 - 13*q**2 + 3*q - 5. Let o be x(-7). Let m(z) = z**3 + 8*z**2 - z + 17. Let s be m(-8). Is o greater than s?
False
Let n be (-8 + -2)/(-2) - 4. Which is smaller: 117 or n?
n
Let l = -0.2 + -0.8. Let o = l - 0. Let z = 2049.01 + -2049. Is z > o?
True
Suppose 0*s = -s - 4*i + 5, -2*s - 3*i = -5. Let o = -4/13 - -25/39. Is o > s?
False
Let f = -23 - -26. Suppose 4*h - f*d - 14 = 0, -2*h - 5*d + 20 = -0. Suppose -2*k = -h*k. Which is bigger: -2/61 or k?
k
Let i be (-204)/54 - (-1 - (-22)/18). Let o be (5/10*2)/i. Is 2/9 at least o?
True
Suppose -x = -k + 17 - 10, 2*k + 4*x = -4. Which is smaller: k or 3?
3
Suppose 3*f + 9 + 1 = 2*w, 0 = w - 5*f - 19. Is -11/9 at most as big as w?
True
Let t = -83 - -81. Which is smaller: 50 or t?
t
Let d = 338 - 872. Let b be -1*8/60 - d/1305. Are b and 1 non-equal?
True
Let m = 13 - 9. Suppose 3 = m*s - 5. Is s <= -2/11?
False
Let h(d) = d**3 - 2*d**2 - 15*d + 18. Let l be h(5). Is 2 less than l?
True
Suppose -16*m - 288 = -12*m. Let r = m - -45. Suppose o + o - 4*i + 40 = 0, 4*o + 2*i = -110. Is o < r?
False
Let t be (-6)/(-5)*(-20)/6. Let o = -43 - -35. Are t and o non-equal?
True
Let a = 52847/1309 + -5565/136. Let o be ((-3)/(-11))/((-7)/(-2)). Let s = a - o. Is -2 equal to s?
False
Let r = 1289499/500 + -2579. Is r not equal to 0?
True
Let g be (-8)/6*(4 + -1). Let b be (-140)/6 - g/12. Let a = -35 - b. Is a at least -12?
True
Let j be 2*-86*21/(-6). Let d = j + -3026/5. Is d > -2?
False
Let m = -2/635 - 1264/1905. Let s be 1 - 0 - 1/(-3). Is s at most as big as m?
False
Suppose 0 = 2*w - 2*y - 2, 3*w + y = -8 + 3. Let s be 1 + (-2)/(-5) + w. Let m be ((-1)/(-3))/((-31)/93). Which is smaller: s or m?
m
Let r be 26/(-13) - (0 - 4). Suppose v - 2*k + 4 = 0, 4*v + 4 = -v + r*k. Are v and -1/3 unequal?
True
Let i = 215745/316 + 396/79. Let u = 12963/20 - i. Let r = 40 + u. Which is smaller: r or -8/7?
-8/7
Let b = -104/3 - -34. Let x be (-36)/39 - (-31)/(-403). Is x less than b?
True
Let r(g) = -g**2 + 48. Let q be r(-7). Which is greater: -3/28 or q?
-3/28
Suppose 24 = 3*d + 6. Suppose 4*h - d*h - 6 = 0. Are 2 and h unequal?
True
Let x be (66/(-24))/(3/12). Let y(o) = -o - 5. Let j be y(x). Let k(v) = v**2 + 5*v - 29. Let r be k(-9). Is r at least as big as j?
True
Suppose 0 = 2*o + 26 - 24. Is o not equal to 2/89?
True
Let d = 85 - 92. Let b(g) = g + 1. Let j be b(3). Suppose 4*p + j*r = -11 - 5, -p - 12 = -3*r. Which is smaller: d or p?
d
Let y be -2 + 2 + (-4)/14. Is y bigger than 1/28?
False
Let r = 11 + -9. Let f = 2.06 - r. Let x = 0.16 - f. Which is smaller: x or -0.12?
-0.12
Let y(t) = 3*t**2 + 28*t + 1. Suppose 2*f + 3*p = -11, -2*p - p = -9. Let n be y(f). Which is smaller: 1 or n?
1
Let m(i) = -4*i**2 - 2*i - 1. Let t be m(-2). Let w = -68 - -71. Which is smaller: t or w?
t
Let m(c) = -c**3 - 10*c**2 - 17*c - 4. Let h be m(-6). Are -580/13 and h unequal?
True
Let k = -26.5 + -1.5. Let v = 19.5 + 8.5. Let z = k + v. Which is greater: z or 6?
6
Suppose -5*m - 10 = 5*q, -5*q + 6*m + 11 = 4*m. Let h(f) = 3*f**2 + f - 1. Let g be h(q). Suppose 8 = -2*u, -3*u + 4*u - 2 = g*t. Which is greater: -3/4 or t?
-3/4
Let f(n) = -2*n - 6. Let d(b) = b**3 + 9*b**2 + 9*b + 4. Let k be d(-8). Let o be f(k). Suppose 0 + 10 = o*v. Which is smaller: 13/3 or v?
13/3
Let f be (-3)/18*8/(-6). Suppose c - 3*u + 3 = 5*c, 3*u = 3*c + 24. Let r be 12/(-10) - (-4 - c). Are r and f unequal?
True
Let p(w) = 2*w - 16. Let m(a) = -a**3 + 11*a**2 + 12*a + 12. Let z be m(12). Let j be p(z). Suppose j*i = 11*i + 12. Which is smaller: -2 or i?
i
Let b = 7.1 - 8.08. Let g = b + 0.9. Is -1 <= g?
True
Suppose -1139*o - 12 = -1127*o. Which is smaller: o or 2/3031?
o
Let t(h) = 5*h - 6. Let q be t(3). Let x = -122 + 121. Which is smaller: x or q?
x
Suppose 4*x - 12922 = -3*z, -3*x + 2*z = -5*x + 6462. Let g = x + -668405/207. Which is smaller: g or 1?
g
Let t = 17 - 16.7. Let w = 0.1 + -0.4. Is w > t?
False
Let g be (-360)/(-64)*2084/10. Let c = 1165 - g. Let d = -7 - c. Do d and 2/19 have different values?
True
Let b be 2 - (2/(-2) - 1). Let g(d) = d - 22. Let t be g(28). Is b > t?
False
Let k = -12 - -35. Suppose k = -u - 2*r, -u - 2*r - 23 = 2*r. Let n = u - -25. Which is smaller: 6/11 or n?
6/11
Suppose -3*o + 8 = 3*n - 4, 0 = -4*n. Suppose -o*r - 10 = r, -5*u + 5 = -5*r. Let i = 329 - 4278/13. Which is greater: u or i?
i
Let c = -21 - -38. Suppose -4*q + 31 = -c. Suppose -z - 47 = -5*t + 15, 5*z + 50 = 5*t. Are t and q unequal?
True
Suppose -4*b = 2*k + 427 + 63, 0 = 5*b + 2*k + 611. Is b != -122?
True
Let x = 37790 - 37964.83. Let p = x + 176. Let d = p - 0.17. Is -14 equal to d?
False
Let k = 42 - 41.9. Let a = 0.1 - -0.1. Let b = a - k. Which is greater: -5 or b?
b
Let x = 55 - 55.41. Let y = x + -2.59. Let f be 5/2*4/5. Which is smaller: y or f?
y
Let r = 8 + 0. Suppose 2*m - 2*f = -r + 4, 0 = 3*m + 4*f - 22. Which is smaller: m or 3?
m
Let r = -14 - -4. Let f = -12 - r. Suppose -5*s + 1 = -6*s. Which is bigger: s or f?
s
Let b = 35 - 18. Let u = -25 + b. Is u > -8?
False
Suppose -2*k + 10 = 4*d, -6*d + k + 23 = -d. Let r = d + -1. Let u be 6/9*r/(-7). Which is bigger: 10 or u?
10
Let w be 7/6 + (-54)/(-12) + -6. Which is bigger: w or -71?
w
Let m = -61251/2035 - -301/10. Is 1 greater than or equal to m?
True
Let y = 2 + -44/7. Which is smaller: y or -5?
-5
Let d = -27.023 + 0.023. Let q = d - -21. Which is smaller: q or -2/5?
q
Suppose -5*b + 3*z - 6 = 0, -b + 5*z - 10 = b. Let a = -5998/3 - -2055. Let c = 55 - a. Which is greater: b or c?
b
Let o be ((-26296)/783902)/(2*2/6). Let w = 4/421 + o. Which is greater: -1 or w?
w
Let n = -2458 + 2453. Suppose -5*w - 1 - 4 = 2*j, -3*w = 3*j - 6. Which is smaller: w or n?
n
Let u(y) = 2*y**2 - 34*y - 35. Let f be u(18). Is f greater than or equal to 4?
False
Suppose -3*b + 15 = z + 16, 5*z - 8 = -2*b. Let n be 82/(-105) + 4/6. Is n at most b?
False
Let u = 129 + -126. Let k be (906/126 - u) + -4. Is k != 0?
True
Let n = 53 + -54. Which is smaller: n or 3/148?
n
Let a(k) = 2*k**3 + 15*k**2 + 5*k - 14. Let n be a(-7). Suppose 3*w + 7 - 7 = n. Which is smaller: 6/25 or w?
w
Let f(q) = -q**3 - q**2 - 2. Let n be f(-2). Suppose -2*h = -4*o + 4 - 0, -n*o = 5*h - 14. Suppose 8*j - 13 = -u + 3*j, 0 = 5*j - 5. Which is smaller: u or o?
o
Let d(m) = 5*m + 12. Let r(y) = 10*y + 24. Let k(o) = -9*d(o) + 4*r(o). Let i be k(-3). Is 5 at most i?
False
Let k be -2*(-3)/10*(-1440)/(-32). Which is greater: 28 or k?
28
Let v(q) = 4*q**2 - 2. Suppose 4*d = -3*p - 6, -2*p = p - d - 9. Let z be v(p). Suppose -2*a = a + 15, -4*a = -2*s + z. Which is bigger: s or -4?
s
Suppose 37 = 28*w - 19. Is 32/19 smaller than w?
True
Suppose 4*l - 3*n = 48, 3*l - 8*n = -3*n + 25. Suppose 6*a - l = a + 3*x, -4*a + 4*x + 20 = 0. Is -2/39 at least as big as a?
False
Let m = 496.7 + -432. Let g = m + -63. Which is bigger: 1/2 or g?
g
Let c(r) = 3*r + 44. Let b be c(-12). Suppose -3*v = 7 + b. Which is greater: -8 or v?
v
Let y be (-19)/((-114)/(-12))*4/(-8). Suppose -3*u + 16 = 2*f - 4*u, -5*u - 50 = -5*f. Let l be (8/f)/((-21)/(-9)). Which is smaller: y or l?
l
Let r(h) = -3*h - 18. Let v be r(-6). Let d be ((-7)/(-3))/((-10)/(-6) + -2). Is v smaller than d?
False
Let d(u) = -1 + 7 - u**2 - 2 - u - 8. Let r be d(0). Is -3 < r?
False
Let g(r) = r**2 + 3*r - 28. Let t be g(4). Is t smaller than -1/86?
False
Suppose -5*r = -161 + 21. Let s = r - 28. Let u = 29/192 + 1/64. Is u smaller than s?
False
Let n be (99 + 0)/(14/12*-3). Are -28 and n unequal?
True
Let f = -6.4 - 119.6. Is f at least