st -2?
False
Let u = 19 + -27. Let o = 19 + -10. Let f = o + u. Is f less than -2?
False
Suppose u + 5*k + 10 = 4, 4*k + 48 = 4*u. Is 9 < u?
False
Let u = -532.1 + 532. Is u greater than or equal to 2/273?
False
Let h be 4/(-10) - 168/(-70). Let b be ((-1)/(-1))/(h/6). Does -2/3 = b?
False
Let w(m) = m**3 - 6*m**2 + 4*m - 2. Let t be w(5). Let g be 995/35 - (-3)/t. Let r be 20/70 - (-181)/g. Which is bigger: 8 or r?
8
Suppose -2*t + 2*f + 2*f = -116, 5*f = -t + 65. Let u be ((-57)/15 - -3)/(8/t). Which is bigger: -12 or u?
u
Let t(p) = p - 5. Let z be t(8). Suppose z*u = u. Suppose u*q + 2*q + 23 = -5*v, 2*q = -2*v - 8. Which is greater: 3 or q?
3
Let k be (-1638)/4 + 154/44. Is -406 >= k?
True
Suppose -5*b + 9 = -2*r - 3, r + 4*b = 20. Let f be r/36*(-3 + 0). Is f less than or equal to -1?
False
Let f be 30/9*(-30)/(-4). Suppose -62*a + 34*a = -112. Is a at most f?
True
Let g be -1*1/3*(-41 - -26). Suppose 3*l - 46 = -3*y + y, 3*l + g*y = 61. Do l and 11 have the same value?
False
Suppose p - 47 = 4*o, 2*o + 28 = -2*p + 2. Let u = o - -13. Let v be 259/28 + u/(-4). Is v at least as big as 9?
True
Let z be (-301)/(-399) + (5/(-3))/5. Which is smaller: z or 0?
0
Let x be 4*2/(-8) - (1 + -4). Suppose -d + x = 2*q, -q + 2*d - 2 = 2. Is q at most 0?
True
Let i be (-13 - -12)/((-2)/(-2)). Let f be (0 + -3 + i)*1. Let k be (1/(-24))/((-3)/f). Is k at most -1?
False
Suppose -109*t - i = -114*t + 50, 10 = t - 5*i. Do 82/9 and t have the same value?
False
Suppose -2*w + 0*w = 2780. Let b be w*5/(2325/6). Let j = b + 18. Are j and -1 equal?
False
Suppose -55 = -2*n + 3*g, -10*n - 2*g + 86 = -6*n. Is 24 greater than n?
True
Let r be (-1)/(-6 + 5)*-1. Does 1/746 = r?
False
Let r be ((-2)/4)/(2/(-4)). Let i(f) = 4*f**3 - f**2 + 2*f - 1. Let y be i(r). Let t be (-2)/(-3)*(-45)/(-10). Is t greater than y?
False
Let z(s) = s**3 + 17*s**2 - 18*s - 21. Let r(b) = b - 7. Let k be r(-11). Let c be z(k). Is c >= -43/2?
True
Let a be 39630/(-7890) + 1 + 4. Which is smaller: -1 or a?
-1
Suppose 64*w - 71*w = -7. Which is smaller: 8/259 or w?
8/259
Let n = -0.4 - -2.6. Let o = 597/4 - 149. Is o greater than n?
False
Suppose 0 = 6*r + 55 + 11. Let z be 204/(-21) - 10/35. Let b be r/(-33) + z/(-6). Are -1 and b nonequal?
True
Let b(m) = m**3 - 15*m**2 - 21*m - 115. Let k be b(17). Is k at most as big as 105?
False
Let o(k) = 2*k - 7. Let q be o(7). Let x = 0.3 + -0.1. Let s = 0.1 - x. Which is smaller: s or q?
s
Let i be (-8)/(-14) - (-482)/14. Suppose -a - 4*a - i = 0. Let h = a + 12. Is 4 < h?
True
Suppose 15*a - 257 = 1483. Which is smaller: 115 or a?
115
Let y be (-544)/56 - -10 - 990/(-14). Is 70 greater than or equal to y?
False
Let h be 12/3 + (8 - 11). Which is greater: 2/487 or h?
h
Let d = 58 - 56. Let q(p) = -4*p + 9. Let o be q(d). Which is greater: -2/199 or o?
o
Let a = -22/5 - -24/5. Do 9 and a have the same value?
False
Let o = -495 + 496. Is o greater than -0.15?
True
Let z be (-8)/(2/((-2)/2)). Let a be (-2 - -3 - z) + 5. Which is greater: a or 8?
8
Let j be 22/(((-70)/7)/5). Is -6 at least as big as j?
True
Let u be ((-28)/(-21))/((-2)/(-105)). Let l = -75 + u. Let h be (1 - -2)/(3/(-3)). Which is smaller: h or l?
l
Suppose 1 = -3*k + m, -3*k - 3*m - 1 = -8*k. Suppose 156 = 9*b - 15*n + 10*n, 2*b = -4*n + 50. Which is smaller: k or b?
k
Let w be 24682/(-1898) + 6 - (-2 - 5). Which is greater: 0 or w?
0
Let g(a) = 14*a - 15*a**2 - 24 + 5*a**2 + 9*a**2. Let q be g(12). Are -1/2 and q equal?
False
Let n = -30.4 + 46.24. Let x = n + 0.16. Let u = 16.4 - x. Which is greater: 0.2 or u?
u
Suppose -6*a + 9*a + 1887 = 5*t, 0 = -t - 2*a + 367. Is 377 != t?
True
Let u(k) = -2*k**3 + 3*k**2 - 7*k + 2. Let f be u(3). Which is smaller: f or -1?
f
Suppose 5*h - 11 = -2*s + 50, 2*h - 2*s - 16 = 0. Suppose 0 = -4*z + h*z - 70. Is 9 less than z?
True
Let o = -34184943/1255 + 27239. Which is bigger: -1 or o?
o
Let j be 0 + (402 - 5 - (-7 + 7)). Is 397 > j?
False
Let h be (2/104)/(4/((-48)/(-5))). Let g = 88/65 + h. Suppose 2*a = -2*a. Which is greater: g or a?
g
Suppose -5*m + 93 = p, -5*p + 5*m + 215 + 220 = 0. Which is smaller: 262/3 or p?
262/3
Let k(z) = -z**3 + 5*z**2 - 5*z - 22. Let t be k(5). Is t >= -45?
False
Let s be (-1)/2*(-11)/((-264)/1824). Is -49 greater than s?
False
Suppose 5*v = 3*u - 576, 3*v + 5*u = -v - 446. Is -114 less than or equal to v?
True
Let u = 209/180 - 10/9. Is u smaller than 1?
True
Let x = -25.5 - -0.5. Let p = x + 39. Which is smaller: p or -0.1?
-0.1
Let s = -1772489 - -108119231/61. Let d = 108904/549 + s. Let z = 156 - d. Are 0 and z equal?
False
Suppose -739 + 175 = 12*h. Which is bigger: h or -50?
h
Let a = 85 - 65. Suppose z - 106 = -a. Which is smaller: 87 or z?
z
Let c be 104/(-120) + 4/(-30). Which is smaller: c or -2/103?
c
Let n(d) = -d**3 - 7*d**2 - 12*d - 15. Let a be n(-6). Is 3 <= a?
True
Let t = 772.6 - 697. Let m = t - 8.6. Is 1 smaller than m?
True
Suppose -3*y - 5*b = -0*b - 1223, -5*b = -5*y + 2025. Are y and 407 equal?
False
Let r = -2.6 - 2.4. Let h = 145 - 145.2. Which is smaller: h or r?
r
Let s be -2*3/(-2) - 5. Let i = -402 + 2808/7. Is i bigger than s?
True
Let m = 8 - 6. Suppose -2*a + 8 = -7*b + 8*b, m*a = -5*b - 8. Which is smaller: a or 3?
3
Suppose -2*b = -0*b + 54. Suppose 55 + 1 = -2*f. Is f at least as big as b?
False
Let p = -1.64 + -0.06. Let o = 8.3 - p. Let q = o - 9. Which is bigger: q or 6?
6
Let g = -348 + 344. Suppose 5*r + 16 = -9. Do g and r have different values?
True
Let s be (-5 - -3) + (-1 - 17). Let i be (-2)/(s/(-55)) + 3/(-2). Is i less than or equal to -8?
False
Let c be (-4)/(-6) + (-77)/(-33). Let u(j) = j**2 - 4*j + 5. Let s be u(c). Which is smaller: s or 4?
s
Let x(a) = a + 6. Let b be x(-6). Let q be -1 + (0 - 0) + 1. Let g be (q + b)/(2/2). Which is smaller: g or -6/7?
-6/7
Let q(b) = 3*b**3 + 17*b**2 - 13*b - 9. Let v(g) = -4*g**3 - 25*g**2 + 19*g + 14. Let y(o) = 7*q(o) + 5*v(o). Let u be y(4). Which is smaller: u or -7?
u
Let g = 1.56 - 11.56. Let l = -6/7 + 25/21. Are g and l equal?
False
Suppose 2*n - 8*h + 9*h + 82 = 0, 0 = -4*n - 5*h - 176. Which is smaller: -196/5 or n?
-196/5
Let f = -12 + 12. Suppose -h - 19 = -2*p - f*p, 3*p = 5*h + 60. Is -10 less than or equal to h?
True
Let m be 7 + 171/165 + (-3)/(-5). Is m at most as big as 9?
True
Let k be 1734/(-85) + 4/10. Which is greater: -23 or k?
k
Let m be (-5 - 268/(-12)) + (-3)/9. Which is smaller: m or 192/11?
m
Let j(r) = -r - 9. Let z be j(-12). Suppose -z*x = -4*n + 24, -2*x + 3 - 19 = 4*n. Let o be x/2 + -4 + 10. Are o and 2 nonequal?
False
Let i = -2063.68 + 2063. Which is smaller: -1/16 or i?
i
Let y be (114/(-12))/(-1*2/(-4)). Is y <= -19?
True
Let p = -17/5 + 263/95. Let h = p - -41/95. Which is bigger: 0 or h?
0
Let o(g) = g**3 - 5*g**2 - 5*g + 2. Let y be o(6). Suppose 4*s = s + k - y, 2*k = s + 1. Is s <= -11/6?
True
Let o = -0.52 + 0.4. Let g = 31 + -30.12. Let v = o - g. Which is smaller: 1 or v?
v
Let j be (22*1/(-8))/((-3)/12). Suppose -3*m + 5*q = -50, -4*m + 4*q = -3*m - 26. Which is greater: m or j?
j
Let u = 2966/13 + -5510841/24154. Is u at least -1?
True
Suppose 4*d - 50 = -a, 1 = d + 5*a - 2. Suppose 5*p - 7 = d. Which is smaller: -2 or p?
-2
Let x be (9 - 122/14)/(2/14). Which is smaller: 5 or x?
x
Let i be 7/(-12)*(0 + 90/(-4)). Which is bigger: 13 or i?
i
Let d(j) = 4*j**2 - 6*j + 2. Let w be d(2). Let v(h) = 2*h**3 - 13*h**2 + 10*h - 12. Let s be v(w). Which is bigger: s or 10?
s
Let g(m) = -7*m - 2. Let y be g(-2). Let a(s) = -s**2 + 14*s + 1. Let q be a(10). Let h = 53 - q. Do y and h have the same value?
True
Let p = -1810 - -1812. Which is greater: p or 7/34?
p
Let g be ((-10)/(-20))/((-4)/4). Which is greater: 6 or g?
6
Let c = -12 + -4. Let u be c/6*5/(-100). Which is greater: u or 4/5?
4/5
Let c(g) be the second derivative of g**5/20 + 5*g**4/12 - 3*g**2/2 + 2*g. Let i be c(-5). Let s be -2 + 1 + 5 + i. Are s and 1/8 nonequal?
True
Let a be 20/(-2)*2/(-24). Suppose 34*i - 7*i - 16*i - 22 = 0. Is i >= a?
True
Let n = -556/6179 + 6/167. Let o = n - 23/259. Is -0.02 not equal to o?
True
Let o = 6 - 1. Suppose o*w - x = -12 + 2, 4 = -3*w + x. Let s be (-10)/(-4) - (1 - w). Which is smaller: s or 2/5?
s
Let t be ((-5)/(-4) - 1) + 0. Let k(b) = b - 7. Suppose -5*s = -s - 28. Let i be 