t be (2*(-1)/2)/3. Let i = 80 + -57. Let g = i - 16. Is g greater than or equal to t?
True
Let c(q) = q**2 + 12*q. Let a be c(-12). Which is smaller: -6/43 or a?
-6/43
Suppose -45*l - 633 = 852. Is l equal to -33?
True
Suppose n = 2*n - 1. Is -1/20 != n?
True
Suppose 5*f - 678 = 3*l - 221, 2*f - l - 183 = 0. Suppose -5*s - f = 4*b, -4*b = -b + 4*s + 70. Let z be 27/b*2/(-1). Is z at least 3?
True
Let s be (-1736)/(-140) + (-4)/10. Which is bigger: s or -3?
s
Suppose 6*q - 4*m - 34 = 7*q, 5*q = -3*m - 204. Let h be (-35)/q + (-3)/2. Which is smaller: h or -41/5?
-41/5
Let d(s) = -s**3 - 5*s**2 - 2*s - 2. Let f be d(-5). Suppose -13*w = -f*w. Is 18 smaller than w?
False
Suppose -18*r + 13*r - 5 = 0. Is r != 11/26?
True
Let k(r) = -r**3 - r**2 - 10*r + 6. Let d be k(-4). Is d > 92?
True
Let h(j) = 5*j**2 + 87*j + 41. Let m be h(-17). Which is greater: m or 6?
m
Suppose 436 + 164 = -20*x. Let c = -91 + 62. Are c and x equal?
False
Suppose -4*c - 4*y - 8 = -c, -3*c + 5*y + 10 = 0. Suppose 9 = 3*m, s + c = 2*m - 5. Let d be (-1 + s)/2*1. Is 4/3 not equal to d?
True
Suppose -n + 2 = 0, 5*d + 5 - 9 = -2*n. Which is smaller: -3/34 or d?
-3/34
Let n = 31 - 30. Let c be -35 - (-2)/(-4)*-2. Let d be 4/(-10) + c/(-35). Which is smaller: d or n?
d
Let z = 1017 - 1021. Do z and 11 have different values?
True
Suppose -122*a = -121*a - 174. Is a < 176?
True
Let c = -90 + 99.9. Let y = 9.83 - c. Which is smaller: 10 or y?
y
Let t = 125089/10325 + -303/25. Let g = t - 2057/1652. Which is smaller: 0 or g?
g
Let h(m) = 2*m**2 + 10*m + 11. Let u be h(-4). Which is greater: 35 or u?
35
Let m = -116251/1041 - -335/3. Is -4 < m?
True
Let u = 6311 + -246149/39. Is 0 greater than or equal to u?
True
Let a(f) = -f - 2. Let i be (-70)/4*(-44)/55. Let u be -3*(i/(-6) - -3). Let x be a(u). Is x > 0?
False
Let z be 9/(-18)*(11 + -9). Let v(s) = 2*s - 1. Let q be v(-3). Which is greater: z or q?
z
Suppose 4*v + 5*g = -66, 4*g - 2*g - 99 = 5*v. Is -25 at least v?
False
Let t = -2 + 0. Let o be (-18)/12*16/6. Which is smaller: o or t?
o
Let x = 125 - 121. Which is smaller: 16/3 or x?
x
Let f(y) = -y**2 + 13*y - 2. Let b be f(11). Let k be ((-4)/6)/((-6)/(-63)). Let m = b + k. Which is smaller: m or 14?
m
Suppose -3*x - 3*y = 621, 3*x + 471 = 3*y - 162. Is x less than -206?
True
Let w = -14.5 - -14.53. Are w and 24 non-equal?
True
Let n = 473 + -326. Suppose 0 = 4*k + 3*w - 139 - n, k - 60 = 5*w. Is k > 70?
False
Let z(s) be the second derivative of 1/6*s**3 - 6*s + 2*s**2 + 0. Let u be z(-7). Which is smaller: -2 or u?
u
Let a be (-1)/((-6)/(-9)) - (-950)/20. Which is smaller: a or 48?
a
Let v(h) = h**3 + 7*h**2 - 7*h + 7. Let a be v(-8). Let u be ((-1)/4*0)/a. Let c be u + 36/15 + -2. Do 3 and c have different values?
True
Let m be (6/(-8))/(803/292). Is m <= 1?
True
Let n = 25 + -32. Is n equal to -10?
False
Suppose 12 - 2 = -2*g. Let q(m) = -2*m - 6. Let a be q(g). Suppose a*y = 5 - 1. Which is smaller: y or -1/3?
-1/3
Let b = -190 - -189.9966. Do -3 and b have the same value?
False
Let s = -66 - -68. Suppose f = 5*j + 4, 7*f - s = 6*f + 3*j. Is f greater than or equal to -9/10?
False
Let q = -348 + 530. Let r = q - 179. Let g = 6.7 + -7. Which is bigger: r or g?
r
Suppose 18 = 2*s - 0*s. Suppose -19 = -2*h + 5*z + 10, 5*h + 4*z + 10 = 0. Let p = h - s. Are p and -6 nonequal?
True
Let n = -292259/1572 + 895/131. Let r = n + 179. Suppose -s = -3*s - 2. Which is bigger: r or s?
r
Suppose -3*m + 21 = -0*m. Let a be 0 + (m - (-1 + 3)). Suppose 0*h = i + 2*h - 15, -a = -h. Which is smaller: i or 3?
3
Let v(q) = -3*q**2 - 12*q**3 + 16*q**3 + 3*q - 5*q**3 + 1 + 0*q. Let t be v(-4). Are t and 4 nonequal?
True
Let c = 0.0906 + 30.4094. Which is smaller: 2 or c?
2
Let l(u) = -2*u**3 - 6*u**2 - 8*u + 1. Let t be l(-3). Is 25 != t?
False
Let c = -1 + -9. Let t = -206 - -139. Let l = t - -58. Which is smaller: l or c?
c
Let y = -18035 - -126489/7. Is y at least as big as 35?
False
Suppose 0 = -2*o + 6, 0 = -3*q - 2*o + 11 + 22. Let t be (-2440)/(-3570) + 3/q*-2. Is -1 at least t?
False
Let a = 92864/377 + -3178/13. Are a and 3 equal?
False
Let a(t) = t**3 + t**2 + t + 4. Let h be a(-3). Let n(w) = w**3 + 8*w**2 - 89*w + 12. Let q be n(6). Is h smaller than q?
False
Suppose -z = -2*z + 3. Suppose 0 = -4*p + 6*p + 32. Let a = 16 + p. Which is smaller: z or a?
a
Let d = 821 - 816. Does d = -75?
False
Let i = -650 + 753. Is i at most 107?
True
Suppose 478 = 4*y - 2*y. Which is bigger: 240 or y?
240
Suppose 7*m = -139 + 41. Let w be (m/(-35))/(2/40). Which is smaller: 9 or w?
w
Let v be (-12)/(-8) - 14/(-4). Let t be (-8)/(-70)*v/(-2). Let a(w) = w**2 + 7*w + 7. Let k be a(-6). Which is smaller: t or k?
t
Let u be (3/18*4)/((-126)/189). Is u != 14/115?
True
Suppose 52 = -2*q + 3*w, -5*w = -2*q + q - 26. Let p = -32 - q. Let n be (56/(-21))/((-10)/p). Is -3 at most n?
True
Suppose 3*l - l + 66 = 2*q, 3*q - 64 = -4*l. Suppose 3*b - 5 = -2*w - 1, -12 = -2*b + w. Let u be 0*(b + q/(-8)). Which is bigger: -3/4 or u?
u
Let j be 2/(-18) - (-1848)/594. Let v be (-2 - 31/(-9)) + 30/135. Which is greater: v or j?
j
Let l = -1 - -25. Let x = -1 + 26. Which is smaller: x or l?
l
Suppose 2*a + 2*a - 4 = 4*n, -7 = -2*n + 5*a. Let r be n/(-50)*(-2 + -3). Are -0.08 and r equal?
False
Let r be -19*(9/4 + (-20)/80). Suppose -2*y - 43 = w, -4*w - 12 = -4*y + 136. Is w <= r?
True
Let d be ((-1)/(-1))/(1/(-1)). Let u = 450 - 7646/17. Is d not equal to u?
True
Let z be ((-35)/(-5) - 6)*-3. Which is greater: -44/15 or z?
-44/15
Let t = 133393/1546447 + 4/8939. Which is smaller: t or -1?
-1
Let y = 221/3 - 73. Is 65/3 <= y?
False
Let l = -10 - -7. Suppose -3*j + 12 = -5*d, -d + 7 = 5*j - 5*d. Which is smaller: l or j?
l
Let u = 14 - 23. Let m be (-12)/8*(-1)/u. Which is smaller: m or 0?
m
Let k = 1.25 - 0.65. Which is smaller: k or 32?
k
Let r(s) = -s**2 + 7*s + 7. Let d be r(7). Suppose -d*x + 5*x = 0. Let j be 0 - 0 - (-5 + (-23)/(-5)). Is x greater than j?
False
Let r(m) = m + 9. Let n be r(-6). Suppose -3*d - 3*t + 6 + 6 = 0, 5*d = -n*t + 12. Is 0 > d?
False
Suppose 2*s + 15 = k + 7*s, s - 3 = 0. Is k > -3/25?
True
Let x be (-11)/(-35376)*1042 + 1/(-3). Is x greater than or equal to -1?
True
Let i be (-28)/42 - (-565)/(-210). Is -2 less than or equal to i?
False
Let b(u) = -3*u**2 - 2*u. Let v(s) = s + 7. Let t be v(-9). Let x be b(t). Let f = 8 + x. Which is greater: f or -2?
f
Let w(t) = 3*t - 10. Let m be w(4). Is m not equal to 1/15?
True
Suppose 1 = 4*z - f - 11, -z + 5*f = 16. Let t be 14/(-28) + 1/2. Suppose t*c + q = 3*c - 10, 2*c + z*q = -12. Which is bigger: c or 16/5?
16/5
Let r be (2/(-32))/((-2)/20). Let d(v) = v**2 - 3*v + 35. Let s be d(0). Let i = s - 34. Which is bigger: i or r?
i
Let b = 0.124 - 0.074. Which is greater: -0.07 or b?
b
Suppose -6 = 7*p + 78. Let o(s) = -s**2 - s + 12. Let b be o(0). Let n = p + b. Is n != 1/6?
True
Suppose 0 = -5*b + 5*w - 25, -3*b + 4 + 11 = 3*w. Which is greater: b or -4/113?
b
Let w = -33.5 + 33.8. Is w at most as big as 77?
True
Suppose 5*c - 2*c = 6, -2*k + 10 = -4*c. Let s(h) = 3*h - 3. Let j(a) = -16*a + 15. Let p(d) = -2*j(d) - 11*s(d). Let i be p(-6). Is k at most i?
True
Suppose 3 - 29 = 2*g. Let m(t) = -t**3 + 4*t**2 + 3*t + 3. Let q be m(4). Let y = q + g. Is 2 equal to y?
True
Let w = 120 + -355/3. Let i(a) = -a**2 - 3*a - 4. Let k be i(-3). Let x be (12/4)/(-3) - k. Do x and w have different values?
True
Let c(j) = j**2 + 2*j + 4. Let t be c(3). Let h be ((-1)/((-3)/(-20)))/(7/(-21)). Which is greater: h or t?
h
Let j(l) = l**2 - 7*l - 48. Let v be j(-4). Is v greater than 4?
False
Let g be -3*(-8)/6 - 2. Suppose -g*m = -n + 12, -m + 3*n = m + 12. Suppose o = 2*p - p - 1, -3*p - 45 = 5*o. Is o > m?
False
Let y = -4.394 - 0.006. Let x = y - -4.5. Which is greater: -0.3 or x?
x
Let o be 79 + -15 - (1 + 0). Suppose c - o = -2*c. Suppose 0*w - c = 3*y - 4*w, 2*w - 6 = 0. Are y and -3 non-equal?
False
Let q(w) = w - 1. Let s be q(-6). Let z be 2/(s - -1)*-1. Let d = 7 + -5. Is d < z?
False
Let s be (-1 - -2) + 710895/(-37737). Let h = -154/599 + s. Let z = -18 - h. Which is greater: z or 0?
z
Let h = 9 + -9. Let l = h - -1.9. Let f = l - -0.1. Which is smaller: -0.2 or f?
-0.2
Let f = 23/174 - -64439/870. Are -0.1 and f nonequal?
True
Let o = -16.8 