-3*d - 31 = -o. Is d not equal to -10?
True
Let t = 0.027 + -2.027. Let y = t - -1.95. Do -5 and y have different values?
True
Let a = 59603/5 + -11874. Which is smaller: a or 46?
46
Let m = 656 - 656. Which is smaller: -1/441 or m?
-1/441
Suppose -4 = 3*o + 11. Let q = -1083 - -1084. Which is bigger: o or q?
q
Let f = 6 - 5.6. Let n = 7 - 3. Suppose -2*o - 4*z = -n, 2*o = 4*z + 1 + 3. Which is bigger: f or o?
o
Let r = 400/143 + -24/11. Is r <= -2?
False
Suppose -o = 1 - 3. Suppose 34 = -0*d - o*d. Is d <= 1/4?
True
Let m(i) = -10*i - 121. Let d be m(-22). Which is greater: 98 or d?
d
Let f = 52.4 - 55. Let v = f - -2.7. Is -24 > v?
False
Let f = -5755/7 - -825. Let a = 2 + 1. Is f at most as big as a?
True
Let j(n) = n**2 - 12*n + 21. Let l be j(7). Let p be 4 + 0 - l/(-4). Which is greater: 0 or p?
p
Let q = -0.678 - -0.778. Is q at most -9?
False
Suppose -3*h + r + 419 = 3*r, -5*r = -4*h + 597. Which is smaller: h or 139?
139
Let j be 1/2 - (-1530)/(-68). Which is smaller: -3 or j?
j
Let a = -76 - -89. Suppose 8*n = 9*n - a. Which is smaller: n or 23/2?
23/2
Let s be (-3)/(-12) - 2/8. Let k be 2/5 - (-412)/20. Suppose -k = x - 2*b - 3*b, 9 = 3*x + 3*b. Is x >= s?
False
Let j = 37 - 38. Let d(b) = 9*b + 7. Let l be d(-1). Is l <= j?
True
Suppose -7*w + 2*w - 15 = 0, -4*r - w + 25 = 0. Suppose -2*o + 1 = r. Let a = 34 + -36. Is o smaller than a?
True
Let u = -466 - -463. Let a be 0 - (2 - (-1 + 0)). Let m = -4 - a. Which is bigger: u or m?
m
Let v(f) = 9*f + 14*f**2 + f**3 + 0 - 4 - 10 - 26*f. Let o be v(-15). Is o smaller than 15?
False
Let c be -25*(-1)/2*14/7. Which is smaller: 15 or c?
15
Let c be (22/55)/(4/(-10)). Does c = -1/37?
False
Let t = 90 - 558. Let v = t - -14975/32. Which is bigger: 1 or v?
1
Let i = 35.8 - 35.6. Is i at least 575?
False
Suppose 4*m = 46 - 18. Suppose -6*k - 31 = 17. Let j = k + m. Is -1/5 less than or equal to j?
False
Let c = 14 - 11. Let u = 39 + -39.1. Which is smaller: c or u?
u
Let u be ((-39)/9 - -4)/(21/18). Is u at most as big as 0?
True
Let v be 0/((-36)/(-30)*-5). Is 4.51 greater than v?
True
Suppose -23*f + 38*f - 4905 = 0. Which is smaller: f or 328?
f
Let v be (-5)/((-1)/(126/5)). Which is smaller: v or 128?
v
Suppose 343 = 7*m - 987. Does m = 190?
True
Let z = -0.8 - -22.8. Let k = 7.4 - 1.4. Let i = z - k. Is i smaller than 0?
False
Let i = -35 - -35.54. Let h = i + -0.32. Is h < 2?
True
Let k(m) = m + 4. Let d be k(-10). Let o be (-4)/d*(-63)/14. Let a be ((-4)/(-18))/((-2)/o). Is -0.3 greater than or equal to a?
False
Suppose 4*h = i + 4*i + 53, -2*i + 6 = 0. Let x = -15 + h. Suppose 0 = 2*a - 2 - 2. Do a and x have the same value?
True
Let z(j) = 2*j**2 + 11*j + 3. Let h be z(-5). Let l(g) = 5*g**3 + g**2 - g + 4. Let f be l(h). Which is smaller: -29 or f?
f
Let i be (-158)/(-3)*(2 + -14)/(-4). Let n = i + -137. Is 43/2 equal to n?
False
Let i(w) = w - 4*w**2 + 3 - 2*w + 3*w**2 - 1. Let j be i(1). Are j and 7 equal?
False
Suppose -2*d = 4*y - 4*d - 12, 0 = -3*y - 5*d - 17. Is y bigger than -3/242?
True
Let y be 0/(1*((-10)/(-5) + -3)). Which is bigger: y or 2/41?
2/41
Suppose 3*g + 42 = -u, -2*u = -3*g - 26 - 25. Let l = 17 + g. Let b be ((-4)/10)/(l/(-10)). Is b at least as big as 5?
False
Let w = -400 + 367. Is w at most as big as -11?
True
Suppose -6*n + 3*n + 15 = 0. Let i = 5 - n. Suppose i = -2*k + 8 - 0. Is 2 greater than or equal to k?
False
Let h = -127 - -129. Let r(p) = -2*p**3 - 2*p - 1. Let f be r(-1). Suppose 0 = h*w - f + 1. Is w bigger than -2/3?
True
Suppose 4626 = -39*a - 6021. Which is bigger: 1/7 or a?
1/7
Let x(w) = w**2 - 2*w + 4. Let i be x(0). Suppose 2*s = 6*s - i*b + 8, 0 = -5*s - 5*b - 30. Is s bigger than -4?
False
Let n = -36 - -36.19. Let t = -0.1415 + -0.1485. Let x = t + n. Is -0.19 less than x?
True
Let s(u) = -u**2 + 17*u + 37. Let p be s(19). Let f be 5/16 + (-1)/4. Is f at least as big as p?
True
Let o = 24 - 23. Let l be -40*(0 + o/(-2)). Let x = 20 - l. Does 0 = x?
True
Let a = 3 - 1. Suppose 5*r = -2*b - 2*b - 9, 0 = -3*b - a*r - 5. Let j = b + 1. Is 2/7 at most as big as j?
False
Suppose 93 + 171 = 4*n. Let l = n + -460/7. Are 6 and l nonequal?
True
Let i(b) = -b - 1. Let x(s) = 3*s + 8. Let h(m) = 4*i(m) + x(m). Let l be h(-13). Are l and 18 equal?
False
Let y be (-22)/12 + 8/24. Suppose m - 9 = 4*m. Does m = y?
False
Let v be 1*-6 - 464/58. Which is smaller: v or -6?
v
Let r be (-5)/21 - (-1)/(-3). Let h(m) = -m**3 - 5*m**2 - 4*m - 2. Let t be h(-4). Are r and t unequal?
True
Let b(m) = m**2 + 5*m - 5. Let h be b(-4). Let c(v) = v**3 - 4*v**2 - 147*v + 294. Let r be c(2). Which is smaller: h or r?
h
Suppose 0 = 3*y - 5 - 4. Let j(d) = -3 - 3*d - y + 3 + 4. Let t be j(4). Is -10 != t?
True
Let z = -100 + 1298/13. Suppose 0 = -3*p + 8*m - 11*m, -p - 4 = -m. Which is smaller: p or z?
p
Suppose 4*l - 1401 = -517. Which is smaller: 224 or l?
l
Suppose 0 = -2*v + 3*m - 19, 5*v + 14 + 81 = -2*m. Let r = 19 + v. Is r > 12?
False
Let g(t) = t**3 - 11*t**2 + t - 1. Let q be g(11). Suppose q*d = 14*d - 68. Is d != -1?
True
Let g(j) = -5*j**3 + 12*j**2 + 12*j + 4. Let k(l) = l**3 - 3*l**2 - 3*l - 1. Let i(x) = 2*g(x) + 9*k(x). Let b be i(-2). Which is smaller: b or -3/34?
-3/34
Let k(b) = b**3 + 7*b**2 + 12*b + 8. Let i be k(-7). Let l = 68 + i. Which is smaller: -9 or l?
-9
Let h = -9843 + 2500125/254. Which is greater: h or -1?
h
Let a = -3/1598 - -2684679/20774. Let c = 129 - a. Which is smaller: c or -0.1?
c
Suppose 4*n - 55 = 5*p, 7*p - 3*p + 18 = -2*n. Suppose 0 = -b + 1, 7*x = 4*x + 2*b - 107. Let i be (-10)/x + (-82)/p. Is 12 <= i?
True
Suppose -5*l + 25 = -0*q + 5*q, -q = -3*l + 15. Suppose 45 = l*z + 3*x, 0 = 3*z + x + x - 26. Is 11 at least z?
False
Suppose -49*s - 4 = -45*s. Let n be ((-6)/(-190))/(4/(-10)). Which is smaller: s or n?
s
Let u = 1786/2015 - 66/65. Let j(f) = -f**3 + 6*f**2 + f - 5. Let c be j(6). Which is greater: c or u?
c
Suppose 2*b - 5*p = 46, 0*b - b + 2*p = -21. Suppose 21 = c - 5. Suppose v - 3*v + c = 0. Is b less than or equal to v?
True
Let w = -413515/4191 + 1/1397. Let h = w - -99. Is -10/13 smaller than h?
True
Let y be (15/(-130))/(6/(-388)) - -1. Is 9 greater than y?
True
Let f be (33/(-6))/(16/(-64)). Which is smaller: 25 or f?
f
Let f = 234 - 433. Which is smaller: f or -200?
-200
Suppose -5*j - z = -29, 0 = 3*j - z - 11 - 8. Let l(t) = 8*t**2 + 30*t - 1. Let y be l(-4). Let q = y - j. Which is smaller: 4 or q?
q
Let t(w) = 3*w**3 - 11*w**2 - w - 19. Let b be t(4). Which is bigger: -13 or b?
b
Suppose 4 = -f, -4*f - 16 + 6 = 3*j. Let b = -70 + 70. Let l(a) = -a**2 + a. Let c be l(b). Is c equal to j?
False
Let u = -0.0126 - 0.0874. Is -3.53 at most as big as u?
True
Suppose 3*y + 0*j + 6 = 3*j, 0 = 4*y + 4*j + 40. Suppose 5*i - p + 27 = 0, 25*i - 30*i - 5*p = 75. Is y at least as big as i?
True
Let u = -0.0213 - 0.0987. Are -0.1 and u equal?
False
Let s be (-9 - (-78)/18) + 4. Is s <= -691?
False
Suppose b + 4*b = 10. Suppose -8 = o + 5*q, 8*o = 3*o - b*q - 40. Let h be (12/(-72) - (-166)/(-12)) + 6. Are o and h nonequal?
False
Let n(o) = -o + 3. Let f be n(13). Let t = -1 + f. Which is smaller: t or -12?
-12
Let x = -0.41 - -0.23. Let u = -0.28 - x. Let m = -3.1 - -3.3. Is m less than u?
False
Suppose -1974 = -7*t + t. Suppose -8*b - 111 - t = 0. Is b less than or equal to -53?
True
Let k(r) = -r + 9. Let o be k(10). Let f be o*1/(-7)*-2. Let h = 5.6 - 6. Does f = h?
False
Let v(p) = -19 + 19 + 3*p**3 + 11*p**2 + p - 2*p**3. Let u be v(-11). Suppose -39 + 15 = 2*q. Is u greater than q?
True
Let h(u) = -32*u - 278. Let k be h(-16). Do 233 and k have different values?
True
Let d be 2/1060*(16 + 2 - 16). Is d bigger than 0?
True
Let h = 52 + -54. Let u be h/(-11) - 2/11. Are u and 16/15 equal?
False
Let k be 2/4 - (-27)/6. Let n = 7 - k. Let t be 2/7 + 24/14. Is t bigger than n?
False
Suppose -4*f + 3*m = 0, -3 - 19 = -2*f - 4*m. Suppose 3*c = -2*c + a + 15, 5*a = 0. Suppose 0*x + 3 = c*x. Is f != x?
True
Let k = 10 + -16. Let s be (-4)/k - 8/(-6). Let f be (-7 + 11)*(-2)/(-44). Are f and s equal?
False
Let f(a) = -a**2 - 4*a + 2. Let s be f(-5). Let p be (-6)/s + 69/(-24). Is p at most as big as -1?
False
Let w be 26/8 - (-3)/(-12). Suppose w*u - 4*m = 8*u - 125, -5*u + 4*m = -85. Suppose u = -2*s + 2*b - 1, 4*s =