 is greater: d or 2/19?
2/19
Suppose 26 = -3*j - 4*l, 58 = -l + 53. Which is smaller: j or 257?
j
Let t = -44 + 59. Suppose -4*l = -o - 0*o + 7, o = -5*l - 2. Suppose 2*g - 5*m + t = 0, -o*g - 2*m = 38 - 6. Is -10 greater than g?
False
Let z = -579 + 580. Which is greater: 11/9 or z?
11/9
Let z be 0*(-1)/(-2) + 8. Let i be (-2)/8 - 39/(-12). Suppose l = -i*l - z. Which is greater: -1/2 or l?
-1/2
Let z be ((-2)/1)/(2/(-13)). Suppose -17*c = -z*c - 16. Let f be (5 + c/(-2))*-1. Is f greater than or equal to -1?
False
Let f be 6/(2 + -5) + -10 + 11. Which is smaller: 143 or f?
f
Suppose -4*m - 2 = 2*i, -358*i = 3*m - 355*i. Which is bigger: m or -9/110?
-9/110
Let j = 0.78 + -0.68. Which is bigger: j or -12?
j
Let w be (7 - 287/42)*-2. Is w less than 145/3?
True
Let w = 27 - 29. Let f = w - -6. Suppose -4*s = -6*s + f. Is -0.15 at most as big as s?
True
Let z = 314 - 299.9. Let m = -14 + z. Is m < 2?
True
Let o = -5325/1636 + 2/409. Let n = o + 19/12. Is n at most -2?
False
Let c be ((-1)/1)/(12/(-24)). Suppose -3*w = c*w. Suppose r = -w*r. Which is bigger: r or -4/5?
r
Suppose -s - 6 + 2 = 0. Let z be ((-66)/(s + 1))/6. Is z at most 4?
True
Let u(h) = -h + 72. Let g be u(14). Is 58 bigger than g?
False
Let o = -764 - -786. Is 2 at most o?
True
Let l = 3043.9 - 3042. Is 11 smaller than l?
False
Let h be (-34)/24 + 2/3. Suppose -5*a + 0*f + 43 = 3*f, -19 = -2*a - 3*f. Suppose 3*r - 15 = v, -3*r + a = -4*v - 7. Which is smaller: v or h?
h
Suppose 3*s = -2*f + 11, 4*f + s = 6*s - 11. Suppose f = -x - 0. Which is smaller: -2/23 or x?
x
Let g(l) = -l**2 + 7*l - 5. Suppose -4*x + x = 39. Let c = -6 - x. Let j be g(c). Which is smaller: j or -2?
j
Let n be (-1*4)/(-2 - 0). Let h be (1/2)/(1/n). Which is greater: h or 1/33?
h
Suppose -3*b = -0*b - 225. Let j be 3/(-20)*b/(-18). Is j less than or equal to 0?
False
Let p be (210/17885)/(4/14). Which is bigger: p or -1?
p
Let c be (-7)/14 - (87/42 + 1). Is -4 >= c?
False
Suppose -5*g - 30 = -5*z - 3*g, -3*z - 3*g - 3 = 0. Suppose -3*o + 1 = -4*q - 26, -3*q + z*o = 29. Is -0.1 at least q?
True
Let l = -160 + 310. Let n = l + -136.6. Let y = -13 + n. Which is greater: 1/3 or y?
y
Suppose 5*p - 5*o = 0, 5*p + o - 5 = 1. Which is smaller: p or -1/59?
-1/59
Let z = 770.4 + -770. Which is smaller: 1/166 or z?
1/166
Let i(x) = x**3 + 4*x**2 - x + 19. Let z be i(-5). Let t be (-206)/(-272) - 6/51*z. Does 1 = t?
False
Suppose -17 - 23 = -5*k. Suppose -4 = 2*s, b + 5*s = -k - 7. Which is bigger: -4 or b?
-4
Let x be (-2496754)/856 + (-11)/44. Let i = x + 2917. Which is smaller: 1 or i?
i
Let a be 1 - 1 - 3/(-18). Let r = 191.5 + -192.5. Which is bigger: r or a?
a
Let o be (8 - -210)*(-2 + (-12)/(-8)). Which is smaller: o or -112?
-112
Let i(d) = -d**3 + 4*d**2 - 2*d - 1. Let q be (5/10)/(1/4). Let k be i(q). Let m be k/(2 - (0 + -1)). Is 4 at most m?
False
Suppose 2*s + 16 = -2*y + 3*s, 5*s - 20 = 0. Let u be ((-1)/3 + 1)/(4/y). Which is smaller: -5 or u?
-5
Let l(r) be the third derivative of r**5/60 - r**4/3 + r**3 + 3*r**2. Let c be l(7). Let x be (c/6)/((-198)/36). Which is greater: x or 1?
1
Let k = -300611/114 - -2637. Let g = k + -487/4218. Which is smaller: g or -1?
-1
Let t = -0.163 + 12.863. Let h = t - 10.7. Is -8 at most h?
True
Let q be 3 - (-3 - -7) - (7 + 89). Which is bigger: q or 0?
0
Let q(x) = 14*x**2 + 16*x - 19. Let p be q(-7). Which is greater: p or 554?
p
Let t = 579.68 + -528. Let p = -52 + t. Which is smaller: 0.1 or p?
p
Suppose 0 = 4*y + 6*m - 4*m + 22, m = 5*y + 38. Let w be 0 + 4/(16/(-268)) + -3. Let x = w - -64. Which is smaller: y or x?
y
Let j = 0.08 + -0.46. Let a = j + -4.62. Let d = 6 + a. Which is smaller: d or 21?
d
Let k = -9 - -23. Suppose 0 = 6*s - k - 40. Let y(a) = a**3 - 8*a**2 - 7*a - 13. Let c be y(s). Is c != 5?
False
Let b(p) = -p**2 + 9*p - 4. Let c(y) = -y**2 + 7*y - 5. Let g be c(5). Let z be b(g). Let u = z - 16. Is u equal to -2?
False
Let s be ((-3)/(-6))/1*2. Suppose w + 4*w = -q + 8, 2*q - w = 5. Let i be q/(-5) + 16/32. Is s at least i?
True
Suppose -5*x + 8*x - 15 = 0, 4*i = x - 21. Which is greater: -63/13 or i?
i
Let x = 5.88 - 5.88. Which is bigger: -5 or x?
x
Let o = 6/763 + -74041/3815. Which is smaller: o or -18?
o
Let z(i) = i**3 - 13*i**2 + 2*i - 19. Let t be z(13). Is t > 58/9?
True
Suppose -6*h = -4*h + 14. Let m(j) = -j**2 - 10*j - 6. Let n be m(h). Let w = n - 14. Do w and 1 have different values?
False
Let y be 448/21 + (-1)/3. Let g = y - 22. Let c be (-140)/(-240) - g/(-3). Which is bigger: 3 or c?
3
Let o(u) = u**3 + 8*u**2 + 8*u - 10. Let n be o(-7). Let z be (-18)/(-54) + n/(-3). Is z > 8?
False
Let r = 1560 + -1566. Let j(n) = -n**2 + 3*n + 9. Let s(u) = -u**2 + 2*u + 8. Let l(g) = -5*j(g) + 6*s(g). Let c be l(r). Is c at most as big as -15?
True
Suppose 4*t + 162 - 486 = 0. Which is greater: 82 or t?
82
Let f(r) = 0*r - 16*r + 2 - 3*r**2 - 23*r. Let v be f(-14). Is -40 not equal to v?
False
Suppose 6 = -2*k - 4*r, 0*k - 12 = 4*k + 2*r. Let o(g) = -g**2 - 3*g. Let d be o(k). Let p = 919/7 + -131. Is d at most p?
True
Suppose 39*i + 8 = 31*i. Let u be ((-100)/15 + 7)/(i/3). Let x be 1/(-1) + 10/7. Is x at least u?
True
Let s = -17.87 - -18. Let n = 0.23 - s. Is n smaller than 18?
True
Let g = 46 + -44. Let q = 2.6 - g. Which is smaller: q or -1?
-1
Suppose 5*m + 3 = 4*l - 10, 0 = 2*m - 6. Let d = -6 + l. Let i be (5/30)/(d/4). Which is smaller: i or 0?
0
Let o(i) = -11*i + 7. Let u be o(-3). Suppose 37*y + 3 = u*y. Suppose -3*h = 5*c - 40, -5*c - 5*h + 50 = -0. Is y <= c?
True
Let f(s) be the third derivative of s**4/24 + 11*s**3/3 - 2*s**2. Let m be f(-23). Is m greater than 3/52?
False
Let h = 134 - 131. Let l be 3 - (h + -4) - (3 + 0). Which is smaller: -4 or l?
-4
Let p = -311/5 + 63. Let q(x) = x**3 - 6*x**2 - 47*x + 280. Let c be q(7). Are c and p equal?
False
Suppose 3*m = 4*o - 29, -4*o - 12 = m - 29. Suppose 1 = -o*a + 6. Let x = -2 - 3. Are a and x unequal?
True
Let u = 16 + -5. Suppose 2*b = 3*k + 11, 0*k + 4*k + u = -b. Which is greater: b or 2/147?
b
Let p = -87 + 87. Let d be 1/(p - (-4)/12). Does 5 = d?
False
Suppose -8*d + 7 = 63. Let u be 12/(-42) - (-103)/d. Which is greater: u or -16?
u
Let d = -29 - -31.9. Let x = d + -1.9. Which is smaller: -6/11 or x?
-6/11
Suppose -3*q + 7*q + 5*b - 2505 = 0, 2*b = -2*q + 1250. Let g be q/35 - 4/(-14). Is 19 less than g?
False
Suppose 4*x = -5*p - 11, 0 = -4*p - 248*x + 245*x - 8. Let l be 3/4 - 58/120. Is l less than p?
True
Suppose 0 = -5*g - 5*i + 88 + 87, -4*i - 112 = -3*g. Are g and -0.1 equal?
False
Let n(h) be the third derivative of -h**4/24 + 7*h**3/3 + 15*h**2. Let p be n(14). Is 0.8 at least as big as p?
True
Let z be (1 - -5) + (-1 + 0)*3. Suppose z*w + 2*p - 15 = 5, 0 = -4*w - 5*p + 22. Let d(k) = k**2 + k + 8. Let u be d(0). Are w and u equal?
True
Let k be (-8)/(-10) - (42/15)/1. Let h be ((-26)/39)/(2/(-24)) - k. Let r be -9*(0 - (0 - -1)). Which is greater: h or r?
h
Let m(l) = -2*l**3 - 2*l**2 + l + 1. Let k be m(-1). Which is smaller: -12/59 or k?
-12/59
Let x be (-63)/(-3)*(4 + (1 - 4)). Let p be ((-4)/42)/(-2 - (-39)/x). Let a be (-15)/12*2/(-10). Is p at least a?
True
Let o be 1*5 + (-2144)/(-48). Is o bigger than 49?
True
Suppose -4*t + 2*w = 388 + 724, -5*t - w = 1383. Let h be 6/12 - t/(-2). Let r be h/(-189) + 8/(-28). Is -1 at least r?
False
Let y = 15/14 + -4/7. Let h(q) = q**3 + 7*q**2 + 11*q + 13. Let i be h(-4). Which is smaller: i or y?
y
Suppose -142*o + 16 = -146*o. Is o less than -17/4?
False
Let g(d) = 7*d**2 - 5*d**2 + 16*d + 0*d**2 - 40 - 4*d**2. Let m be g(9). Is -57 at most m?
False
Let w be 46/161 + 95/(-357). Do w and 1 have the same value?
False
Let f = -63 + 71. Let x be f/(-42)*(-51)/34. Is -10 at most x?
True
Suppose 2*w = -0*w - 2. Suppose -59*n + 2 = -58*n. Let d be (n/36)/(w/8). Are -1 and d unequal?
True
Suppose 0 = -3*w + n + 34, -5*w - 2*n = -n - 54. Suppose -29 = -5*u + w. Let y(z) = -z**3 + 9*z**2 - 9*z + 8. Let v be y(u). Which is smaller: -1 or v?
-1
Let d be -1*(-3)/(-3) + 246 + 2. Let i be 1 + 3 + (-1027)/d. Which is bigger: 0 or i?
0
Suppose -5*i + 2*d = -9, 36*i - 38*i - d = 0. Do -1/21 and i have the same value?
False
Suppose 2*v + 0*v - 68 = 5*i, -v - 2*i = -16. Which is smaller: 25 or v?
v
Let w be 9924/(-45) + (-12)/1