87 = 3*y + q + q. Are y and 32 equal?
False
Suppose -47*t - 468 - 425 = 0. Which is smaller: t or -13?
t
Suppose -5*y + 3*k - 1745 = 0, 2*y + 3*k + 729 = -2*k. Is y smaller than -703/2?
True
Let j be ((-24)/(-36))/(2/3). Let u be j*((-84)/9 + 1). Which is smaller: u or -9?
-9
Let l be (-3)/(-469)*100/(-150). Which is greater: l or 0?
0
Suppose 0 = -15*c + 10*c + 15. Suppose c*m - 7 = -4. Is 3 at most as big as m?
False
Let r = 4.941 + 0.059. Suppose -4*y = 2 - 6. Which is smaller: y or r?
y
Suppose 44 = 13*s - 34. Which is bigger: 12 or s?
12
Suppose 0 = -5*f + 154 - 779. Is f bigger than -124?
False
Let k = 2 + -9. Let z = 13 - 20.1. Let d = z - k. Which is greater: d or 3?
3
Let n = 75.976 + 0.024. Let s = n + -64. Let i = -0.1 - 0.9. Which is smaller: s or i?
i
Suppose -3*g - 121 + 24 = 2*n, 111 = -4*g + n. Let v = 48 + g. Let m be (-2 - 0)*(v + -12). Is m at least as big as -14?
True
Suppose 4*z - 15 = n, -20*z = -5*n - 16*z - 11. Which is smaller: n or -7/48?
-7/48
Let j = -1739 + 805. Which is bigger: j or -935?
j
Let w be 4*((-10)/4 - -4). Suppose 7*i - 9*i = w. Let f be 4/8 + -1 + i. Which is greater: f or -3?
-3
Let p = 529/91 - 70/13. Which is greater: p or -1/2?
p
Suppose 3*v = -0*v + 3*q - 9, -4*q = -20. Suppose -28 - v = 5*p. Suppose 0 = 3*x + 4*g + 34, 4*x + 5*g = -18 - 26. Is x at most as big as p?
True
Let l = 210.95 - 235. Let x = l - -24. Suppose 4*i = -5*a - 20, -2 = -4*a - 18. Is x at least i?
False
Let y = -0.103 - -0.173. Is -81 equal to y?
False
Suppose -3*y = -9, -3*i + 8 = -4*y - 7. Let d = i + -8. Is 1/14 <= d?
True
Suppose -2*m = -t + 6, 3*t + 2*m - 5*m - 12 = 0. Let i(s) = -10*s**2 + 4 - 5*s + 2*s + 13*s**2. Let p be i(t). Which is smaller: p or 7?
7
Let p = 76 + -145. Let h = 58 + p. Which is bigger: h or -51/5?
-51/5
Let q be 3 + -3 + -1 - (-123)/129. Which is smaller: 1/3 or q?
q
Let q = 1/78 + 11/156. Which is bigger: 1 or q?
1
Let h = -0.03 - -4.03. Let n = -4.05 - -0.05. Let d = n + h. Which is smaller: d or 1?
d
Suppose b - 5*b - 2*m = -10, 0 = b - 3*m + 1. Suppose 2*o - b*f + 5*f = -1, -5*f = -2*o + 23. Suppose -2*k + 15 = -w, -o*w = -0*w + 20. Is 4 not equal to k?
True
Suppose 0 = 29*p - 50*p + 399. Which is smaller: p or 1/5?
1/5
Suppose 11*b - 269 = 171. Is b equal to 40?
True
Suppose -8*b - 92 = -9*b. Let u = b - 212. Which is smaller: u or -119?
u
Let l be (-21)/(-14) + (-2)/(-40)*-26. Is 2/7 smaller than l?
False
Let s = -1037.09 - -1044. Let k = 0.09 + s. Which is smaller: 0 or k?
0
Let s = -9 + 12. Suppose -3*x - 2*k + 31 = 0, x - 2*k + 6 = s. Let f be (-3)/((42/4)/x). Is f at least as big as -1/2?
False
Suppose 4*a + 145 = 9*a. Is 32 at most a?
False
Let w = -70 + 71. Let x be 3 + (-30)/(w/(-1)). Is x > 63/2?
True
Let h = -0.3 + 0.51. Let n = 58 - 58.11. Let o = h + n. Which is smaller: 5 or o?
o
Let x be (1 + (-46)/(-14) - 5) + 1. Let i = -118 - -828/7. Do x and i have different values?
False
Let a(q) = -q**2 - 9*q + 4. Suppose 3*j = 5*j + 4*y + 22, -5*j - 40 = -5*y. Let t be a(j). Suppose t = -3*l - l. Is -1 at most l?
True
Suppose 7*n + 2 = 16. Let d = -2246 + 22479/10. Is n less than d?
False
Let n(y) = -5*y + 3. Let r be n(2). Suppose 5*c - 95 = 10*c. Let g = 10 + c. Which is smaller: r or g?
g
Let p be (-1 + (-216)/4)*-1. Let i be (32/(-10))/(11/p). Is -2/5 at most as big as i?
False
Let g = 15280 + -60759/4. Is 90 at most g?
True
Let f = 0.112 + 0.388. Do -1.4 and f have the same value?
False
Suppose 2*j + 35 = -3*n + 50, 5*n - 6 = 3*j. Let t = 241 + -3131/13. Is t at most as big as n?
True
Let d(v) = -v - 46. Let i be d(-48). Which is smaller: i or 45/17?
i
Let a = -111428/5 - -22213. Let g = a + 73. Let x = 1.01 - 0.01. Which is bigger: x or g?
x
Let k = -270 + 270. Which is greater: k or -3/472?
k
Let v = -114583/1146 - 162/191. Is -100 > v?
True
Let g be (-10)/(-35) + 9/(-7). Let y be (-30)/92 + 2/4. Is g bigger than y?
False
Let q = 1717 + -1716.8. Let n = -2.03 + 0.03. Is n less than or equal to q?
True
Let w = 177/4 + -44. Suppose -2*k + 6 = 0, -5*n + k - 2*k + 373 = 0. Are n and w equal?
False
Suppose -2*f + 4*p = 96, -p - 202 = 4*f - 37. Let r be 38/f + (-2)/(-6). Let i = 0.7 - 2.7. Which is smaller: i or r?
i
Let n be (-4386)/34*(-2)/(-3). Which is bigger: n or -87?
n
Let d = 1/2180 - -69753/15260. Let r = -449/112 + d. Is 1 greater than r?
True
Suppose 8*l - 10 = s + 3*l, 0 = -2*s + 5*l. Let p be 3/(31185/(-2256)) + s/45. Which is bigger: p or 0?
p
Let y = 577 + -572. Are y and -9 nonequal?
True
Suppose 26*i - 488 - 370 = 0. Are 32 and i equal?
False
Let x be ((-5)/2)/(16/224). Which is smaller: -3 or x?
x
Let y(w) = w**3 - w**2 - w - 1. Let r(j) = 3*j**3 - 11*j**2 + 6*j - 1. Let k(i) = -r(i) + 2*y(i). Let l be k(8). Is l bigger than 15?
False
Let z be 6/(-15) - (-4 + 36/10). Let d = 180/11 - 2384/143. Is d smaller than z?
True
Suppose 85*t = 84*t + 364. Which is greater: t or 363?
t
Let p = -6 + 7.6. Let f = -11.8 + 11.9. Is f smaller than p?
True
Let b = 1.2 - 1.27. Let x(q) = -3*q - 6. Let o be x(-2). Which is smaller: o or b?
b
Suppose 7*g = -t + 3*g + 16, g - 1 = 0. Let m be ((-15)/t)/((-1)/(-4)). Let f be 319/(-58) - (2/(-4) - -1). Which is bigger: m or f?
m
Let n be 55/(-55)*1/(14/4). Is -471 at least as big as n?
False
Suppose 4*k - 4 = -6*g + 2*g, -4*g - 3*k = -9. Let t be ((-30)/(-9))/(4/g). Suppose -t*j - 14 + 19 = 0. Is -2/57 <= j?
True
Let q(s) = 91*s**2 + 90*s - 1. Let y be q(-1). Which is greater: y or 8/291?
8/291
Let s = -538 + 538. Which is bigger: s or -14.9?
s
Let j = 8 - 3. Let h be (j/20)/((-188)/(-24)). Which is bigger: h or 1?
1
Suppose q + 2*b + 6 = 0, 2*q - 3*b + 0*b = 9. Suppose q = -14*j + 9*j - 30. Is -2 smaller than j?
False
Let v be -94*(15/6 - 2). Let p = v - -46. Which is smaller: 3 or p?
p
Let r = 15.361 + -16.84. Let j = r - 0.021. Which is smaller: 1/2 or j?
j
Let d = -928 - -927. Which is bigger: 2/449 or d?
2/449
Let u(x) = 2*x**3 - 8*x + 2*x**2 + 5*x**2 - 3*x**3 - x**2 + 2. Let l(p) = p**3 + 14*p**2 + p + 18. Let r be l(-14). Let h be u(r). Does 2 = h?
True
Suppose -2*n = -0*n + 40. Let u be (-8)/n*(36 - 1). Let l be u/(-8) - 3/12. Is 0 bigger than l?
True
Let y(v) = 2*v**2 + 16*v + 34. Let x be y(-8). Are 34 and x equal?
True
Let b be 2 + (0 + 48)/4. Let c be (55/(-10) + 5)*(-4)/b. Which is smaller: 0 or c?
0
Suppose 4*y - 4*v = 8, 5*y + 5*v = 9 + 1. Let w = 4 - 1. Suppose -5*s + 13 = -y*i, -w*s + 0 + 6 = -3*i. Which is greater: i or 2/3?
i
Let s be 9009/(-1503) - 5/10*-12. Are 0.05 and s equal?
False
Suppose 76 = -2*v - 110. Let u = -92 - v. Do 7/4 and u have the same value?
False
Let p = 6.6707 + -0.0707. Is p less than or equal to -1?
False
Let w be 6/4 - (-1)/(-2). Let q be 15*((-20)/(-15))/4. Suppose 1 = -q*r + 6. Is r < w?
False
Let v(t) = t**3 - 19*t**2 + 16*t + 16. Let l be v(17). Is -290 at most l?
True
Let d = -1769 - -1781. Is d != -6?
True
Let m(w) = w**2 + 3*w + 2. Suppose i + 2*v + 3 = -0, 4*i + 12 = -3*v. Let o be m(i). Suppose -2*d = 4*h + 40, o*d - 30 = h + 2*h. Is -10 less than h?
False
Let l = 13 - 13. Let q be ((-1 + l)*0)/(-2). Suppose j + 3 = -2*k + 8, -5*j - 4*k + 37 = q. Which is smaller: 8 or j?
8
Let l = -2017/7 - -287. Let m(u) be the second derivative of -u**4/12 - 4*u**3/3 - u**2/2 + 2*u. Let o be m(-8). Which is greater: l or o?
o
Suppose -6*d + d - 3*b = -29, -4*d = -b - 30. Let h = -13 + 15. Suppose -10 + 26 = h*q. Which is greater: d or q?
q
Let v be 7 + -6 - (1 - (-1752)/15). Is v < -118?
False
Let b = -3 - -3. Is b equal to 6/77?
False
Suppose 2 = -5*p + f + 10, -p - 4*f = 11. Let r be 2*303/(-42) + (-33)/(-77). Let n be (p - 1) + 6/r. Which is greater: n or -1?
n
Suppose 2*n + 2*s = -3*n + 727, 715 = 5*n + 5*s. Do n and 146 have the same value?
False
Suppose 0 = a - 1, 5*s + 1 = -4*a - 0. Suppose -b - u + 169 = 4*u, 4*b - u = 676. Let p = -2027/12 + b. Is p smaller than s?
False
Let g be -8709 + 7/((-28)/12). Let y = g + 305097/35. Let p = 26/5 - y. Is p >= -1?
True
Suppose 6*c - 10*c + 6 = 2*g, 0 = -4*c. Suppose 0 = -4*i - 3*r + 11 + 9, 5*i + 2 = 3*r. Suppose i*s - 11 = -g. Is 4 at most as big as s?
True
Let a be -5*3/5*6535/(-15). Let n = -53590/41 + a. Is 1 >= n?
True
Suppose -5*z = -8*z + 54. Suppose -v + 3*k = -2*v + 7, -2*k = -5*v + z. Suppose v*h + h = 0. Is -1 bigger than h?
False
Let z = 0.23 