 3*j - r - 14. Which is smaller: o or j?
j
Suppose 3 = -9*w + 12*w. Suppose -2*i = -3 - 1. Which is greater: i or w?
i
Let l = 100906/17 + -5936. Let w = 1 + -1. Is l at least as big as w?
False
Let h be -10 + 182/13 + -38*4/24. Let b(c) = -c**2 + 5*c + 3. Let l be b(6). Does l = h?
False
Let k = -10/9567 + -50152/6936075. Is k equal to -1?
False
Suppose 1 = -3*g - 2*w, -4*g + 27 = -6*w + 3*w. Suppose 5*c - g*c = 4. Suppose -6*o = c*f - 3*o + 3, -4*o = f - 6. Which is bigger: -2/7 or f?
-2/7
Suppose 2*k = x - 3, -3*k = -0*x + x - 8. Which is smaller: k or -2?
-2
Let m = -1198/2121 - 2/303. Which is bigger: m or -2?
m
Let o be 2*-1 - 2/(-1). Suppose -4*c + 6 = a, 8 = -2*a - 4*c - 0. Let n be -35 + 30 + a/(-3). Which is smaller: n or o?
n
Suppose -a + 4*a = 48. Let q = a + -25. Let o = 9 + q. Do o and -1/2 have the same value?
False
Let w(u) = u**3 - 13*u**2 + 11*u + 44. Let k be w(12). Which is greater: 31 or k?
k
Let i = -3670 + 429359/117. Let o = 1/9 + i. Is o equal to -1?
False
Suppose 5*s + 18 = -w, 4*w + 3*s + 72 = 2*s. Is w > 0.1?
False
Let u be -2 - 3584/112*(-3)/(-14). Let m(z) = -z**2 + 6*z - 9. Let v be m(6). Which is smaller: u or v?
v
Let u(n) = 4*n - 40. Let f be u(23). Which is greater: -2 or f?
f
Let l be (-16)/(-64) + 17/(-4). Which is bigger: l or -10?
l
Let x = 8.8 + -1.8. Let a = 3.7 + -3.5. Is x < a?
False
Let c be (14/(-4))/(2/4). Let a be 2/c + 52/(-14). Let u be (-170)/(-4675)*22/2. Which is smaller: u or a?
a
Let j = 1.2 - 1. Let g(n) = n**3 - 4*n**2 + 2*n - 6. Let s be g(4). Let i be (3*s)/((-9)/(-9)). Which is bigger: i or j?
i
Let y = 0 + -3. Let u be y/23*(-2)/(-9). Suppose -7 = -2*h - 5. Are h and u unequal?
True
Let u = 0.61 + -0.01. Let f = 6.95 + -7.05. Which is smaller: u or f?
f
Suppose 700 = 14*x + 11*x. Which is smaller: x or 25?
25
Suppose t = -4*t - 60. Let v be (t/8 + 0)/(12/(-8)). Which is smaller: v or 7?
v
Let h = 10 - 8. Let n = 64 + -65. Which is greater: n or h?
h
Let y(j) = -9*j + 3. Let z be y(-4). Suppose 37*n = z*n - 4. Suppose 0 = 4*b - n*g - 8, -2*b - 5 = g - 1. Which is bigger: 2/3 or b?
2/3
Let z = 41.9 + -31. Let k = -7.9 + z. Is -2/5 <= k?
True
Let o(y) = 5*y - 38. Let z be o(11). Let n = z - 13. Which is bigger: n or 3?
n
Let z = -709.9 - -710. Which is smaller: 0.1031 or z?
z
Let f = 0.8 - -6.1. Let u = f + -6.99. Which is smaller: 3/4 or u?
u
Let h = 14 + -54. Suppose 2*b - 6*d = -2*d - 70, 2*b = -d - 80. Does b = h?
False
Let r = -134 + 254. Let d be (-13)/r + 6/16. Is 0 greater than or equal to d?
False
Let w = 3 - 2. Suppose 7*d = 5*d - 36. Let g be 1 - (4/(-8))/(3/d). Is g bigger than w?
False
Let a be 2*20/(-16)*(0 - -1). Let z be (7 + -4)*4/3. Let g be (3 - 1 - z) + -2. Is g bigger than a?
False
Let a = -12 + 18. Suppose -3*t + 4*r = -202, 5*t - 4*r - 333 = -r. Let v = t + -63. Is v at most as big as a?
True
Let d = 197/2 + -99. Are -23/7 and d nonequal?
True
Let h(l) = -25*l**2 + 3*l + 2. Let r be h(-2). Let j(a) = a**3 - 116*a**2 + 2339*a - 15. Let i be j(90). Which is smaller: r or i?
i
Let b = 813 - 812.9661. Which is smaller: -1/2 or b?
-1/2
Let q be -2 - -2 - (-2 + -60). Suppose -6 - q = -4*b. Let p = b - 11. Is p > 0?
True
Let f = 31 + -31. Suppose -h = -f*h. Is 0 != h?
False
Let b(o) = -o**2 + 12*o - 15. Let j be b(10). Suppose 6 + 6 = -2*c + j*w, -5*c = -5*w + 30. Let g(v) = -v**2 + 4*v. Let s be g(5). Is s at most as big as c?
False
Suppose -2*t = 5*d - 105, -31 = -2*d - 4*t + 27. Suppose 0 = -5*z - 37 - 53. Let y = z + d. Which is smaller: y or -2/7?
-2/7
Let n = 0.1712 - 0.1012. Which is smaller: 38 or n?
n
Let i = -0.65 + 0.711. Let h = i + 0.039. Is -3/35 at least as big as h?
False
Suppose -3*b - 5*j = -35, -4*b + 21 = 4*j - 15. Suppose w = -3*q + 11, -5*q - b*w = -3*q - 3. Which is greater: 2 or q?
q
Let k = -21 + 50. Let b = k - 31. Is b <= -2/13?
True
Suppose -2*y - 10*h + 15*h + 360 = 0, 0 = 4*y - 5*h - 740. Which is smaller: 194 or y?
y
Suppose 0 = 4*n + i - 2*i + 397, 3*i + 9 = 0. Let q be (3/n)/(0/7 + -3). Which is greater: q or 0?
q
Suppose 27 = -13*f + 118. Which is smaller: 9 or f?
f
Let f = 200.02 + -200. Which is greater: f or 16?
16
Let b = 52 - 119. Which is greater: b or -0.1?
-0.1
Let f be (60/144)/(200/16)*(-10)/16. Let s = 0 + 0. Which is greater: s or f?
s
Suppose -1 = -4*z - h, 6 = z + 2*z - h. Which is smaller: 2/927 or z?
2/927
Let b(x) = -x**2 + x. Suppose f - 3*i + 24 = 4*f, 0 = -5*i + 20. Let c be b(f). Let q = -8 - c. Is 5 greater than q?
True
Let j = 29 + -30. Which is greater: 5/21 or j?
5/21
Suppose 10 = -3*q - 3*c - 11, -q + 3*c - 19 = 0. Which is bigger: q or -21?
q
Let s be (-237)/5 + (-4)/(-10). Let a = s - -237/5. Which is smaller: a or -1/3?
-1/3
Let y = -16.442 + 14.842. Let v = 65/76 + -2/19. Is v greater than y?
True
Let m(q) = q**2 - 15*q + 10. Let k be (-28)/(-3)*(-18)/(-12). Let c be m(k). Let o be c/26 - (3 - 3). Which is smaller: 1 or o?
o
Let m be 5/(-10) - 483/(-974). Let o = m - 1934/3409. Let x = -418 - -417. Is o < x?
False
Let t be ((-8)/(-16))/(52/(-32)). Are t and -1 nonequal?
True
Let k = 535/387 + 8/129. Let d = 233/18 - k. Is d bigger than 12?
False
Suppose 14*n = 11*n + 276. Suppose -7*b - n = -281. Are b and 29 nonequal?
True
Let a(l) = -2*l**2 - 3*l + 1. Let m be a(-2). Does m = 1/399?
False
Let x be 4*(4 + (-2 - 1)). Suppose 0 = -2*b + 4*u - 38, -10 = 3*b + x*u - 3. Let k be 14/(-7) - (-1 - b). Which is smaller: k or -9?
k
Let y = -70446/5 + 14044. Is -44 greater than y?
True
Let r(p) = 3*p - 20. Let j be r(3). Is j equal to -7?
False
Let c be (4 + 3635/(-905))*8/(-20). Which is smaller: c or 0?
0
Let k be 3*(4 - 5/1) + 627. Is 626 at least k?
True
Let a be (6/4)/(15/70). Suppose a*f = 2*b + 3*f - 50, 5*f - 50 = -2*b. Let x be 4/(-14) - b/35. Which is smaller: 2/43 or x?
x
Suppose 4*k = -3*b + 4*b + 21, 0 = b + 5*k + 48. Which is smaller: -34 or b?
-34
Let p = -60.016 + 60. Let z = p + -3.984. Is -3 equal to z?
False
Let s = -17 + 18. Let j be -5 + s/2*0. Let v = -8 - j. Is v at least as big as -4?
True
Let q = 5.03 - 4.542. Which is bigger: q or 0?
q
Let q = 26 - 37. Let d(m) = m**2 + 9*m - 12. Let t be d(q). Let s(o) = -3*o - 7. Let l be s(-6). Which is smaller: t or l?
t
Let v = 381 + -369. Let o(d) be the second derivative of d**4/12 - 2*d**3 - 5*d**2/2 + 2*d. Let r be o(v). Which is bigger: r or -1/8?
-1/8
Let u = 10 + 3. Suppose 0 = 3*a - 2*a + u. Which is greater: -10 or a?
-10
Let d(p) = -6*p - 2. Let b(g) = 7*g + 3. Let j(x) = -3*b(x) - 4*d(x). Let q be j(0). Let u be 230/40 + q/(-4). Which is greater: u or 4?
u
Let x = 17644/23 + -767. Which is bigger: -1 or x?
x
Let a(s) = 12*s**3 - 2*s**2 + 4*s + 1. Let b be a(-3). Let x = b - -1046/3. Which is bigger: x or -5?
x
Let j be 14/5 + 4/20. Suppose 0*z = -j*z + 15. Suppose -z + 4 = s. Do s and -1 have different values?
False
Let u(g) = 3*g**2 + 17*g + 8. Let q be u(-7). Suppose -5*y + q - 1 = 0. Which is bigger: 1 or y?
y
Suppose -3*g - 42 = m, g - 5*m = -0*m - 30. Let l be 1/18*(g/(-5) - 4). Which is bigger: l or 1?
1
Let l(h) = -52*h - 1733. Let y be l(-33). Let p = -3 - 12. Which is smaller: p or y?
y
Let p be (60/(-14))/(22/364). Let b(l) = 72*l**2 - 1. Let g be b(-1). Let k = p + g. Which is bigger: k or 1?
1
Let g = 671.95 - 672. Which is smaller: -2/5 or g?
-2/5
Let d = -24.57 - -0.57. Let w = -24.043 + -0.057. Let z = d - w. Which is greater: 1 or z?
1
Let i be ((-16)/60)/(1 + (-14)/10). Is i < -8.33?
False
Suppose 0*v + 6 = v. Let t be (-1 - 2 - -2) + 2. Suppose t - v = -i. Which is smaller: 4 or i?
4
Suppose -21*s + 934 = -872. Is s > 86?
False
Suppose -5*v = 4*a - 1, 7*a - 3*a - 4*v + 44 = 0. Suppose -5*x = -3*c + 23, -4*c + 5*c - 13 = 3*x. Let q be (-1)/2 - a/x. Is -2/3 at most q?
False
Let h = -410 - -287. Are h and -125 equal?
False
Let h be (256/(-20))/((-6)/15). Suppose 3 = -p + h. Let m = -31 + p. Is m greater than -1?
False
Let p be (36170/(-5150) + 7)/2. Which is bigger: p or 1?
1
Let f = 8.6 - 8.02. Let u = f - -22.42. Is 1/2 greater than u?
False
Let c(l) = -l**2 - 15*l + 18. Let z be -2*(-3 - 92/(-8)). Let j be c(z). Let s be 10/6*j/(-760). Which is bigger: -1 or s?
s
Let t be (-153)/6*(-1190)/(-105). Is -290 at most t?
True
Suppose -6*c - 708 + 222 = 0. Which is smaller: -73 or c?
c
Let x = -112 + 111. Let k be (-483)/12 - x/