 -5*z - 70 = 4*c. Let s be (-1)/(32/c)*2. Is s not equal to 0?
True
Let o = -1416 - -1388. Which is smaller: 10 or o?
o
Suppose 0 = 5*q - 3*q - 88. Let r = q + -31. Let s(a) = a - 14. Let o be s(r). Is o bigger than -1/4?
False
Let d be -10 + (-153)/(-15) + (-732)/(-15). Which is bigger: d or -7?
d
Let l(k) = k**3 - 29*k**2 - 30*k + 387. Let s be l(29). Which is bigger: s or -484?
s
Let x = -13667 - -314455/23. Is 4 equal to x?
False
Suppose 5*g - 64 + 54 = 0. Let w be ((-6)/18)/(g + -3). Does w = -17?
False
Let z = -252 + 646. Suppose -z + 124 = -5*j. Let p be 3*(-1 + 57/j). Which is greater: p or 0?
p
Let f be 3/(72/256) + 0 + 5. Is f at least as big as 16?
False
Let s = -2907/2 - -43649/30. Which is bigger: s or 0?
s
Let y be (8/282)/(4/(-6)). Let o(x) = -5*x - 1. Let a(f) = 9*f + 3. Let s(c) = -4*a(c) - 7*o(c). Let k be s(-4). Is k bigger than y?
False
Let f be 16*1/3*-3. Let m be (-5)/(-2)*f/(-10). Suppose 3*w + 4*c = 5*c - 19, -4*c + m = 0. Which is greater: -1 or w?
-1
Suppose 30*c - 27*c - 39 = 0. Suppose c*r = 19 + 189. Is r less than 15?
False
Let d be 1520/2496 - (-2)/(-8). Is -1 at most as big as d?
True
Let z = 4/15 + -103/15. Is z at least -7?
True
Suppose v - 261 = -28*v. Suppose -10 = -2*f - 5*k, 19 + 1 = f - 5*k. Is f bigger than v?
True
Let j be (-3)/((0 - 3) + 3100/40). Is j smaller than -1?
False
Let p = 327 - 1009/3. Is p at most -10?
False
Let y = 57 - 32. Suppose -3 = 2*o + 5*i + 14, -4*o = i + y. Is o >= 1/3?
False
Let p(z) = -z**3 - 5*z**2 - 6*z - 5. Let g be p(-4). Let f be (-132)/201 + 0 - (-2)/g. Which is greater: -1 or f?
f
Suppose 7*d - 5*d = 340. Let m = -140 + d. Is 30 >= m?
True
Let a = -130 - -314. Do a and 185 have different values?
True
Let o be (1 + 7)/(18/153). Let p = o + -83. Do p and -15 have different values?
False
Let c = 70 - 70.013. Do c and 2/7 have the same value?
False
Let a = 13.31 + -13.45. Suppose 3*j = -8 - 13. Let x(o) = -o**3 - 7*o**2 + o + 8. Let p be x(j). Is p smaller than a?
False
Let i = 2076/5 + -418. Let d = i + -7/10. Is -4 <= d?
True
Let b = -19/13 - -31/39. Which is smaller: -54 or b?
-54
Let j = -59 + 82. Is j < -29?
False
Let l be -2 - (2 - (2 + 2)). Let d be -1 + (-28)/(-30) + l. Let j be (-34)/(-459) - (-7)/((-189)/2). Which is greater: d or j?
j
Let q = 8 - 12. Let p be q/(-6)*(-30)/(-4). Let m be (-1)/(-3 - -4) + p. Which is smaller: 6 or m?
m
Let r = 802 + -801. Let a = -3 + 7. Let u = a + -2. Which is bigger: u or r?
u
Let y be -1 + -20 - (-28 - -22). Which is bigger: y or -16?
y
Let k(y) = -9*y + 18. Let r(i) = i - 1. Let h(p) = k(p) + 5*r(p). Let u be h(4). Are u and 0.07 non-equal?
True
Let r be 311/6 + -11 - 1/(-6). Are 35 and r equal?
False
Let d = -39 + 40. Suppose 5*f - 5 = u, -2 = 4*u - 3*f + d. Which is smaller: u or 3/8?
u
Let h(x) be the third derivative of -x**6/120 + x**5/15 - x**4/24 + x**3/2 + 4*x**2. Let y be h(4). Suppose -4*p + 6*p = 0. Do p and y have different values?
True
Let n = 220192 - 12551770/57. Let r = n - -54617/1995. Let y = -100/7 + r. Which is smaller: -1 or y?
y
Let a = 138 - 145. Let l = -5 + 3. Is l greater than a?
True
Let r be 6/(-8) - 254/(-8). Suppose -33*u = -r*u - 4. Is 0.1 <= u?
True
Let n = 0.08 + 3.22. Let g = 0.2888 + -0.1888. Which is smaller: n or g?
g
Let v = 6 - -7. Suppose 0 = -3*n - 0*n + 39. Are n and v non-equal?
False
Let i be (-12)/2*(-510)/(-60). Which is bigger: -2 or i?
-2
Let l = 12 + -6. Let f = 6.1 - l. Let w = -8/15 + 74/195. Which is smaller: w or f?
w
Let n = -1.39447 - 1289.54553. Let o = 1265 + n. Let f = 26 + o. Which is bigger: 1/2 or f?
1/2
Let r(x) = 8*x + 14. Let w be r(-7). Let c be -21*w/225 - 4. Which is smaller: c or 0?
c
Suppose 7*q - 80 = -9*q. Let g = q - 0. Which is bigger: g or 6?
6
Suppose k - 16 = 3*m, -m + 4*m + 8 = -k. Let c(x) = -x**2 + 2*x - 1. Let l be c(k). Let z be l/(-6)*4/6. Do z and 0 have the same value?
False
Suppose 2*b = 4*i + 56, -2*i = 4*b - 0*i - 102. Let d = -9 + b. Let g = d + -14. Is 3 smaller than g?
False
Let u be 1 + (-13)/(-9) - 2. Let w(k) = -2*k**3 + 5*k**2 + 5*k - 8. Let r be w(4). Let v be 8/18 - 20/r. Which is greater: v or u?
v
Let z = -0.01 - -10.01. Let a = z + -10.01. Let g = a + 1.01. Which is bigger: -1 or g?
g
Let x(z) = -z + 8. Let o be x(10). Let m = -7 + o. Suppose 7 - 25 = 2*s. Do s and m have the same value?
True
Suppose 21*v - 33*v = 12. Which is greater: v or 0?
0
Let d be 10 + 3/(-1) - 2. Suppose -2*g = -2*o - 7*g + 25, 0 = -g + d. Does -10/13 = o?
False
Let y = -3 - 1. Let r be y/10*(-55)/11. Suppose 2*a + a = -s - r, 10 = -5*a - 3*s. Which is smaller: -2/49 or a?
-2/49
Let w be (-1*(-5)/12)/(4/16). Is w at most 2?
True
Let t = 53.88 - -0.12. Which is smaller: t or 7?
7
Let x = -14535 - -988411/68. Let u = 12/17 - x. Which is smaller: -0.05 or u?
-0.05
Suppose 3*j = 3*u + 51, 4*u + 3*j = 2*u - 39. Suppose 0 = 2*l + 3*l + 75. Which is greater: u or l?
l
Let t(l) = 3*l**3 + 4*l**2 + 1. Let c be t(2). Let g = c - 40. Let y = -9/14 - -101/70. Is g bigger than y?
True
Let w be (6/4)/(81/(-6) - -15). Which is smaller: w or 58/25?
w
Suppose -24*g + 25*g = -5*d - 13, -2*g = -5*d + 101. Is g not equal to -50?
True
Let m = 607.11 + -601. Let i = m + -0.11. Which is smaller: i or -2?
-2
Suppose -x + 4*u - 2*u = 29, u = 4. Let h be x/14 - (-5)/2. Let b be (-124)/234 - 2/(-9). Which is greater: h or b?
h
Let p be (-1110)/7474*2/3. Is p <= 1?
True
Let d = -192 + 170.6. Let u = -20 - d. Let n = u - 1.5. Is n at least 1/3?
False
Let v(y) = 5*y**2 + y**3 - 1 + 5 - 5 + 3*y. Let t be v(-4). Suppose -t*j - 2 = -5*c, j = -5*c - 2*j + 8. Is 1 > c?
False
Let m = 46 - 68. Let x = m + 21.1. Let a = x - 0.1. Which is smaller: -0.01 or a?
a
Suppose 4*x - 2*v - 26 = 0, -2*x + 4*v = -0*v + 2. Let u = 73/8 - x. Let w be -1 - (0/(-3) - 1). Are w and u unequal?
True
Suppose 36*y + 60 = 32*y. Let x be (3 + -16 - -1) + -1. Which is smaller: x or y?
y
Let b(r) = 18*r. Let o be b(2). Let n = o - 9. Which is bigger: 25 or n?
n
Let r = -1780/9 + 198. Which is bigger: -0.4 or r?
r
Let f be (188/(-16))/(4/(-16)). Suppose 3*d - 3*z = -2*d + 97, 3*d - f = -z. Is d smaller than 16?
False
Let x = -3.45 - -0.45. Let r = x - 2. Which is greater: r or -0.3?
-0.3
Let z = -15.7 - -14.7. Is -1/951 greater than z?
True
Let a be (-3 - 15)/(-3)*5 - 2. Let b = a - 36. Is -46/7 greater than b?
True
Let p = -45 + 24. Which is smaller: 1/4 or p?
p
Let z(o) = -295*o + 27. Let a be z(1). Is -267 > a?
True
Let y = 6 - 12. Suppose b - 6*b - 25 = 0, -3*p - 28 = 2*b. Let l be (-1 + (-15)/p)*2/9. Are l and y nonequal?
True
Let v be ((-5274)/(-15) - 2/(-5))/(-1). Let y be v/1260 - (-1 + (-7)/(-9)). Is 1 equal to y?
False
Let p be 0/((3 + -5)*-1). Which is greater: -1/20 or p?
p
Suppose 3*q = -127 + 130. Are 373 and q non-equal?
True
Let i = 679 - 679. Let u = 0 + -3. Let p be 4/42 + (-1)/u. Is p greater than i?
True
Let v = 1663 - 1675. Which is smaller: v or -20?
-20
Let g = 650 - 70. Which is bigger: -1 or g?
g
Suppose -8*v + 4*v - 20 = 0. Let p(q) = 3*q + 20. Let k(n) = -2*n - 10. Let h(u) = v*k(u) - 3*p(u). Let a be h(12). Which is smaller: 6/5 or a?
6/5
Let o = 3/8 + -17/24. Let w = -1.39 + 1.2. Which is greater: w or o?
w
Let a = -6.6 + 6.2. Is a greater than or equal to -49?
True
Let u be (86*-1)/(-20 + 22). Which is bigger: -37 or u?
-37
Suppose m + 7 = p, p - 46 = -2*p - 2*m. Suppose p = -2*u - 4*u. Which is smaller: u or -1/3?
u
Let s = -0.08 + 0.28. Let m = 0.066 - -25.934. Let d = -25.9 + m. Which is smaller: s or d?
d
Let l be (-3)/(-15) - (-153)/(-15). Let d = -993/106 + -7/53. Which is smaller: l or d?
l
Let f be -1 + (0 - 14) + 2. Let a = 609.2 + -609. Is a at most as big as f?
False
Suppose v - 2*h - 4 = 1, 5*v = 5*h + 15. Let j(y) = y**3 + 8*y**2 + 2*y + 15. Let s be j(-8). Is s smaller than v?
True
Let n be 1 + -2 + 3/42*-66. Let f = 1 + -8. Which is bigger: n or f?
n
Let p = 1881 + -1880.94. Let j = -5 - 6. Which is smaller: j or p?
j
Let c be (4/(-10)*13625/(-50))/3. Is 35 < c?
True
Let h(d) = -13*d + 7. Let r be h(5). Suppose -767 = x + 12*x. Do r and x have different values?
True
Suppose w - 78 = 4*w. Let i be (-3 + (-9)/(-2))*w. Let s = i - -155/4. Which is bigger: -4 or s?
s
Let o = 3.816 - 3.8. Let y = o - -2.984. Which is greater: -5 or y?
y
Suppose 0 = 3*c - 5*s - 23, c + 2*s + 1