(-17)/(-2)*(-1004)/(-26). Let r = -329 + m. Is -2 not equal to r?
True
Let l be 3/(-15) - (-306)/30. Suppose i - l = -3*b - 1, b = -5*i + 31. Is i smaller than -2?
False
Let q(l) = -l**2 + 12*l + 54. Let a be q(12). Do a and 51 have the same value?
False
Let a(j) = j**3 + 7*j**2 - 3*j - 3. Let m be a(-5). Which is bigger: 64 or m?
64
Let o = -49237/25 - -1967. Is o at least -2?
False
Suppose 69*z + 315 = -1065. Is z <= -13?
True
Let m = -2.8 + 1.1. Let l = 0.3 - m. Let z = 1.8 - l. Is z < 0?
True
Let b(n) = n**3 + 7*n**2 + 8*n - 2. Let u be b(-6). Let z be (16/(-20))/(22/(-165)). Let y be z/u*(2 + -3). Which is bigger: y or 0?
y
Let k = 389 + -130. Let i = 2077/8 - k. Is 2 greater than i?
True
Let k be 35*(-10)/(-50) + -1 + 551. Is k at least as big as 556?
True
Let p = -383.042 + 383. Which is bigger: p or 4?
4
Suppose 0 = -14*w - 70. Is 2 smaller than w?
False
Let b = 0.12 - 0.13. Let c = -0.2 + b. Let g = 0.27 + c. Which is smaller: g or 0.2?
g
Suppose -45*a = -956 + 7211. Is -140 smaller than a?
True
Suppose -20*n + 112 = -688. Which is smaller: n or -0.1?
-0.1
Let t = 0.92 - 1.31. Let p = t - 15.61. Let j = 16 + p. Is j less than 0.1?
True
Let d(f) = f + 5. Let r be d(-7). Which is smaller: r or 0?
r
Let v = -44/47 - -2147/235. Let h = 15/2 - v. Which is bigger: 0 or h?
0
Let i(w) = -5*w**2 - 2*w + 8. Let d be i(3). Let m = d + 40. Which is smaller: 4 or m?
m
Let u = -9 - -13. Let v = u + -4.7. Let t = v + 0.6. Is -0.03 equal to t?
False
Let m be ((-86613)/9)/((-2600)/(-6)). Let z = m - -2511/52. Let o = -26 + z. Is o less than -1?
False
Let d be (7 + -6)*2*2. Suppose -11 = d*c - 2*n + 45, 3*n = 5*c + 68. Let x = c - -15. Which is smaller: x or 1/36?
x
Suppose 8 = 4*a - 3*b, 5*b - 2*b + 16 = -4*a. Let y = -21 + 11. Which is smaller: a or y?
y
Let r be (39 - -172) + (-6)/(-1). Is 219 at least as big as r?
True
Let p = 0.0387 - 0.2387. Which is smaller: -8.7 or p?
-8.7
Let f = -25 - 1. Let c = f + 10. Let h = c - -15. Is h greater than -2?
True
Let p = 2.6 - -12.4. Let k = 16 - p. Let b = 11 + -10.95. Which is smaller: b or k?
b
Let v be (-6)/9 + (-528)/(-759). Which is smaller: 0.1 or v?
v
Let l = 53 + -81. Let a = 35 + l. Which is smaller: 0.3 or a?
0.3
Let l(z) = 1 + 3 - 6 + z**2 - 7 + 2*z. Let p be l(-4). Is p >= 1?
False
Suppose -5*a = 3*z - 37, 4*z - 29 = -3*a + 2. Suppose -5 = -a*v - 0. Which is smaller: 2/7 or v?
2/7
Suppose -5 = -2*z + 5*i, 12 = 2*z + 4*i - 2. Let c be 14/2 + 1 + -1. Which is greater: z or c?
c
Let h be 0 - (-2 - 1 - 1) - -1. Are 32/5 and h equal?
False
Let a(s) = -s**2 - 11*s + 17. Let b be a(-12). Suppose 45 = -b*f + 130. Is f at most as big as 15?
False
Let a(p) = p**3 + 3*p**2 - 3*p + 9. Let i be a(-4). Suppose 2*t = 4*s + 30, i*s + 3*t = -t - 31. Is -7 at most as big as s?
True
Let l(u) = -2*u**3 - 6*u**2 + 2*u + 40. Let r be l(-5). Which is greater: r or 131?
131
Let w = 10.05 + -10. Let t = w - -0.05. Let k = -1.6 - -0.5. Which is bigger: k or t?
t
Let q be (-1 - -1)/(4 - 4 - -1). Is 2/291 != q?
True
Let c(y) = y**3 - 3*y**2 + 8*y - 7. Let g be c(1). Let h = 12/19 - 941/1520. Which is bigger: h or g?
h
Let d be -3 + -2 - (10 - 142). Let v = 265/2 - d. Let j(s) = -s + 13. Let b be j(6). Which is smaller: v or b?
v
Let v = 15 - 28. Let q = -0.005 + -13.995. Let n = v - q. Which is smaller: -1.4 or n?
-1.4
Let m = -12 + 20. Let y be 46/(-14) - (m + -11). Let j = -0.232 - -1.232. Are y and j non-equal?
True
Let v = 2.8 + -7.9. Let s = 5 + v. Which is bigger: -4/3 or s?
s
Suppose -9*w + 8*w - 4 = c, -3*w - 16 = 4*c. Is c >= -43?
True
Suppose -3*x - 8 + 2 = 0. Let v = -223.9 - -222.8. Is v smaller than x?
False
Let n(r) = r**2 + 11*r + 12. Let c be n(-8). Is c bigger than -11?
False
Let k be 4/(-10) + 231/15. Let z be 3*((-13)/k + 1). Let l = -221 - -227. Is l at least as big as z?
True
Suppose 3*b = b + 10. Suppose -5*l + j = 1, 0 = b*l + 4*j - 8 + 29. Let d be (l + -1)*(-2)/8. Which is smaller: d or -3?
-3
Suppose -n = 4, 3*t + 6 = 5*n + 2. Let r = 2 - 1.9. Let x = 0 + r. Which is bigger: x or t?
x
Let o(d) = 4*d**2 + 27*d - 4. Let g be o(-7). Are g and -12 nonequal?
True
Let p(y) = y**2 - 5*y + 8. Let c be p(6). Let f = c + 10. Is f at least as big as 23?
True
Let q be 2*(3 + (-40)/16). Which is smaller: q or 674?
q
Let q = -5 + 28. Suppose 2*j + i + 4 = 11, -3*j + q = -i. Is 12 greater than or equal to j?
True
Let m = -61 - -43. Let u = -104 - -119. Let h be (u + m)*(-34)/(-6). Is -17 >= h?
True
Let l be 1*(-4)/2 + 12/(-4). Suppose -3*h - 34 = -4*z, -2*z + 2 = 2*h - h. Let y = h + -1. Do y and l have different values?
True
Let h be -5 + 9/((-15732)/(-8728)). Which is smaller: h or 0?
h
Let d = 927 - 897. Let i(t) = -t**2 - 12*t - 4. Let z be i(-7). Which is bigger: z or d?
z
Let v = -18393 + 90226/5. Let h = v + 345. Is -4 at least h?
False
Suppose 0 = -0*c + c + 4. Let b(a) be the first derivative of a**3/3 + 15*a**2/2 + 10*a + 11. Let p be b(-14). Is p greater than or equal to c?
True
Let x = 74 - 67. Suppose a - 84 = x*a. Which is bigger: -11 or a?
-11
Suppose -20 = -5*k, 4*l - 3*k - 712 + 300 = 0. Are 107 and l non-equal?
True
Let w = 5 - 5.16. Let o = 10.84 - w. Is o smaller than -1?
False
Let f = 321/13550 - 1/50. Is f at most -1?
False
Let n = 5.3 + 4.7. Let d = 13.28 + -0.28. Let w = d - n. Are w and 0.3 unequal?
True
Let v(w) = w**2 + 26*w - 56. Let q be v(-22). Let s be (2 + q/69)*-2. Suppose -j = -3*j - 2. Which is greater: s or j?
s
Suppose r - 2*r = 5*m + 375, 768 = -2*r - 4*m. Let c be 4/7 + r/70. Which is smaller: c or -27/5?
-27/5
Let m(w) = -3*w + 2. Let x be m(2). Let b be ((-12)/18)/((-4)/126). Let q be 3/(-7) - 96/b. Which is bigger: x or q?
x
Let z be (-5 - (-66)/14) + 258/(-21). Which is smaller: z or -13?
-13
Let i be 7/(-14) + 4/128. Which is greater: 1 or i?
1
Let p be 40/(-6) - (-3)/(-9). Let k(o) = o**3 - 3. Let q be k(0). Which is bigger: q or p?
q
Suppose -2*o - 19 = -7. Let t be -1 - (o - -4)/(-1). Is t not equal to -3?
False
Let k = 345 + -319. Is k greater than 6?
True
Let g(y) = 3*y**2 + 130*y + 94. Let f be g(-42). Are f and -69 unequal?
True
Let r = -37/1775 + 10/71. Let y be 0 - (-3 - 1)/4. Suppose -y = -3*d - 4. Is r > d?
True
Let z be 20/(-2 + (-40)/(-15)). Let s = z + -28. Let f = 2 - 0. Is s >= f?
True
Let v be (-7)/(-21) + 3122/21. Is 149 <= v?
True
Suppose -53 = -2*k - 39. Is 21 at least as big as k?
True
Suppose -2*g + 8 = m - 7*g, -2*m + 81 = 3*g. Is m at least -2/5?
True
Suppose -3*g + 5*d - 21 = -6*g, -5*g - 2*d + 35 = 0. Suppose -2*l = 4*c - 30, -l + 859*c = 864*c - 30. Which is smaller: g or l?
l
Let y be (-48)/(-5) - 10/(-25). Suppose n + 3*r = r + 12, -2*r = -y. Let i be (2 + -2*n)/4. Do i and 0 have different values?
True
Let b = -19 - -19.32. Let m = b - -0.48. Let v = m + -0.7. Does v = 0?
False
Suppose -3*f + 8*f - 1 = -i, -2*i + 15 = -3*f. Suppose -83 = -i*d + 31. Is d greater than or equal to 2?
True
Suppose g + 14 = 5*c, -2*g + c + 2*c - 14 = 0. Suppose 4*j = -8 + 28. Suppose 0 = 5*l + 2*v + 4 + 4, -j*v + 5 = 0. Which is bigger: g or l?
l
Let l be 18/(-63) + (-4560)/(-15176). Which is bigger: l or -1?
l
Suppose 3*q = k + 7*q + 21, -1 = -3*k + 4*q. Let c(a) = a**3 + 6*a**2 + 3*a - 6. Let v be c(k). Suppose 0 = -0*n - n - v. Is -3 at least n?
True
Suppose 70*v + 6 = 69*v. Is -5 != v?
True
Let a be 1/(-1) + (-91)/(-93). Let f(r) = -r**3 - 7*r + 23. Let t be f(2). Is a >= t?
False
Let s = -9013/7 + 1279. Which is greater: s or -8?
-8
Suppose 3 = z + 4*t, -12*z + 7*z + 63 = 4*t. Is z less than or equal to -28?
False
Let f be ((-3084)/24 - -9)/(6/4). Which is smaller: f or -81?
-81
Let v be -6*(20/(-6) + 1). Suppose 26*o = 22*o + 56. Is o < v?
False
Let c be -9 + (-4)/(560/(-1197)). Is c not equal to 0?
True
Let j = 45 - -39. Is j less than 84?
False
Let n(t) = 2*t**2 + 31*t + 16. Let g be n(-17). Are g and 67 non-equal?
False
Let t(o) = o**2 - o. Suppose 3*x - 3*n - 12 = 0, -x + n + 16 = -3*n. Let i be t(x). Let w = 64 + -445/7. Which is smaller: i or w?
i
Let g be ((155/1)/5)/(46/12). Are g and 9 non-equal?
True
Suppose 26*m = 4*m - 2442. Is -112 greater than or equal to m?
False
Let s be (-4 + 4 + -1)*0. Suppose 4*x + l - 61 = 0, -x - 4*l + 3 + 1 = s. Which is smaller: x or 14?
14
Let b be (-18)/18 + 0/(-1). Is b greater than 2/211?
False
Let b be ((-2