r: x or 3?
3
Suppose 3*w - 21 = 3*z, 0*w - w - 23 = 5*z. Suppose -k = 3*o - 15, -3*k - 223*o + 10 = -221*o. Which is greater: w or k?
w
Let d = -0.5 - 6.5. Suppose -i - 2 + 0 = 3*j, -4*i = 2*j + 8. Let b be 2/4*i*2. Which is bigger: d or b?
b
Let v(d) = 2*d + 1. Let s be v(3). Let p(c) = c**2 - 6*c - 7. Let w be p(s). Let f be (w - 0)/(6/3). Which is smaller: -1/3 or f?
-1/3
Let a(b) = 3*b**2 + 43*b + 1. Let d be a(-14). Which is greater: d or -18?
d
Let s = 11 + -18. Let c = 2905 - 2914. Is s < c?
False
Suppose 3*w + 151 = -4*s - 14, 2*s = 5*w - 89. Let x = s - -11. Which is bigger: x or -30?
-30
Let r = 0 + 0.11. Let u = -0.01 + r. Let t = 2/149 - -586/745. Which is bigger: u or t?
t
Let l(r) = -r**3 - 3*r**2 + 16*r - 29. Let h be l(2). Let g = -9 - 3. Let s be (3/6 + 1)*g. Which is smaller: s or h?
s
Let i(c) = -3*c - 9. Let g be i(-5). Let q be 1 + -1 + (11 + -5)/g. Does q = 0?
False
Let y = 21.81 + 3.19. Is y > 0?
True
Let n = -806 - -806.2. Which is smaller: n or 215/2?
n
Let m = -153 + 152. Are 397 and m equal?
False
Let h be (6/((-6)/(-2)))/((-2)/(-6)). Suppose h*w - 2 = 4. Which is bigger: w or 0.2?
w
Let p be (-90)/225 + (-3)/(30/(-4)). Let y = -12 - -23. Is p at least as big as y?
False
Let c = -184 + 3494/19. Let z = -6.1 + 6.136. Let b = z + -1.036. Which is smaller: c or b?
b
Suppose j - 17 = 7. Let r = j - 37. Is -13 at least as big as r?
True
Let h = -21043 + 7849034/373. Are 1 and h nonequal?
True
Let f(a) = -a**3 + 9*a**2 - 6*a - 12. Let n be f(8). Suppose 5*g - d - 33 = 0, -4*g = -g - 5*d - 33. Is g >= n?
True
Suppose 5*n - d = -67, -22 - 11 = 3*n + 3*d. Let p(j) = j - 4. Let o be p(-7). Is o not equal to n?
True
Suppose -10*p - 248 = -6*p. Let x = -208 + 146. Is x less than or equal to p?
True
Suppose -13 = 2*h + 53. Let y be (h/(-5))/((-2)/(-22)). Let o = 73 - y. Which is smaller: 1/7 or o?
1/7
Let t = 6415/13 - 493. Let i be ((-5)/4)/((-11)/44). Suppose i*b - k = 4*b + 5, 20 = -5*b - 4*k. Is t at least as big as b?
True
Let p be (-7 - 0/1) + (-6935355)/(-990675). Is 1 at least p?
True
Let u be 3/(-36) + (-18102)/(-193032). Is -1 >= u?
False
Let z be (-4 - 17/(-4)) + (-466796)/137648. Let m = z - 2/1229. Is -4 smaller than m?
True
Let h = 50 + -54. Let d(v) = v + 3. Let z be d(-5). Let l(c) = 3*c + 1. Let y be l(z). Are h and y equal?
False
Suppose 90 = -8*v + 362. Which is smaller: v or 33?
33
Let s be (2 - (5 - 2)) + 0/7. Let z = -15 + 44. Is s at most z?
True
Suppose 30*z - 11547 = 2163. Do z and -1 have the same value?
False
Let t(p) be the third derivative of -7*p**6/60 - p**5/60 - p**4/24 - 3*p**2. Let q be t(-1). Let z be 21/q*(-2)/3. Do 4/9 and z have the same value?
False
Let a = 11.376 - -0.664. Let z = -12 + a. Let f = 123 - 859/7. Which is bigger: z or f?
f
Let n = -1809 + 39799/22. Which is greater: n or -30?
n
Let g(o) = 3*o**3 + 28*o**2 - 14*o - 78. Let u be g(-10). Which is smaller: -691/5 or u?
-691/5
Let n be ((-3)/117)/((-1)/(-5)). Let d(t) = -3*t**2 - 17*t - 24. Let x be d(-3). Which is smaller: x or n?
n
Suppose 0 = -k - 3*k. Let f = 264807517/8658980 - 3/157436. Let d = 152/5 - f. Are k and d non-equal?
True
Let l be ((-188)/(-141))/((-8)/6). Which is smaller: -15/47 or l?
l
Suppose -3*c = -0*r - 3*r + 24, 0 = -2*c + 3*r - 21. Let q be (-249)/50*c/(-54). Let g = q + 2/75. Which is greater: g or -0.06?
-0.06
Let m = 9779 + -29725/3. Is m greater than or equal to -130?
True
Let h = 1361 + -198707/146. Which is smaller: -1 or h?
-1
Let t = 16.631 - 0.031. Let c = 1.6 - t. Let x = 15 + c. Which is bigger: x or -11?
x
Let b = -6 + 4. Let h be (-6)/10 + 0 + 7502/8470. Which is greater: b or h?
h
Suppose 6*b = 37*b - 2449. Is b bigger than 79?
False
Let a be -4 - (4/(-2) + -410). Let o = -5292/13 + a. Is o != 0?
True
Let g = -168951 - -2867681/17. Let s = g - -264. Let v = 1441 + -1440.9. Is s at most v?
False
Let q = 167 - 156. Let y = 1.5 + 10.5. Let a = q - y. Which is greater: 2/11 or a?
2/11
Let f be -18*3/(-294)*-16. Let h = -3023/245 - f. Let d = h + 46/5. Do 4/3 and d have different values?
True
Suppose 7 = 10*r - 3. Which is bigger: -9/20 or r?
r
Let c be 246/30 + -7 + -2. Suppose 0 = -5*j - 4*k - 2, 2*k - 6 = j. Which is smaller: j or c?
j
Let l(u) = u**2 + 3*u - 7. Suppose -3 = -4*t + 4*x - 19, -3*x + 4 = -2*t. Let y be l(t). Is y >= 34?
False
Let x(m) = m**2 - 5*m - 4. Suppose -2*b - 3*b = -30. Let a be x(b). Suppose 2*r - 16 = 6*o - a*o, -r + 5 = o. Is 6 <= r?
True
Let p be ((-2)/7)/((-9)/63). Suppose -5*q = -m - 4*m + 35, 4*m = -p*q + 16. Suppose m*h + 24 + 11 = 0. Is -6 less than or equal to h?
False
Let k = -3.11 - 0.09. Let t = 5.2 + k. Which is greater: 1/4 or t?
t
Let p = -1997 + 1714. Is -285 < p?
True
Suppose -4*a - 2*v + 3*v = -5, -v - 5 = a. Let b be -7 + (4/(-4) - a). Let y be 4/b*(2 - 10). Which is bigger: y or 4/3?
y
Let o(q) = -q**3 + 8*q**2 - 7*q + 15. Let j be o(7). Let a = j + -13. Suppose 0 = -5*g + a + 3. Which is smaller: 0 or g?
0
Suppose -2 = -l, -3*l = 2*u - 4*l - 50. Which is smaller: 1/5 or u?
1/5
Let a = -11 - -9. Let b(t) = -3*t**2 - 4*t - 2. Let q be b(a). Let c(w) = -w - 7. Let s be c(q). Which is bigger: 1/6 or s?
1/6
Suppose 20 = -a + 21*a. Is 4/313 < a?
True
Suppose 3*r + 27 = -4*j, -51 = -2*j + 6*j - 5*r. Which is bigger: j or -11?
j
Suppose -177 = p - 309. Which is greater: p or 133?
133
Let m = -0.06 - 0.64. Let d = m + 1.7. Let r = d - 0. Which is bigger: r or 0?
r
Suppose 53 = 13*n - 25. Suppose 2 + n = -2*p, -2*p - 13 = -5*k. Is -2/35 > k?
False
Let a = -6.81 + 6.75. Let o = -6.6 + 0.6. Let v = 5 + o. Which is greater: v or a?
a
Let h(r) = 2*r**2 + 16*r + 16. Let c be h(-7). Suppose 4*t = -3*b + 35, -35 = 5*t - 10*t - c*b. Suppose 0 = 4*k + t*w + 68, 0 = 4*w - 10 + 26. Is k < -11?
True
Suppose -5*g = 4*j - 284, 5*j - 2 = 3*j. Suppose 2*t - 4*h + 28 = 0, 3*t = -t + 2*h - g. Is t greater than -14?
False
Suppose -h = 3*h - 16. Suppose 0*f - f = -2. Suppose d = -5*m - 6, -h*m + f*d - 3 = m. Is -1/15 > m?
True
Let w(h) = -h**2 - 3*h + 9. Let g be w(-4). Let s be 15*1*9/(-27). Let k(b) = -b + 1. Let d be k(s). Do g and d have the same value?
False
Let q = -204/6235 - 2/145. Let w be (-2)/4*4*(-4)/(-8). Do w and q have the same value?
False
Let t = 83/63 + 19/21. Suppose 0 = -4*g - 20, o = -3*g + 5*g + 19. Suppose 0 = -m + 12 - o. Is t less than or equal to m?
True
Let m(w) = -4*w - 20. Let c(x) = -x**2 - 8*x + 3. Let v be c(-9). Let h be m(v). Are h and 4 unequal?
False
Let q = 339 + -402. Which is smaller: -65 or q?
-65
Let o(v) = v**2 - 3*v - 39. Let b be o(8). Let n = 13/15 - 167/210. Which is bigger: n or b?
b
Let t(d) = -5*d + 1. Let a(q) = -q + 2. Let k(r) = -6*a(r) + t(r). Let h be k(3). Let x(l) = -l - 2. Let i be x(6). Is i greater than or equal to h?
True
Suppose -28*l - 7*l + 17115 = 0. Is l >= 489?
True
Let t(r) = 14*r**3 - 8*r**2 + 4*r + 2. Let w be t(-3). Which is greater: -459 or w?
-459
Let m be 73*(1 + 1 + -1). Let i = 14/87 - -12413/174. Let t = i - m. Which is bigger: t or -3?
t
Let s = 70.39 + -71. Let y = 1.39 - s. Which is greater: -10 or y?
y
Let t(w) = -w**3 + 7*w**2 - 9*w - 5. Let x be t(5). Which is smaller: x or 2/4319?
x
Let o be -6*(-3)/6*1. Suppose 4*y + 10 = 5*p, -5*y = o*p + 1 - 7. Suppose -f - 2 = -5*w + 2, 3*f + 12 = -p*w. Is w <= -1/6?
False
Let r = 1568 + -2267. Is r < 0?
True
Let x(u) = u + 1. Suppose p + 3*p - 56 = 0. Let l be (-10)/(-35) - (-108)/p. Let i be x(l). Which is greater: i or -1?
i
Suppose -5*i + 5 = 0, -5*i = k - 8 - 54. Let x = -82 + k. Which is smaller: -26 or x?
-26
Let f = 0 + -3. Let i = -2.8 - f. Suppose 8*v + 7 = 47. Which is bigger: v or i?
v
Let s = -469 - -469. Suppose 21 = -2*l + 1. Let h be (16/(-20))/((-14)/l). Do h and s have different values?
True
Suppose -43*m - s - 158 = -40*m, 3*s - 138 = 3*m. Let l(q) = -q**3 + 4*q**2 - 4*q - 7. Let o be l(5). Is m at most o?
False
Let g(j) = -j**3 - 16*j**2 + 3*j + 47. Let t be g(-16). Is t at most -36/53?
True
Suppose -13 = 3*v + 5*p - 0, -4*v - 5*p = 14. Are 2/435 and v equal?
False
Let v be (-18)/(-8)*(-8)/(-51). Let z = 735 + -513. Let k = z + -221. Is v at least as big as k?
False
Let m be (32177/3)/((-40)/(5/(-1))). Let u = -1341 + m. Which is smaller: u or -1?
-1
Let x be 2 - 18*4/30. Let n(s) = -s**2 + 3 + 7*s + 6 + 0. Let t be n(8). Which is great