57 - 1483/285. Is y != h?
True
Let z be (2/(-75))/(24/(-286164)). Let x = z + -318. Suppose -5 = q - 6*q. Which is greater: x or q?
q
Let v = 512 + -146. Is 368 > v?
True
Suppose h = 5*r - 2, -r - 4*r + 4 = -2*h. Let y be (h/(-7))/(3/(-7)). Let b = 9 - 9. Which is bigger: b or y?
b
Suppose 5*k - 21 = 2*h, -k = 4*h - 7 - 6. Let s = 1/247 + 2463/1729. Which is smaller: h or s?
s
Suppose -5*f = i + 12, 3*i + 3*f + 2*f + 26 = 0. Let z = -29 - -205/7. Is z bigger than i?
True
Let l(x) = x**3 + 5*x**2 - x + 3. Let g be 1 + (-3*6)/3. Let w be l(g). Let q = 13 - w. Is q not equal to 0?
True
Let p be (-9)/21 - 831/21. Which is greater: p or -41?
p
Let s = 99817/172 - 1741/3. Is s < 0?
True
Let t = -59/21 - -1933/105. Suppose -5*z = -4*c - 81, 5*c - 35 = -2*z + 4*c. Is z >= t?
True
Suppose -4*u - 3*c + 4*c = -12, 0 = -3*c. Let t be (68/2)/(1 - 9/u). Is t less than or equal to -52/3?
False
Let z be 6/2 - (3 - (-50)/(-5)). Let d(m) = m. Let x be d(2). Suppose -x*p + 11 = -p. Which is bigger: z or p?
p
Let r = 0.01 - 3.01. Let t = -27.38 + 29.38. Does t = r?
False
Let a be 2/(-9) - 0/2. Suppose 0 = 3*n + x - 13, -n - 4*x = 4*n - 31. Suppose 2*q - n = 5*q. Which is smaller: q or a?
q
Let r = 1146 + -1051. Which is bigger: 0 or r?
r
Suppose 24 + 10 = -2*y. Let m = -440 + 424. Do y and m have different values?
True
Let w = -43 + 44. Let o = w - 7. Do 1/6 and o have the same value?
False
Let j = 104 + -84. Do -1 and j have the same value?
False
Suppose -2*h = -3*u + 63, 4*h + 50 = 2*u - 0. Let s = -26 + 45. Let d = u - s. Is 0 not equal to d?
False
Suppose -l + 2 = -2. Let k = 41.5 - 42. Let q = k + -2.5. Which is smaller: q or l?
q
Suppose 4685*a - 4693*a = 368. Let b be ((-94)/(-4))/((-1)/2). Is b >= a?
False
Let y be (29732/161 - 3) + (-6)/(-21). Let x = -182 + y. Let a(l) = -l**3 + 7*l**2 - 7*l + 7. Let d be a(6). Which is bigger: x or d?
d
Let u(i) = i - 2. Suppose 5 + 14 = 4*o + 3*s, 15 = 3*o + 2*s. Let p be u(o). Let t = p + -5. Which is smaller: t or 2/9?
t
Let v(n) = 2*n**2 - 3*n + 7 + 4*n - 12. Let w be v(2). Let f = -1/29 - -322/87. Is f < w?
True
Let t = -1 - -19. Let k = -18.1 + t. Let x = 0.3 - -0.3. Is k greater than x?
False
Suppose 2*l = -0 + 2. Let s = 158/117 + -8/9. Which is smaller: l or s?
s
Let o = -15.4 + 15.3. Which is bigger: o or 4/161?
4/161
Suppose 26 + 72 = -4*k - j, 2*j = -5*k - 124. Which is smaller: k or -11?
k
Suppose -46*r + 963 + 2717 = 0. Suppose 0 = 3*n + 5 + 7. Let y be n/12 - r/(-105). Which is smaller: -1 or y?
-1
Let u(d) = -d**2 + 35*d + 63. Let z be u(34). Do 96 and z have the same value?
False
Let f = 5 + -12. Let r(s) = s**3 + 7*s**2 - 4. Let c be r(f). Let b be (-2)/36 + (-2)/c. Is 1/4 at least b?
False
Let m(d) = d**3 + 8*d**2 - 10*d - 9. Let r be m(-9). Let w = 38 + -17. Suppose -x = -t + 4*x - w, -6 = 2*t - x. Is t >= r?
False
Let s(d) = -d**3 + 11*d**2 - 8*d + 15. Let j be s(7). Which is bigger: 156 or j?
156
Let w = 12.92 + 0.08. Let k = w - 8. Let t = k - -20. Which is greater: t or 0.1?
t
Suppose -3*b - 153 = 2*b + w, 0 = b - 4*w + 18. Let k = b + 24. Let o(t) = -t**2 - 5*t + 5. Let j be o(k). Does 2/9 = j?
False
Suppose 4*z - 8*g + 3*g = 77, -3*g - 15 = 0. Suppose -2*o - o + 21 = 0. Suppose -2*q + z = o. Which is greater: 4 or q?
4
Let k = -1085 - -472. Which is bigger: k or 0?
0
Suppose -l + 11 = -2*l - 2*n, -4*l = -2*n - 26. Let y(s) = s**3 - s**2 + s + 1. Let r be y(0). Which is smaller: l or r?
r
Let k = 0.3 - 0.2. Let o = 0.21 - 0.6. Let t = -0.29 - o. Is k at least as big as t?
True
Let j = -1.98 + 2. Let s = 6.61 + -7. Let i = 0.29 + s. Is j bigger than i?
True
Let w = -25 - -31. Let s be (1/2)/(3/w). Which is smaller: 1/11 or s?
1/11
Suppose 5*l + 80 = -40. Which is bigger: l or -25?
l
Let x = -84 - -91.1. Let f = x + -1.1. Let i = 2 + -1. Are i and f non-equal?
True
Let d(x) = 129*x + 4. Let h(y) = 43*y + 1. Let m(b) = -4*d(b) + 11*h(b). Let p be m(7). Let g be 8/72 - 2/p. Is 1 greater than g?
True
Let o be (-6)/27*6/2. Suppose 2*h - 19 + 90 = 5*z, 64 = 4*z - 4*h. Which is smaller: o or z?
o
Suppose -5*m + 500 = -j - 140, -4*m + 5*j = -533. Suppose 4*r = 4*h - 500, 3*h + 7*r - 2*r - 399 = 0. Are h and m nonequal?
True
Let s be (6/8)/((-7)/(-28)). Let l = 1 + s. Suppose -6*n - 20 = -l*n. Which is greater: n or -9?
-9
Let v = -118.98 - -121. Let k = -2 + v. Let c be 1099/942 - ((-6)/(-4) - 0). Is c greater than or equal to k?
False
Let p(o) = 5*o + 92. Suppose -c - 3*c = -4*k, 0 = 4*c + 5*k. Let x be p(c). Is x > 93?
False
Suppose 5*u + 2869 - 518 = 2*a, -1880 = 4*u - 2*a. Are u and -471 nonequal?
False
Let x = 18 + -20. Let w be (x/5)/(1/(-10)). Which is greater: 5 or w?
5
Let g(k) = k**3 - 3*k**2 + k - 4. Let b be g(3). Let p be (-8)/(-40) - 34648/(-5960) - 6. Is b <= p?
True
Let s = -3 - -5. Suppose 0 = -4*b - 2*p - 10, b = -3*p + s*p - 5. Let t = -2 + 3. Which is smaller: b or t?
b
Let i = -211 + 209. Let o(v) = -v**3 + 6*v**2 - 4*v - 7. Let n be o(5). Are n and i nonequal?
False
Let s be 45/72 - 5/8. Suppose l + 4 = f + 4*f, f - l = 0. Which is smaller: f or s?
s
Let n(j) = j**3 + 10*j**2 + 8*j - 1. Let o be n(-9). Suppose 1 = 2*b - v + o, 4*v - 20 = 0. Is -1/4 < b?
False
Suppose t - 2*t = -4*v + 1808, -t - 902 = -2*v. Which is greater: v or 454?
454
Let u = -0.82 + 0.7. Let f = 0.08 + u. Let d = f - 0. Are d and -1 unequal?
True
Let n = -911/9 + 101. Let z = 16 + -27. Let y = -5 - z. Is y less than n?
False
Let t = 21624432611/2013 + -10742391. Let j = t + 18/61. Which is smaller: j or 1?
j
Let b(a) = -3*a**3 - 9*a**2 - 9*a - 5. Let x be b(-4). Is x at least -1/3?
True
Let u be (-182)/147 + 2/3. Let m = u - -15/14. Does 1.6 = m?
False
Let b = -1352 - -1350. Is -29/11 > b?
False
Let i = -5 - -21/4. Let h = -15 + 15.7. Which is smaller: h or i?
i
Let t = -5.14 + -0.56. Let l = 1 - t. Let v = -1.3 - l. Which is smaller: 0 or v?
v
Let w = 357 + -310. Are w and 47 non-equal?
False
Let b = 2066.6 - 2067. Let k = -0.2 - 0.1. Let l = k - -0.2. Is l >= b?
True
Let f(s) be the third derivative of s**6/120 + s**5/30 - s**4/8 + s**3/6 + s**2. Let n be f(-3). Let q be (-7)/(-21) + (-5)/(-75). Which is smaller: q or n?
q
Let l(j) = 24*j**3 - j**2 + j - 1. Let m be l(1). Let g = m - 22. Which is greater: -2/15 or g?
g
Let m = 115 + -110. Let n be m/((-705)/(-9))*2/(-3). Which is greater: -0.3 or n?
n
Let v = 17 + -16.81. Let a = 0.01 + v. Which is greater: a or -12?
a
Let w be 1*(-8 - (-4 - -4)). Let n be 6/27 - (-4)/(-18). Let k be (-2)/4*14 - n. Is w at most k?
True
Let b be 4/(-14) + 9/14. Let y = 137943/56 + -2463. Let g = y + b. Which is smaller: g or 1?
g
Let b be 0 + -18 - (-1 - -2). Let l = 124 + -143. Is l greater than or equal to b?
True
Let v be (-162)/495*(-5)/3. Suppose -2*d = -3*d. Which is smaller: v or d?
d
Let u = -38 - -30. Let p(l) = l**3 + 9*l**2 + 9*l - 12. Let k be p(u). Which is bigger: k or 0.1?
0.1
Let g = 275/1108 + 1/554. Which is greater: g or 4/81?
g
Let m = -44 - -34. Let s = -77 - -63. Which is greater: m or s?
m
Let s be 282/(-462) - 4/(-22). Suppose 4*p + p = 0. Which is bigger: p or s?
p
Let m = 11 - 10.7. Let r = 5.3 - m. Let a = 4.5 - 4.6. Which is smaller: r or a?
a
Let p be (5 + 0 + -5)/1. Do 2/15 and p have different values?
True
Let b = 60.8 + -44.8. Which is bigger: -0.1 or b?
b
Let q = -46 + 73. Let l be (-33)/q - 4/(-2). Which is greater: l or 0?
l
Let x = 24 + -23.67. Let n = x + -2.23. Let f = n - -0.9. Which is bigger: 3 or f?
3
Let p = -299 + 164. Are -135 and p equal?
True
Suppose 2*w - t = 25, 3*t = 3*w - 0*w - 33. Suppose 3*v - 2 = 1. Which is greater: v or w?
w
Let r be -7 + 10 + -1 + 213. Let o be (-91)/r - 2/(-5). Which is smaller: o or 0?
o
Let h be (15/(-90))/((-1)/(-4)). Which is smaller: h or -0.201?
h
Suppose 27 = c + 6. Suppose z = 4*n - 82, -z = 2*n - n - 23. Is n less than c?
False
Let y = -98/297 + 4/27. Let k be 1/(2 - (7 + -6)). Which is smaller: y or k?
y
Let u = -683 - -583. Is u >= 1?
False
Let b(d) = -285*d - 3. Let r be b(-3). Let c be r/14*39/(-26). Let v = c + 91. Which is smaller: v or -1?
-1
Suppose -101*r + 94*r = -21. Let s be (-6)/3 - 3/(-1). Let l = r - s. Is 2 smaller than l?
False
Let u be 2*2/(-8) - (-500)/400. Let n = 0.2 - 0.1. Are n and u nonequal?
True
Let f be 250/80*8/740. Is -1 less than or equal to f?
True
Let i = 0.