 is greater: 0 or j?
0
Suppose -5*p - 5*o + 25 = 0, -12 = 2*p + 3*o - 20. Is p equal to 84/13?
False
Suppose -4*r + 3*h + 145 = r, 4*h = 0. Is r not equal to 36?
True
Suppose 9*k = -53 + 17. Does k = -1/6?
False
Let h = -322 - -304. Is -2 < h?
False
Let o = 71 - 55. Suppose 0 = 4*g - o, -2*g - 4 - 3 = -5*h. Which is smaller: -6 or h?
-6
Let q = -90.1 + 90. Is q >= -94?
True
Suppose 0*a - 3*a + 6 = 0. Suppose -a*t - 32 = -0*t. Which is smaller: t or -14?
t
Let g = 1.4 + -4.5. Let b = g + 3.1. Let y = 0.1 - 0.1. Is b less than y?
False
Let f be ((-4)/10)/(2/1070). Let g be f/(-6) + 4/12. Let c be (2/g)/(5/15). Which is greater: c or -1?
c
Let a(n) = -2*n - 3. Let i be a(-3). Let v = 68/11 - 664/143. Let f = v + 25/26. Does f = i?
False
Let d = -6.656 - -0.056. Let v = 7.6 + d. Which is greater: v or 3?
3
Let f be 0 - 12/9*-24. Let y = -350/11 + f. Let v be ((-2)/4)/(1/2). Which is smaller: v or y?
v
Let z = -654.992 - -655. Do 2/9 and z have different values?
True
Let l be 1 + -2 - (-15 - (2 + 1)). Suppose -5*p - 95 = 3*i, -2*p + 2*i = 21 + l. Are p and -19 unequal?
False
Let o = -511 + 519.5. Is o <= 0?
False
Let n = 235/144 - 13/9. Let b be (2 + -2)/((-192)/64). Which is smaller: b or n?
b
Let g(j) = -397*j - 2378. Let s be g(-6). Let d = -1 + 0.98. Is s greater than or equal to d?
True
Let p be 250/40 + -6 + 137/(-4). Which is smaller: -29 or p?
p
Let w be (1/((-1)/(-5)))/((-1)/(-2)). Let a be (-7)/5 - -1 - (-2)/w. Let k = -3 + 9. Is k < a?
False
Let p = -0.007 - 44.993. Let v = p - -43. Which is bigger: 16 or v?
16
Let p = -103.81 + -0.19. Let q = 94 + p. Is q equal to -2?
False
Let v(y) be the first derivative of -y**4/4 - 6*y**3 + 19*y**2 + 23*y + 31. Let f be v(-20). Which is smaller: 62 or f?
62
Let p be (-86)/(-5) - (-156)/(-26). Which is smaller: p or 11?
11
Suppose 0 = a - 3*a, 5*y + 4*a + 25 = 0. Suppose 0 = 2*q - q + 1, -u = 2*q + 53. Let j = 44 + u. Which is bigger: j or y?
y
Let d be 1 + 1 - (-156)/(-80). Is 0 at least d?
False
Let v = -4 + 9. Suppose -o - 8 = -v*o. Suppose 0 = -3*y - 3*j + 3, -2*j + 8 = -3*y + 26. Is o at least as big as y?
False
Suppose 4*o = -5*c - 16, -5*o - 3 = -c - 12. Is -2/237 at least o?
False
Let k be 99/21 - (-4)/14 - -2. Is 45/7 > k?
False
Let y be 1 + 92/(-70) + (-48 - -50). Let z = 7/5 - y. Is 0.016 at least z?
True
Suppose -41*o - 5*u = -36*o - 80, -4*o - 2*u + 74 = 0. Which is bigger: 6 or o?
o
Let m = -564 - -208. Let x = m + 7472/21. Suppose 2*r - 5*q = -0*r, -5*r = -q. Which is smaller: x or r?
x
Suppose -2*n + 5*b + 20 = 0, 3*b = 5*n - 4*n - 11. Suppose -2*l = -3*m - 4, 0*l - 4*l - n*m = 14. Which is bigger: l or -2/75?
-2/75
Let k(s) = -2*s**2 + 3*s**2 + 9 + 13*s + s**2 - s**2. Let d be k(-13). Suppose d = 4*a + 3*p + 1, -4*p - 10 = -5*a. Does a = 2?
True
Let x be (-8)/44 + (-180)/(-627). Suppose 0 = 2*g + 2 + 4. Let b be (g + 5 - 0) + -2. Is b smaller than x?
True
Suppose 8*q - 75 = d + 3*q, 162 = -2*d - 2*q. Which is smaller: -81 or d?
-81
Let f = -12.5 - -21.2. Let g = 20.7 - f. Do -0.3 and g have different values?
True
Let o(t) = -t**3 - 7*t**2 + 9*t - 11. Let k be o(-8). Let s = 19 + k. Suppose s*i + i + 10 = 0. Is i not equal to -9?
True
Let n be -1 + (8/4 - -1). Suppose -n*l + 22 = 4*t, -3*t = l + l - 19. Suppose p = -t*p. Which is smaller: -3/11 or p?
-3/11
Let i(p) = p**2 + 5*p - 5. Let b be i(-6). Let l(r) = -3*r + r**3 + 11 + 3*r**2 + r**2 - 2 + 0*r**2. Let n be l(-5). Does b = n?
False
Let t = -24 + 29. Suppose 3*i - 8 = t*i. Which is bigger: 1 or i?
1
Let o be (4 + -5)*1 + 3. Suppose 2 = -o*k - v - v, -2*k = 5*v + 2. Let j = -460/1989 + 2/221. Which is smaller: k or j?
k
Suppose 478 = 5*f + 63. Is f smaller than 83?
False
Let r(l) = 0*l + 1740 - 1748 + l. Let c be r(8). Which is smaller: c or -2/35?
-2/35
Let b be (-1 - -2)*2/(-8). Let m = 221 + -158. Let d = m + -62. Which is smaller: b or d?
b
Suppose -3*r - 7 - 8 = 0. Let n = 7 + r. Let j be n/(-9) + (-112)/(-342). Are 0 and j non-equal?
True
Let g be (-400)/(-1400) + 634/(-14) + -1. Is g bigger than -43?
False
Let t = 0.02 + -0.02. Let f = -272 + 271.8. Is f less than or equal to t?
True
Let s(c) = -4*c**2 + 6*c + 24. Let a be s(-4). Which is smaller: a or -63?
a
Let n = -22 + 16. Let p = n - -5.97. Is p bigger than -1?
True
Let r = 19 - 1. Let l = 21 - r. Which is smaller: l or 0.01?
0.01
Let p = -14.9 - -16.2. Let s = -1 - -1.2. Is s less than p?
True
Suppose 21*y + 187 = -191. Is -18 equal to y?
True
Let k = 1079/68894 - 2/931. Is -1/4 >= k?
False
Let s be (21/14)/((-1)/(-2)). Suppose 4*x + s*h - 33 = 0, -3*x - 2*h + 3*h = -28. Are 10 and x unequal?
True
Let y be 8/2 - (-28 + 23). Which is bigger: y or 7?
y
Let b = -10/9 - -68/45. Let k = 17961012/216161 - -2/216161. Let c = -83 + k. Which is greater: c or b?
b
Let c(f) = 5*f**2 - 3*f - 21. Let z(s) = -3*s**2 + s + 11. Let w(y) = -4*c(y) - 7*z(y). Let b be w(-7). Let q be (-4)/12 - (-13)/b. Is q greater than 0?
True
Let f(k) = -4*k**3 + k**2 + k - 2. Let t(d) = 4*d**3 - 2*d**2 - 2*d + 3. Let r(a) = 3*f(a) + 2*t(a). Let s be r(-1). Suppose q = 3 - 1. Is s at most q?
False
Suppose z - 14 = -l + 4*z, -2*l - 2*z = -4. Let b(u) be the second derivative of u**3/6 + 3*u**2/2 - 19*u. Let r be b(l). Is r < 7?
False
Let k be (0/2)/(8/8) + -22. Let w = k - -23. Which is greater: w or 3/17?
w
Let f be (-4)/(-15)*115/(-22402). Is 0 smaller than f?
False
Let f = -25 - -16. Suppose -3*r + 110 - 26 = 0. Suppose -2*b = -5*i + 38, 0 = -2*b - 2*b - 2*i - r. Is f less than or equal to b?
True
Let y = -137273/21 + 6543. Which is smaller: 7 or y?
y
Let t = 0.3 + -0.31. Let p = -1.01 - t. Are p and 15 unequal?
True
Let k = 0.0391 - -24.8809. Let z = 0 + 25. Let p = z - k. Is 0 > p?
False
Let i = -49.07 + 51.2. Let p = -0.13 + i. Let h = -1.9 + p. Is h less than or equal to 3/7?
True
Let l = 395 + -384. Suppose -7 = 4*s - 59. Which is bigger: s or l?
s
Let o = -1 - -4. Let b = -1/148 - -151/444. Which is smaller: o or b?
b
Let o be 5*(4 + 108/(-30)). Suppose -4 = -4*d + o*n - 22, 2*d = -3*n - 5. Which is smaller: -3 or d?
d
Let i = -54 + 56. Suppose a = -2*a - 3*c - 51, -i*a + 3*c - 39 = 0. Which is bigger: a or -17?
-17
Suppose -r = -3*z - 4 + 21, 5*z - 10 = -2*r. Suppose 0*g = 2*v - z*g + 12, 0 = 4*v - 3*g + 9. Suppose -4*i + 2*i + 12 = v. Which is greater: 7 or i?
7
Let b = 130 - 84. Let w = 50 - b. Which is smaller: -2/7 or w?
-2/7
Suppose 0 = -5*u + 11*u - 78. Suppose 2*v = q - 3*v - 21, -u = 3*q + 4*v. Is q > 4/35?
True
Let n be 16/4*(-4)/(-1). Let w = n - 14. Let y be (3/2)/((-42)/(-112)). Which is bigger: w or y?
y
Suppose 0 = -4*j + g - 50 - 12, 3*g = 3*j + 51. Let x = -5 - j. Let i be 5/x - (-2)/(-8). Which is smaller: i or 2/3?
i
Suppose 0 = -10*g + 5*g + 44550. Let s be (-2)/(-11) + (-7780)/g. Let v = 2/81 + s. Which is bigger: v or -21?
v
Let u = 260.29 - 258. Let x = -2.39 + u. Let n = -671 + 3369/5. Which is smaller: n or x?
x
Let w = 41 - 42. Let y be ((-964)/(-6))/((-44)/(-78)). Let d = y + -285. Which is smaller: w or d?
w
Suppose -4*w - 4*u = 0, 37 = -5*w + 5*u + 57. Is 24 at most w?
False
Let l = -1418 + 1416. Which is smaller: l or -1/30?
l
Let b = 41 + -53. Suppose -v + 5*v + 112 = 0. Let a = 15 + v. Is b greater than a?
True
Let i = -60 - -40. Let a be i*8*2/20. Is a bigger than -2?
False
Let j = -290 - -1147/4. Suppose 0 = -3*y - 15, 3*y - 1 = 4*o + 8*y. Suppose o*a = -5*a - 22. Which is greater: j or a?
a
Let a = 50 + -148/3. Let h = -11.4 - -12. Let x = 0.4 + h. Do a and x have the same value?
False
Let f = 42.99 + -5.93. Let c = 37 - f. Which is smaller: -1/3 or c?
-1/3
Let s(u) = -u**2 - 7*u - 10. Let q be s(-7). Let m = -8 - q. Suppose -5*d = 20, d + 2*d = m*g - 14. Which is smaller: g or 3?
g
Let q be (-44)/(-8) + (-5)/(-4). Which is smaller: 8 or q?
q
Let p be (-7 + (-184)/(-24))*(-6)/4. Are p and 1/248 non-equal?
True
Suppose -5*y - q = 4*q - 85, -5*q + 68 = 4*y. Let t = 25 - y. Let j(r) = -r**2 + 9*r - 10. Let i be j(t). Which is smaller: i or -1?
i
Let f = 137/2033 - -195039/1118150. Let m = -3/50 + f. Let r be -1*0/2 - 1. Is r at least m?
False
Let w = 1476 + -1506. Is w less than or equal to -0.17?
True
Suppose -3*n - 3 = 0, 3*h - 2*h + 2*n + 1 = 0. Suppose -4*w + 44 = -4*u, 0*u + 2*u - 20 = -4*w. Suppose -20 = -5*s, -4*s - 37 = 5*g - w*s. Are h and g equal