 unequal?
True
Let o be -1 + 1 + -2 + -2. Let q = -3 - o. Let m = 154 + -1075/7. Is m smaller than q?
True
Suppose 16*d = 27*d + 264. Which is smaller: d or -25?
-25
Let o = -3 + 2.92. Let x = o + -0.12. Which is bigger: -1/3 or x?
x
Let r(x) = x**3 - 3*x**2 - 6*x + 6. Let d be r(4). Let u(h) = -h - 2. Let o(m) = m + 1. Let f(z) = 5*o(z) + 4*u(z). Let n be f(0). Which is smaller: d or n?
n
Let k(s) = s**2 - 2*s - 2. Let t be k(3). Is 3/4 greater than or equal to t?
False
Let g = 1497/36533 + -10/307. Let t = -8/119 + g. Is 1 less than t?
False
Let v = -19451/50 + 389. Is v <= 1?
True
Suppose -4*a - a - 50 = 0. Let w(n) = n**2 + 11*n + 14. Let y be w(a). Is y at least 5/2?
True
Let x = 7 - 7. Let p(f) be the third derivative of f**4/24 + 3*f**3/2 + 2*f**2. Let b be p(x). Is 9 smaller than b?
False
Suppose -3*g = -7*g - 4. Let i = 304 - 3950/13. Which is smaller: g or i?
g
Let k(z) = z - 6. Let l be k(5). Let s = l + 2. Which is smaller: -1/3 or s?
-1/3
Let a(d) = d**3 + 5*d**2 - 7*d - 2. Let v = 5 - 0. Let w = v + -11. Let j be a(w). Does j = 4?
True
Suppose -4*l + 94 = -0*l + 2*g, 4*l - g = 79. Suppose -z - 4*h + l = 0, 2*z - h - 8 + 2 = 0. Suppose z*d = 17 + 13. Which is bigger: 5 or d?
d
Let a be -13 + (0 - (-4 - -2)). Let k = 0 + a. Which is smaller: k or -10?
k
Suppose 0 = 3*u - 5*l + 16, -u - 2 = 2*l - 3*l. Let z = 491/3 - 162. Are z and u unequal?
True
Suppose -5*p + 6 + 24 = 0. Let f be (-1 - 0)*(-1 + 2). Let g be (4 + f)*6/3. Is g bigger than p?
False
Let p be 2*((-8)/282)/((-12)/(-18)). Which is greater: p or 0?
0
Let d be 85/(-124) + 12/16. Does d = -1?
False
Let t = 976129/540612 - 2/45051. Let l = t + -5/9. Suppose 2*z = -5*j - 18, 2*z - 14 = -0*j + 3*j. Do z and l have different values?
True
Let j = 69 + -93. Are -23 and j nonequal?
True
Suppose 5*m + 2*q - 11 = -0*q, -3*m - 5*q + 18 = 0. Let f be 12/3*m - 2. Suppose -2*r - 8 = f*r. Is -1/2 bigger than r?
True
Let u = -2 - -9. Let n(y) = 2*y**3 + 17*y**2 - 6*y + 35. Let x be n(-9). Is x equal to u?
False
Let v be (6/(-15))/(2/(-20)). Let j = -8 - -10. Suppose 2*q + j = -3*z + 9, -2*z + q = -14. Is z smaller than v?
False
Let v(x) = -2*x - 2. Let k be v(-7). Let y = k - 10. Which is smaller: 3 or y?
y
Suppose -a = 2*d - 3, 3*d + 0*d - 3 = 0. Suppose -4*w - 4*b = -9*w + 35, b = 2*w - 11. Suppose -w*z = -5*z + 6. Do a and z have different values?
True
Let z = -1027/5 - -206. Which is smaller: z or -3?
-3
Let x be 12/14*(-28)/4. Let h = 0.2 + -0.1. Is h >= x?
True
Suppose 5*n = -4*l + 373, 6*n - 2*n - 20 = 0. Which is greater: l or 88?
88
Let t = 51 - 85. Which is smaller: t or -35?
-35
Let q be (-4 - (-24)/9)/(6/(-3)). Which is smaller: -1 or q?
-1
Let u = -27/748 + -1/44. Does u = 0?
False
Let s = -107 - -84. Is s bigger than -26?
True
Let s(q) = -3*q + 1. Let c be s(1). Let x be (-9)/30 + c/4. Let h be (-1)/2 - 1/(-2). Which is bigger: x or h?
h
Let a = -317/52 + 25/4. Suppose -22 = -w - 5. Let l = w - 18. Which is smaller: a or l?
l
Let y be (2 - (-791)/(-441)) + (-4)/(-18). Which is greater: 1 or y?
1
Let n(s) = s - 3. Let q be n(7). Do q and 5 have the same value?
False
Let h = 3 + -3. Suppose h = -a - a + 4, 2*b + 5*a = 10. Suppose -2 = -t - b*t. Is t smaller than 4?
True
Let r(n) = -4*n**3 - n**2 - 3*n - 2. Let q be r(-1). Let d = -1 - -1. Let u = d + 3. Which is smaller: u or q?
u
Let w(u) = -u**3 + 4*u**2 + 2*u - 5. Let c be w(4). Let b = 1 + c. Suppose -18*k - 85 + 175 = 0. Which is smaller: b or k?
b
Let m be (-9)/(-36) - (-9)/(-6). Let c(t) = -t + 1. Let b be c(-1). Suppose -1 - b = 3*f. Which is smaller: f or m?
m
Let n be (-281288)/(-396) - (-2)/9. Let m = n + -710. Let f = 41/55 - m. Which is smaller: 1 or f?
f
Let r be 9/(-45) - 21/(-5). Suppose 0*i = -r*i. Suppose i = -5*v + v, -4*c = 4*v. Is 0 greater than or equal to c?
True
Suppose 14 = -2*y + 8. Which is greater: -1 or y?
-1
Let b(m) = -m**3 - m**2 - 1. Let x be b(-2). Let f be 6/4*(-7)/(-3). Is f bigger than x?
True
Suppose -5*h + 2 = 7. Which is greater: 10/29 or h?
10/29
Let r(t) = 3*t - 15. Let s be r(10). Suppose 5*o = -5*l - s, -5*o - 4*l + 7*l - 15 = 0. Which is greater: o or -2?
-2
Let f = 3.5 - 3.8. Which is smaller: -10 or f?
-10
Suppose 0 = -8*p + 4*p + 16. Suppose 3*j - 5 = b, j + 3*j - 4 = p*b. Let c be 1/2 + (-1)/j. Which is smaller: c or 1/4?
c
Let j = 7.17 + -0.17. Let u = -83/204 - -5/68. Which is bigger: j or u?
j
Let z = 0.024 + -22.024. Which is smaller: z or 0?
z
Suppose y = g - 5, -4*y = -7*y + 4*g - 18. Let w be (-1)/y*(-4 - -6). Is w > 0?
True
Let y be (100/6)/(9/(-27) + 0). Is -50 at most as big as y?
True
Let o be 14/10 + 2/(-5). Let t be (o*(1 - 1))/(-1). Are 3/4 and t non-equal?
True
Let i = -27 + 26.01. Let t = -1.1 - i. Let d = 0.01 + t. Which is smaller: d or 1?
d
Let d = -1 - -3. Let c = 2.1 - d. Is c smaller than -3?
False
Suppose 3*j = 4*h + 22, 2*j + h + 7 = 29. Let x = 8 - j. Which is smaller: x or -5/3?
x
Let h = 7 + -6. Suppose 27 = -3*w + 6*w. Suppose 5*i - w = u, -u + 2 = u. Which is greater: h or i?
i
Let n = 0.02 + 1.98. Let l = 3 - n. Let m = 0 - l. Which is greater: 0 or m?
0
Let q = 42 - 38. Is 2/3 greater than q?
False
Let f = -1 + 1. Let d be (-2)/(-10) + 826/70. Let l be (-1)/d*(-96)/18. Is l at least f?
True
Let w = -1 - 0. Let l be (-6)/126*6 - (-6)/(-28). Are w and l nonequal?
True
Suppose -3*k = -3*w - k - 4, w - 4*k = -8. Suppose w = 6*t - 3*t + 12. Let s be -3 - 1 - (-6 - t). Is -2 at least s?
True
Let b be -5 - -1 - 377/(-104). Let m = 1 + 1. Which is smaller: b or m?
b
Let a = 17 - 12. Let u be 12/(-40) - 1/a. Let w be (-1 + -1)/(2/1). Is u at least as big as w?
True
Let a be 6/5 + (-32)/(-40) + 2. Is 9 less than a?
False
Let j(g) = -g - 8. Let o be j(-9). Let c(u) = -u**3 - 5*u**2 - u - 1. Let m be c(-5). Let f = m + -3. Are f and o equal?
True
Let o be 20/6*36/5. Let f be (o/9)/(4/6). Suppose -3*d + f = 16. Is d greater than or equal to -3?
False
Suppose 358 + 205 = 2*p - 5*y, 0 = 3*p + 4*y - 810. Let o = p + -3012/11. Let u(w) = w + 3. Let s be u(-5). Are o and s equal?
False
Let r = 4 - 6. Which is bigger: -9/7 or r?
-9/7
Let g be 1/(3/4*4). Let d = -1/15 - g. Is d bigger than 1?
False
Let i be ((-18)/3 - -3) + 5. Suppose -2*l - i + 4 = 0. Is l != -1/4?
True
Let r = 49 - 50. Which is greater: 23 or r?
23
Suppose t - 2 = -1. Let v be 110/(-12) + (-3)/(-2). Let y = v + 170/21. Is y < t?
True
Let g(v) = v**2 + 4*v - 7. Let a be 1/3 + (-48)/9. Let q be g(a). Suppose 3*d = -f - f - 15, -2*f - 6 = 0. Which is bigger: d or q?
q
Suppose -5*t - 8 = -3*t. Let m be t*(-3)/12*3. Let g be m/6 + 0 + 1. Is g > 3?
False
Let i = 69 + -413/6. Let j(y) = y**2 - 2*y + 1. Let d be j(1). Are d and i nonequal?
True
Let u be 2/(-4)*12/18. Do 17/6 and u have different values?
True
Let i = 85 + -75. Is 8 equal to i?
False
Suppose 4*v + 3*j = 259, 4*v - 5*v + 4*j = -79. Is v equal to 67?
True
Let w = 18 + -18. Is w <= 3/22?
True
Let c be 15/(-9) + (-2)/(-4)*2. Which is smaller: 5/3 or c?
c
Let c(w) = -2*w**3 - 3*w**2 - 7*w - 2. Let r be c(-3). Let s = 461/10 - r. Which is greater: s or 1?
1
Let v = -3 - -2. Let j = -5 + v. Let a be -3*(2/j - -1). Is -2 > a?
False
Let y = 0.16 + 10.84. Let f = -11 + y. Which is bigger: 2/7 or f?
2/7
Suppose 2*o - 12 = 12. Let t be ((-27)/o)/((-9)/(-24)). Let s(p) = -p**3 - 6*p**2 + 6. Let l be s(t). Which is smaller: l or 5?
5
Suppose 0 = -8*j - 527 + 79. Which is smaller: -57 or j?
-57
Let t = -56 - -55.9. Let z(k) be the first derivative of k**2/2 + k + 2. Let i be z(2). Is i >= t?
True
Suppose 4*y - y = 33. Let m be (2/(-6))/(y/(-66)). Which is smaller: 7/8 or m?
7/8
Let t = -8 - -14. Let d(v) = -v**2 + 8*v - 6. Let g be d(t). Suppose -4 = 4*z, 0*z + 2*z - 10 = -3*h. Is g at most h?
False
Let v be (-5 - -4)*-1*1. Let u be v/6 - 813/(-90). Let i = u + -9. Is 1 greater than i?
True
Suppose 3*n - 3 - 3 = 0. Let v = -160488/5 + 31965. Let x = 133 + v. Is n bigger than x?
True
Let o be 40/(-12)*2/(-12). Is o greater than or equal to -1?
True
Let q be (62/(-84) - 16/(-24))*-2. Which is bigger: q or 0.3?
0.3
Let h(a) = a**3 + a**2 + a - 1. Let d be h(0). Let t be 4 - (31/7 - 0). Which is smaller: d or t?
d
Let a = -14 - -25. Let c = 26 + -14. Which is smaller: a or c?
a
Let p = -49 - -30. Which is smaller: -18 or p?
p
Let h = -2 + 6. Let c = -6 + 