-6)*3/(-12). Let j be (4/(-2))/i + -3. Is j at least -1?
True
Let l = -13 - -18. Suppose -s - l = 0, z + 5*s + 27 = 3*z. Let u be (z/20)/((-88)/(-330)). Is 0 != u?
True
Let x = 1 - -14. Which is smaller: 13 or x?
13
Let w = -23 - -23.1. Is w at most -2/503?
False
Let z be 9*2*(-16)/24. Let l = z + 9. Let y be (1 + -2)/((-3)/(-5)). Which is greater: l or y?
y
Let m = 132117/61 + -2166. Let k = m - -709/671. Suppose -4*c + 2 = -5*n - 27, -2*c = -4*n - 22. Which is bigger: c or k?
c
Let g = 79 - 79. Which is bigger: g or 1/55?
1/55
Let z = -2.906 - 0.094. Which is smaller: z or -0.14?
z
Let f(n) = -4*n**2 + 57*n - 14. Let b be f(14). Which is smaller: b or -1/74?
-1/74
Let z = 39 + -64. Let t = z + 25. Suppose 4*w + t*w + 4 = 0. Is w at least as big as -8/5?
True
Let m(l) = -l**2 + 13*l + 87. Let t be m(-6). Is t at least as big as 2?
False
Let a(k) be the third derivative of -5*k**4/6 + k**2. Let b be a(-2). Suppose 2*m + b = -2*m. Which is greater: m or 0?
0
Let h be 11/88 + 11439/72. Which is bigger: h or 157?
h
Let t be (9/36 + 532/(-80))*8. Which is smaller: -51 or t?
t
Let q = -3 - -2. Let d = -1031 - -39181/38. Which is smaller: q or d?
q
Let q = -770 + 782.36. Let b = q + -12.4. Which is greater: 2 or b?
2
Suppose -2*g = -6 - 8. Suppose 2*o - 8 = -0*o. Suppose o = w - 4. Which is bigger: w or g?
w
Suppose -7*j - 39 = 17. Let x = j + 11. Which is bigger: x or 3/2?
x
Let b be 2/16*-2 + 108/(-144). Which is smaller: b or 102?
b
Suppose r + 1 = -5*b + 14, 5*r - 13 = b. Is 39 >= b?
True
Let u = 829/550 - 2/275. Which is smaller: u or 185?
u
Let z = -35 + 17. Let l be (-2)/5 + z/(-45). Let i be (-1 + 2 + l)*0. Which is smaller: 1/11 or i?
i
Let k be 6 + (5 - (19 + -3)). Which is smaller: k or 19?
k
Let r = -52526337130/6293 + 8346788. Let w = r + 1/217. Which is greater: -1 or w?
w
Suppose -5*r + 5 = -0. Which is greater: 10/31 or r?
r
Let w be 36/30*-7 + (-2)/(-5). Let i be 33/(-22)*w/6. Let f be 18/(-3)*(-2)/(-1). Which is greater: i or f?
i
Let w(a) = a**3 - 5*a**2 + 6. Let y be w(5). Suppose 4*q + 2*c - 22 = 0, 3*q + c + 0*c - 18 = 0. Let m = q + -2. Do y and m have the same value?
False
Let d = -739 + 729. Which is bigger: -71/8 or d?
-71/8
Let b be (27 + -29)*(-826)/(-4). Are b and -413 non-equal?
False
Suppose 4*g = -179 + 15. Let i = -25 - g. Let j = -15 + i. Is j != 1/12?
True
Let s(d) = -36*d - 182. Let q be s(-5). Is 2 bigger than q?
True
Let w = 125 + -128. Suppose 4*z - 2*z - 22 = 0. Let b(c) = c - 14. Let s be b(z). Is s < w?
False
Let x = -1076 - -2017/2. Which is greater: x or -68?
x
Let l be 1 - ((-1)/2)/((-17)/34). Is 1/99 smaller than l?
False
Let p = -475 + 477. Let k be (-2)/(((-3)/(-2))/(-3)). Suppose -4*x = -4*v + 8, -p*x + 3*v - k = -x. Is 1/21 less than x?
False
Suppose 38*v = 14*v - 18240. Is v at least as big as -760?
True
Suppose 4 = -2*b - n, -3*n = -3*b - 2*b - 21. Let p be -4 + 24/3 + b. Which is greater: p or 2?
2
Let j = -1.185 - -1.285. Is 507 <= j?
False
Let n be ((-2)/14)/((-4)/8*1). Are -112/11 and n equal?
False
Suppose -5*s + 4*y + y = 85, 4*s + y = -43. Let n be (6/(-4))/(261/s). Which is bigger: n or -1?
n
Let t be 0/(8*(-6)/24). Let x be (-1)/(-10)*6*1. Which is greater: x or t?
x
Let x = 480 + -485. Is x greater than -33/7?
False
Suppose 7*w - 4 = p + 3*w, 3 = -4*p + 3*w. Let n = 1.5 + 17.5. Which is smaller: n or p?
p
Let n(v) = v**3 + 11*v**2 - 14*v + 19. Let x be n(-12). Let t = x - 24. Which is smaller: 18 or t?
18
Let t(n) = -n + 1. Let k(d) = -2*d - 2. Let i(b) = -3*k(b) + 3*t(b). Let x be i(-7). Does x = -12?
True
Let t be -1 + (-34635)/(-37) + -1. Let l = t - 934. Let p = -61/296 + l. Are p and 1 equal?
False
Let z be (15/(-30))/(1 - 10/8). Let w be (-3 + 11/z)*(-6)/(-50). Which is smaller: 1 or w?
w
Suppose -2*c - 5*z = -15, 0 = -4*c + 5*z + 4 - 19. Let d be 0*((-3)/3 - c). Suppose d = i - 0 + 14. Do -14 and i have the same value?
True
Suppose -3*i + 2*i = -5. Suppose -i*w - 8 - 57 = 0. Let y be (60/(-35))/((-1)/(-7)). Which is bigger: w or y?
y
Let j be 12/(-738)*(-118)/(-12). Let h = 2/41 + j. Is -2/5 not equal to h?
True
Suppose 5*v - 10 = 5*w, 16 = -0*w + 4*w. Let x = v + -6. Is x greater than -3/4?
True
Let h(m) = -m**2 - 10*m + 6. Let g be h(-13). Is -0.6 greater than or equal to g?
True
Suppose 4*j - 12 = -3*k + 2*j, -14 = -k - 4*j. Suppose 4*u - k*h = 7*u - 18, 3*u - 4*h = 0. Suppose 4*x - u*t - 9 = -1, t + 1 = 0. Is x greater than 4/19?
True
Suppose -2*b + 2*y + 4 = 0, 0*b - 14 = -3*b + y. Suppose -4*r + 10 - b = 0. Let k be (r + (-9)/12)*-1. Which is smaller: k or 0?
k
Suppose 0 = w - 7 + 1. Suppose u + 2*u = w. Suppose -3*g + 0*q = u*q - 12, -12 = -4*q. Which is greater: g or -3?
g
Let j be (-2 - (-52)/24)*6. Let k be 73/j + (-5 - -9). Let a be (-4)/(-14) - 50/k. Is 1 less than a?
False
Suppose -135 = -5*j + 5*s, -14*j = -16*j - 4*s + 72. Which is greater: j or 34?
34
Let j be (-11)/22 - 2/(-4). Suppose j = -2*v + 2*k + 12, -v + 8 + 10 = 3*k. Let h be (-1)/(1 + v/(-10)). Are -9 and h nonequal?
True
Let k = -63 - -59. Let z be (-92)/161 + k/(-7). Let r = -39/2 + 58/3. Are r and z non-equal?
True
Let n = -2.01 + 1.96. Is n at least as big as -7?
True
Let v be (2/(-8))/((-28)/(-480)). Let p = -26 - -21. Which is bigger: p or v?
v
Let g = -0.391 - -0.46. Let v = -0.019 + g. Which is greater: 6 or v?
6
Let m(t) = t + 7. Let u be m(2). Which is smaller: u or 6?
6
Let q(o) = o**2 - 13*o - 18. Let k be q(13). Let b be 0 + 3 - (-1 + k/(-4)). Which is smaller: b or 0.05?
b
Let r = -59 - -83. Suppose -322 = 907*k - 921*k. Which is smaller: k or r?
k
Let o = 2 - -5. Let q(b) = -4*b - 4. Let g(w) = 7*w + 7. Let a(k) = 3*g(k) + 5*q(k). Let m be a(o). Which is bigger: m or 9?
9
Let x be 5/(65/(-12)) + (-16 - -17). Let i = 0.038 - -0.062. Which is smaller: x or i?
x
Suppose 0 = -4*y + 3*x + 7, 2*y + 2*x - 14 = -0*x. Suppose 4*h = 6*h + 4*j - 46, 2*j = 16. Is h smaller than y?
False
Let q = 55 - 62. Let t be (-80)/26 - (-5 + (-5 - q)). Let z(j) = -j. Let a be z(0). Which is greater: a or t?
a
Let d be ((-1)/(-2))/(6/108). Suppose 10*f - d*f + 23 = 0. Let o be (2/8)/(f/(-92)). Which is greater: o or 5/8?
o
Let s = 286348/115 + -2490. Are 1 and s unequal?
True
Let t be (32/24)/((-1)/(-57)). Let o be -8 + 4 + t/22. Which is smaller: o or 0?
o
Let q be 70/(-28)*132/(-5). Are 200/3 and q equal?
False
Suppose -22*b = -20*b + 6. Let p be ((-8)/b)/4*10/4. Is 2 less than or equal to p?
False
Suppose 48 = -8*p - 0. Let z be 404/(-12) + (-4)/p. Is z bigger than 0?
False
Suppose -5*l = 3*a + 428, -12*a - 536 = -8*a - 2*l. Which is greater: a or 0.3?
0.3
Let b = -7 - -6. Let q = -0.25 - 13.75. Let j = 13.93 + q. Which is greater: j or b?
j
Let l = -259.497 + -0.503. Let b = -176 - l. Is b < -1?
False
Suppose -12*o = -949 + 1093. Is o bigger than -12?
False
Suppose -4*r + 19 = -3*g, 0 = r + 2*g - 2. Suppose r - 1 = -3*t. Let u = 9/20 + -107/60. Which is smaller: t or u?
u
Let p = -18 + 12. Suppose -9*z - 66 + 30 = 0. Which is greater: p or z?
z
Let w be (-28774)/42 - -2*(-8)/(-168). Is w > -687?
True
Let f = -145 + 102.5. Let o = 43 + f. Which is greater: o or 3/8?
o
Let w(x) = x**3 - 9*x**2 - 2*x + 1. Let m be w(9). Let c = m - -21. Suppose -2*b + c = -0*b. Is b smaller than 7/4?
False
Let z be (24/16)/(-3 + (-46)/(-24)). Is z less than -2?
False
Let a be (-1740)/(-867) - 1 - 1. Let p = a - -556/3179. Let j(w) = -2*w**2 - 19*w - 8. Let q be j(-9). Which is smaller: q or p?
p
Let w be (-54)/(-14) - (-7 - (-192)/28). Suppose -5*d + 10 - 25 = -l, 0 = w*d + 12. Are l and 2/115 unequal?
True
Suppose 0 = -5*f + 3*m - 218, 2*m - 12 = -10. Which is smaller: -45 or f?
-45
Let j be 1/2 + 3/(-2). Let c = 448681/276 + -4877/3. Which is smaller: c or j?
j
Let k be ((8*-1)/(-2))/1. Let w = 684 - 684. Suppose 4*i + w*i = -k. Which is smaller: -0.09 or i?
i
Suppose -2*r - 8 = 0, 5*r + 7 = m - 8. Are -45/7 and m equal?
False
Let w = -88 - -639. Do w and 552 have the same value?
False
Let x = -11 - -15. Let u be 8 + -2 + -3 + 4. Which is smaller: u or x?
x
Let y = -43 - -43. Suppose y = 2*u - u + 5, -3*u - 25 = 2*f. Is f <= 3?
True
Let w = 6 + -2. Suppose -2*k = -w*k + 6. Suppose 0 = 4*o - 4 - 0. Which is bigger: k or o?
k
Let f be (3/10)/((-4)/10). Let b be (-11)/(0 - (0 - -1)). Let w be 11/b - (1 - 1). Is w less than f?
Fa