s smaller: m or w?
w
Let a be 3*(2/(-12))/(-1). Let z = 5 - 2. Let u = z + -2. Does a = u?
False
Suppose -4*h = -2*h - 16. Let g = 5 + 2. Is g at most as big as h?
True
Let h = 1637 - 1638. Let x = -26117/29 + 901. Which is smaller: h or x?
h
Let z be -6 - 62/(-6) - (-2)/(-6). Suppose -3*q - 18 = -3*l, 3*q + 3*l = z*l - 8. Which is greater: -3 or q?
q
Let v = 886 + -893. Let l = 12 + -23/2. Which is smaller: v or l?
v
Let z = -2.97 + 0.97. Which is greater: z or -1?
-1
Let b = 5.7 + -5. Let r = -20 + 13. Let t = r + 6.9. Which is smaller: t or b?
t
Let b = 10817/5 + -2154. Is b equal to -1?
False
Suppose -9*s = -6*s + 297. Let j be s/36 + 6/2. Let c(v) = -v**2 - 4*v. Let r be c(0). Are r and j nonequal?
True
Suppose -4*x - 3*z - 23 = -3, z = -4. Let g = 2.25 - 0.05. Is g >= x?
True
Let c = 223 + -229. Do 4/5 and c have the same value?
False
Let d = 28819/44 - 655. Let u = -736 + 737. Which is greater: d or u?
u
Let w(i) be the second derivative of -6*i**2 + 1/12*i**4 + 0 + i - 13/6*i**3. Let h be w(14). Which is greater: 16/7 or h?
16/7
Let h be (-32)/(-1 + -3)*1. Let q be (-9)/(18/h)*(-3)/12. Does -2/39 = q?
False
Let q = 39 - 71. Let p(w) = -w**3 - 9*w**2 + 13*w - 3. Let g be p(-10). Which is greater: g or q?
q
Let w = 0.97 - 24.97. Is w not equal to -3?
True
Let a(l) = l**3 - 3*l**2 - 2*l - 623. Let f be a(0). Is f <= -624?
False
Let q = 756.8485 - -0.1515. Are -1 and q equal?
False
Let j(w) = -w**3 - 2. Let r be j(-2). Let v = r - 0. Let g be (v - 3) + (-94)/30. Is g < -0.1?
True
Let b(h) = 2*h**3 + 2*h**2 - 1. Let v(d) = -d**3 + 15*d**2 - 14*d - 1. Let p be v(14). Let n be b(p). Which is bigger: n or -9/10?
-9/10
Suppose -234 = -1056*k + 1050*k. Are k and 45 equal?
False
Suppose -4*u + j + 85 = -76, 3*u - 2*j = 117. Let c = 37 - u. Is c at most 1?
True
Let l be (4/(-10))/((-4)/10). Suppose i = -k - i, i = -l. Suppose -s - 3*m = 4, 0 = -0*s + k*s - 5*m - 3. Which is bigger: s or -2/3?
-2/3
Suppose -4*w - 28 = -2*x, 5*x = 2*w + 3*x + 10. Let l = 12 + w. Let k be 1*(-1)/3*l. Which is bigger: -2 or k?
k
Suppose 3*h + 47 = -9*v + 7*v, 5*v + 2*h + 145 = 0. Is v >= -30?
False
Let i = 218 + -232. Does 8 = i?
False
Suppose 11*h - 82 = 8*h - 4*v, -2*h + 3*v + 83 = 0. Is 36 at least h?
True
Let d(i) = -i**2 + 12*i - 2. Let j be 2*(14/(-4))/(-7). Let n be 3 + (-4 + j - -12). Let h be d(n). Which is smaller: h or -4?
-4
Let j = 255 + -268. Suppose -9 = p + 5. Which is smaller: p or j?
p
Let y(j) = 2*j**2 - 7*j. Let d be y(3). Let m = 2.9 - 3. Is d > m?
False
Let k(g) = -g**3 - 7*g**2 + 10*g + 12. Let d be k(-8). Let p be (d/15)/((-156)/(-30)). Suppose 2*c + 5*y = -3, -3*c + 6 = -y - 2*y. Which is bigger: p or c?
c
Let q be (-3)/(-63)*(3 + 3). Let r be 408/(-7) + (-2)/(-7). Let m be 1 + 178/r + 2. Which is smaller: m or q?
m
Let s = 36 - 34. Let q be (-5)/s*(-4)/(3 - 5). Let x be (8/(-2) + 0)*1. Which is bigger: q or x?
x
Let x(u) = -10 + 4*u**2 - 1 + 2*u**2 - 5*u - 5*u**2. Let v be x(7). Suppose -v*r - 8 = -35. Which is smaller: 8 or r?
8
Suppose 267 = 10*z - 673. Do z and 97 have the same value?
False
Let s(k) = -2*k**2 - 1. Let n be s(-1). Let x be (-3)/(600/595) - n. Which is smaller: -1 or x?
-1
Suppose 0*x = 3*f - 5*x - 27, f = 2*x + 9. Let c = f - 6. Let m be 2/(-6) + c/9. Which is smaller: m or 2?
m
Suppose 4*s = 737 - 521. Is 41 smaller than s?
True
Let g = 498 - 105. Suppose 3*h - g = 4*c, 77 = -c + 6*h - h. Let t be 3 + 4 + c/15. Which is smaller: 1 or t?
t
Let t = 7814/51 - 610/17. Which is greater: 116 or t?
t
Let a be -1 + 4 + ((-1332)/(-124))/(-3). Does -1 = a?
False
Let w(i) = i + 1. Let z be w(1). Which is smaller: 10 or z?
z
Let d = -13 - -15. Suppose 4*h - 5*j = -12, d*j + 1 = -h + 11. Suppose 0*k - 11 = -z + 2*k, -h*z - k = 3. Is z less than 3?
True
Let u(l) = 44*l + 4. Let v be u(3). Suppose 0 = 4*i - 4*z - 36 + v, 2*i - z = -52. Do i and -25 have the same value?
False
Let q = -37 - -7. Which is smaller: -88/3 or q?
q
Suppose -4 = 2*o - 0. Let u(d) = d + 21. Let i be u(4). Suppose -k + 2*k + 4*b = i, -b = -5*k + 20. Is o greater than k?
False
Let v = -1074 + 1076. Let w = 122 - 69. Which is greater: v or w?
w
Suppose -2*l - 5*c - 5 = 2*l, 2*c = -10. Suppose 0*u + l*u - 10 = 0. Suppose 5*y = -5*j + 15, -j + 4 = -u*y - 5. Which is greater: 0 or y?
0
Let d = 23/36 - 8/9. Let b = 0.49 + 0.01. Let u = -0.5 + b. Is u at most as big as d?
False
Let l(p) = 9*p + 7. Let k be l(13). Suppose -2*x - 5*d = -2*d + k, -244 = 4*x + 5*d. Let n be (-238)/x + 8/(-2). Is n at most as big as 2?
True
Suppose 0*h + 2 = 2*h, -2 = 3*v - 2*h. Let c(w) = -w**2 - w + 9. Let t be c(v). Let x be t/54 + 38/(-84). Which is bigger: 1 or x?
1
Let h be (-2 + 1 - 1)/(6/(-9)). Suppose -f + 15 = h*i, -2*i + 3 + 7 = -3*f. Does f = -1/73?
False
Let s be (-2)/(-8) - 45/36. Let u = 2/2113 - 4280/57051. Which is greater: s or u?
u
Let d(a) = 7*a + 433. Let x be d(-57). Is 41 > x?
True
Let b(u) = 22*u**3 - 5*u**2 + u + 1. Let a be b(-2). Which is bigger: a or -199?
a
Let z = 1224 + -1186. Which is bigger: -0.5 or z?
z
Let v be (8/10)/((-252)/(-480)*6). Is -1 > v?
False
Suppose 60 = 4*m - 212. Suppose -52 = 3*l - 4*v, -l - l - 4*v - m = 0. Are l and -23 equal?
False
Let p(r) be the first derivative of -r**4/4 - 17*r**3/3 + 8*r**2 - 34*r - 15. Let i be p(-18). Which is greater: i or 3?
3
Suppose -3*v + 1 = f, -2*v - f = -0*v. Is v bigger than -2/545?
True
Let k = 161/256 - 1/256. Let j = 21 + -19. Do k and j have different values?
True
Suppose 6*u + 0 = 30. Suppose 0 = -5*j - 314 - 1396. Let m = 1389/4 + j. Is m > u?
True
Let b = -708 + 708. Which is smaller: b or 16/47?
b
Suppose 2*h - 205 = 7*h. Let f = -42 - h. Which is greater: f or -8/15?
-8/15
Let d = 165 - 496/3. Suppose -4*x = -2*h - 0*h, -h = -x. Which is greater: h or d?
h
Suppose -2*t + 5*z = 0, 3*t = 2*t - 2*z + 9. Suppose 0 = -0*l + 2*l + d - 6, -4*l + t*d + 40 = 0. Do l and 6 have the same value?
False
Suppose -193*b + 17784 = -169*b. Which is smaller: b or 740?
740
Let d = 132 + -44. Is 0 at least d?
False
Suppose -25*p = 5*p - 3150. Is p at least 108?
False
Let t be 178/6 + 2/6. Suppose -60 = -4*f + 4*n, -f + n = -n - 19. Suppose 0 = f*a - 189 - 152. Is a at most t?
False
Let b(t) = t**3 - 21*t**2 + 21*t - 28. Let c be b(20). Let m = 3 - 3. Suppose m = -5*h + 6*h. Which is smaller: h or c?
c
Let h(f) be the first derivative of f**3/3 - 17*f**2/2 + 3*f - 16. Let p be h(18). Does -0.1 = p?
False
Suppose 24*f = 46 + 2. Is 0.138 > f?
False
Suppose 2*m + 26 = 5*g, -2*m + 18 = 2*g + 2. Do 7 and g have the same value?
False
Suppose -4*n + q + 13 = 0, 3*n - 18 = -4*q + 6. Let m(g) = 11*g + 2 - 9*g + n - 1. Let h be m(2). Is h less than 9?
False
Suppose -3*x = 3*t - 18, 0 = 3*t + x - 22 + 8. Suppose -6 = -3*n + t*l, -3*l - 6 + 5 = -4*n. Is -4 at least as big as n?
False
Let h = 46 + -39. Suppose b + h = 9. Which is smaller: 9 or b?
b
Let u be (-4)/12 + 128722005/244. Let x = u - 527549. Let z = x + 3/61. Is -1 bigger than z?
False
Let j(f) = -f + 3. Let b be j(3). Let u = 114 + -797/7. Is b equal to u?
False
Let q be (275/110)/((-20)/(-128)). Suppose -4*a + 3*l + 48 = 0, 0*a - 48 = -4*a + 5*l. Is a at least as big as q?
False
Let j = -0.4 - -0.2. Let p = 0.058 - -7.942. Which is greater: p or j?
p
Suppose -6*n + 2*n - x + 149 = 0, 5*n - 205 = 5*x. Is 36 equal to n?
False
Let s(j) be the third derivative of j**6/120 - 7*j**5/60 - 7*j**4/24 - 3*j**3/2 - 4*j**2. Let x be s(8). Let p be (-10)/35*6/2. Which is greater: p or x?
p
Let b be (-4)/3 + 2066/474 + -3. Let t be 2/(-3002)*-1621 - 1. Let c = b + t. Is c < 0?
False
Let y = -713 - -709. Which is smaller: y or -28/9?
y
Let u be 38/(-2) + (-8 - 3 - -15). Let m be 16/(-1) + 1/2. Are u and m unequal?
True
Let p be -3*(-40 + (-4)/1). Let k be ((-36)/p)/((-6)/(-4)). Is k less than or equal to -1?
False
Suppose -4*j + 3 = r, 11*j - 3*r = 16*j - 2. Is j <= 20?
True
Let u = -915359/20 - -45804. Let y = -149/4 + u. Is y < -1?
True
Let u(c) = -c**2 + 43*c + 39. Let i be u(-5). Which is smaller: i or -202?
-202
Let h = 173143/97 - 1785. Let l(x) = 2*x**2 - x. Let y be l(1). Which is smaller: y or h?
h
Let q(r) = -r**3 + 28*r**2 + 5*r - 43. Let m be q(28). Let k = -80 + m. Is k bigger than 16?
True
Let r = -7 - -12. Suppose -r*c + 41 = 1. Suppose -n + 26 = -3*y + c*y, 0 = 2*y -