i
Suppose 4*i + 2*q + 12 = 0, 5*q - 3 = 4*i + 9. Let h = i - -3. Are -2/3 and h non-equal?
True
Suppose 214 - 76 = -4*l - 2*w, 0 = 3*l - 2*w + 93. Is -33 at least l?
True
Let z(k) = -k**2 - 6*k - 4. Let i be z(-4). Suppose i*n = 16 - 8. Let p = 4 + -2. Are p and n nonequal?
False
Let b = 1/40 - 13/8. Is b less than -2?
False
Let x be 1*(4 + -2 + -3). Let r = -377/285 - 1/95. Which is greater: x or r?
x
Let v = -3.2 + 3. Let u = -6 + 8. Which is smaller: u or v?
v
Let x = 8 + -20. Let o = 12.2 + x. Which is smaller: -5 or o?
-5
Let r be 66/99 - (-28)/30*1. Let a(x) = 3*x - 1. Let q be a(1). Which is smaller: r or q?
r
Let f = -7 - -11. Suppose -2*j - f = -0. Let k be 1/(2/(16/(-14))). Which is greater: k or j?
k
Let y be (-6)/(300/(-35)) + -1. Is y smaller than 0?
True
Let p(w) = -2*w**3 + 5*w**2 - 4*w + 4. Let c be p(2). Is 6/13 equal to c?
False
Let c be ((-24)/(-28) - 3) + 1. Which is smaller: -1 or c?
c
Let c = 46/63 - 3616/63. Let b = c + 56. Which is bigger: b or -1?
b
Let w = 0.44 + -0.04. Let q = -76.6 - -76.5. Which is smaller: w or q?
q
Let w be 4*9/12 - 15. Which is bigger: w or -11?
-11
Let u = 17 - 11. Suppose 0 = u*x - 2*x + 12. Let m be (2/(-6))/(x/(-9)). Do m and -2 have different values?
True
Let j be (-6)/(-15) + (-2)/5. Suppose 4*i = -j*i. Suppose 3*n = -2*k - 10, -4*n + 0*n + 2*k + 10 = 0. Is n at most as big as i?
True
Let m = 442/35 - 61/5. Let w = 3 - 4. Which is bigger: w or m?
m
Let f(w) = -2*w + 1. Let r(x) = -x - 2. Let a be r(-7). Let j be f(a). Which is greater: -8 or j?
-8
Let g = 1.21 + -1.1. Let w = g - 0.01. Let i = 0.3 + -0.5. Which is bigger: i or w?
w
Let f = 71 - 50. Suppose -f - 1 = 4*s - g, -2*s = 5*g. Is s smaller than -4?
True
Suppose 0*m - q - 8 = -3*m, 3*m - 3*q - 12 = 0. Let b be 1 - -2*m/(-4). Let s(f) = -6*f + 26. Let n be s(4). Is b <= n?
True
Let p = 0.74 + 0.06. Let z = -0.8 + p. Is -3/5 greater than z?
False
Suppose -3*i + s + 18 = 4*s, 2*i + 8 = 3*s. Let f be (3/i)/(15/(-40)). Let c be (-2)/f + (-21)/(-14). Is 0 <= c?
True
Let v = 371 + -2601/7. Are -1 and v unequal?
True
Suppose 3*m + 4*k + 16 = -m, -5*m - 28 = -3*k. Which is smaller: m or -3?
m
Let m = -19 - -30. Let s = m - 9.6. Is 1/2 smaller than s?
True
Suppose -4*c + 10 = 6. Which is smaller: c or -2/115?
-2/115
Let u = -30 + 18. Which is smaller: u or -51/4?
-51/4
Let v be 2/(-9) + 51/27. Let z = 31/15 - v. Is z bigger than 1?
False
Let c = 107 + -748/7. Let t = 0.03 - -1.97. Let z = t + -1. Which is greater: z or c?
z
Let t = 0 - 3. Suppose 5*v + 0*v + 15 = 0. Let n = v - t. Which is greater: n or 1?
1
Let y = 25 + -22. Which is smaller: y or 2?
2
Suppose 3 = -2*y + 1. Let k be 2/(-13) - (1 + -1). Is y >= k?
False
Let y be (-600)/27 + (-6)/(-27). Is -22 at least as big as y?
True
Suppose 0 = -4*m - 3*p + 4*p - 48, 5*p = 2*m + 24. Let h be (-4)/6 + 4/m. Are -1 and h equal?
True
Let y = 3 - 3. Which is smaller: y or -1/43?
-1/43
Let a be 5/(-14)*12/(-10). Suppose -9 = 5*l + 2*o, 0 = -5*l + 5*o - 31 + 1. Let s = l + 4. Which is greater: a or s?
s
Let k = 433/4 + -109. Let i be (-10)/(-3) - (3 + 0). Which is greater: k or i?
i
Let w = 19 - 18.91. Let l = 0.09 - w. Which is bigger: -1 or l?
l
Let l be ((-112)/(-6))/7*-2. Does -4 = l?
False
Let k(u) = u**3 - 5*u**2 - 7*u - 2. Let l be 3 - (3/1 + -6). Let y be k(l). Let v be 3 + (-1 - (-18)/y). Is 0 greater than or equal to v?
True
Let b be 6/16 + 143/88. Is b >= 2/3?
True
Let k(s) be the first derivative of 41*s**2/2 + s - 1. Let w be k(-1). Let t be (-6)/(-7)*(-56)/w. Is t <= 2?
True
Let r(o) = -o**3 + 4*o**2 + 3*o - 6. Let y = -21 + 15. Let i(k) = -k**3 + 4*k**2 + 4*k - 7. Let p(b) = y*i(b) + 7*r(b). Let x be p(2). Which is smaller: 1 or x?
1
Suppose 5*i - 3*i = -3*p + 23, 3*p = -4*i + 19. Is p not equal to 9?
False
Let b(o) = o - 10. Let q be b(10). Let r = q + 3. Suppose r*l = 2*v - 0*v + 12, v + 2*l = 8. Which is smaller: -1/8 or v?
-1/8
Let n be (-8)/(-130)*30/(-3). Is n != 0?
True
Let b(o) = o**2 + 6*o + 6. Let r be b(-5). Suppose -m + 376 = -5*y, -2*y - 7*m - 147 = -4*m. Let g be 0 + 1 - 15/y. Do r and g have the same value?
False
Let z = 31 + -24.4. Which is smaller: z or -2/3?
-2/3
Suppose -k + 5 = 2*n, -k + 2*n = 3*n - 2. Let r be 1 - 7/(-2 + 1). Suppose -22 = h - 5*x, -2*h + x - 4*x + r = 0. Which is greater: h or k?
k
Let y be (-13)/6 + (-6)/(-3). Suppose 0 = 5*n + 2*b, -3*n + 5*n + 2*b = 0. Are y and n nonequal?
True
Suppose 0*s + 33 = -4*l - 5*s, 4*s = -20. Let a be 6/(-2) + 6 + l. Is 1/4 at least as big as a?
False
Let g be ((-214)/3)/(13/51). Let l = -280 - g. Is l bigger than -2/3?
True
Let z be (-2)/9 + (-4475)/(-414). Let y = 90/23 + z. Let r = -89/6 + y. Which is smaller: 0 or r?
r
Suppose -34 = -0*k - 2*k. Let f = -121/7 + k. Suppose -2*h + 6 = -p - 0, p - 3*h + 9 = 0. Which is greater: p or f?
p
Suppose -2*o - 8 = w, 5*o - 2*w - w + 31 = 0. Let q = -5 - o. Let p be (q*(-2)/(-4))/2. Which is smaller: p or -1/2?
-1/2
Let t = 1.9 - 2.2. Let f be (-9)/(-30)*(-10)/(-12). Which is bigger: t or f?
f
Suppose 0 = -4*c - 30 + 6. Let f = c - -6. Do f and 1 have the same value?
False
Let q = -78 - 44. Which is bigger: -121 or q?
-121
Let n = 0.07 - -0.03. Let c = 3.5 - -3.5. Which is smaller: n or c?
n
Suppose 3*r = -2*u + 3, -3*u - 2*r = -8*u - 2. Let j be (-2)/6*3/(-8). Which is smaller: j or u?
u
Let q be ((-12)/10)/(27/90). Which is greater: -2 or q?
-2
Let d(c) = -c**3 - 8*c**2 + 17*c - 24. Let j be d(-10). Which is bigger: -1 or j?
j
Suppose -3*r - 4*h + 68 = 0, -37 - 34 = -3*r - h. Suppose -k = -5*k - r. Let n = k + 4. Which is bigger: n or -1?
-1
Suppose -3*a - v + 6 = 0, -6 = -2*v - 0*v. Is a >= 0?
True
Let u(p) = -p**2 + p + 1. Let q(o) = -o**2 - 12*o + 2. Let n be q(-12). Let c be u(n). Is 2/9 less than c?
False
Let m(n) = 9*n**3 - n**2 + n - 1. Let r be m(1). Suppose -4*b - 4 = -r. Is b greater than 0?
True
Let m be (-10)/(-15) + (-6)/(-16)*-2. Which is smaller: -1 or m?
-1
Let i = 3 + -2. Let h(c) = -c**2 + 0*c - c - 4 + 0*c - c. Let t be h(-2). Is i less than t?
False
Suppose 0 = 2*y - 3*y + 2*g - 9, 5*y + 69 = -2*g. Which is greater: y or -14?
y
Let l = 0.06 - -3.94. Let b be 4 + (-1)/(-8)*-34. Is l != b?
True
Let c = -1.3 - 1.3. Let m = c - -3. Which is bigger: m or -1/4?
m
Let j = -14/3 - -4. Which is bigger: j or -1?
j
Let t = 53 - 53. Let k be (-16)/(-6) - (-4)/(-6). Which is smaller: k or t?
t
Suppose -2*c + 4*g = 72, -4*c = -8*g + 3*g + 129. Is c equal to -25?
False
Let o be (-1)/(1/(-1) - 0). Suppose -v - o = -0*v. Which is smaller: v or 2/21?
v
Let f = 9 + -2. Suppose 2*r + 5*z - f = 0, 2 - 5 = 3*z. Suppose r*a = a. Which is greater: -1 or a?
a
Let l = -1/1255 - -3809/55220. Which is greater: 0 or l?
l
Let n(p) = p + 5. Let k be n(-6). Suppose 0 = -6*h + 3*h. Let c be -2 + h + 1 + -1. Which is greater: c or k?
k
Suppose -2*y + 8 = -4*n, 3*n + 0 + 6 = y. Let v = 10.98 - 0.18. Let g = v - 11. Does g = n?
False
Let d = 3 + 0. Let p = 3 - d. Let w = p + -0.2. Is w less than or equal to 1?
True
Suppose 0 = 4*k + 51 + 1. Let n = k + 11. Is -3 less than n?
True
Let d be ((-4)/(-4))/(1/3). Let j be (16/12)/(-2)*d. Is -11/5 < j?
True
Let a = -182 + 182. Is -0.12 at most as big as a?
True
Let w = -39 - -39. Which is smaller: 6/17 or w?
w
Suppose 10 = -2*v - v - 2*p, -2*p = 5*v + 10. Suppose 5*b + 30 = 3*j, v = -2*b - 2*b - 2*j - 24. Let x be 3/(-6)*b/1. Is 3 at most x?
True
Let z(l) be the third derivative of -l**6/120 + l**5/15 + l**4/4 - l**3 + l**2. Let a be z(5). Which is smaller: a or 0.1?
a
Let n = 6 - 5.7. Let s = 697/3 + -232. Which is smaller: n or s?
n
Let a = -8 - -10. Suppose 2*m - 4*g + 16 = 0, 2*m + 5*g - 12 = 8. Let s = 2 - m. Are a and s unequal?
False
Let s(z) = -6*z + 43. Let h be s(-9). Is h < 96?
False
Let r(g) = -g - 4. Let f be r(-8). Let p = 3 - f. Which is greater: -1/6 or p?
-1/6
Suppose -p = 2*p - 9. Let t = 10 - 7. Is p < t?
False
Suppose -2*k + 5*w = 2*k - 35, 4*w + 2 = -2*k. Let r = k + -14. Does -9 = r?
True
Let i(t) = t - 8. Let j be i(11). Suppose 0 = 2*g + 5 + j. Is -3 not equal to g?
True
Let t = -10 + 11. Are t and -1/23 unequal?
True
Let d = -64 - -64. Is d at most 1?
True
Suppose 9 = 4*n + 3*w, 4*n = w - 2 - 1. Is -2/7 smaller than n?
True
Suppose 5*m = 3*b - 163 - 116, -4*m = 5*b - 428. Which is bigger: b or 89?
89
Let h = -8