 -3. Suppose -d = 4*u - 1, -5*u + 0*d - 2*d + 2 = c. Suppose t + 3*t - 4 = u. Is 1 greater than or equal to t?
True
Suppose 88 - 10 = -3*z. Let f be (-60)/(-117) + (-4)/z. Which is smaller: f or 2?
f
Let l = 31758/29 + -1095. Is 0 bigger than l?
False
Suppose -45 = 97*f - 102*f. Is f <= 1?
False
Suppose -5*p - 58 - 17 = 0. Which is bigger: p or -14?
-14
Suppose 5*y + 4*q + 12 = 0, -3*y + 5*q = -y - 15. Suppose y = 4*s + s - 10, -58 = -5*m + s. Let r be -2*2*(-3)/m. Are -1/3 and r unequal?
True
Let y be 65/70 - (-6)/(-14). Suppose -3*z + 10 = -2*n, -3*z - n + 20 = -5*n. Which is greater: z or y?
y
Let d = -34 + 42. Is d at least as big as 6?
True
Let t be (-6)/2*(2 + -1). Let g = -1 - -4. Suppose -g*s - s = 8. Is t bigger than s?
False
Let m = -221 - -104. Let i be ((-6)/m)/(1/3). Is i at least -1?
True
Let x = -335801/1035699 + 10/2317. Let a = -2/149 + x. Let h be 1/(2 - (2 - 1)). Which is smaller: a or h?
a
Let o(l) = l. Let u be o(-1). Let j = 0 - u. Let t = -65 + 453/7. Is j not equal to t?
True
Let c be 4/10 - 189/(-15). Let l = c - 4. Which is greater: l or 0?
l
Let i be ((-21)/(-6) + -3)*12. Let z = i + -6. Is 0 less than z?
False
Let a = 14 + 0. Let f be (-136)/a + (-6)/21. Is f at least -10?
True
Let p = 232/3 - 78. Suppose 0*v = 2*v - 8. Suppose v*o + 4 = -4. Which is smaller: o or p?
o
Let f = -2.21 + 0.21. Let j = 3.9 + -0.9. Which is greater: j or f?
j
Suppose -k = -0*k + 8. Let t(x) = x**2 + 7*x + 2. Let h be t(k). Suppose 15 = 5*c - h. Which is greater: c or 4?
c
Suppose 0 = -2*o - n - 0*n + 22, 2*o - 14 = -5*n. Suppose 0 = 43*f - 387 - 86. Which is greater: o or f?
o
Let r = -24 - -22. Suppose -g + 6*g = 0. Let a be 2/2 + (0 - g). Which is smaller: a or r?
r
Suppose 100*h = 107*h + 462. Is h less than -65?
True
Let b be 6 + -3 - (-12)/2. Is b at least as big as 8?
True
Let z = -0.1 + 0. Which is greater: z or -0.06?
-0.06
Suppose 0 - 1 = x. Which is bigger: 5/4 or x?
5/4
Let l(s) = 4*s**2 - s - 1. Let o be l(-1). Are o and 4 unequal?
False
Suppose -3 + 18 = 3*b. Suppose -4*q + b*z - 38 + 9 = 0, 0 = -2*q + 2*z - 12. Is 1 equal to q?
False
Suppose -85 = -2*i + 13. Is i >= 49?
True
Let p = 1032 - 21667/21. Is p at most as big as 0?
False
Let o = -114 + 79. Which is smaller: 0 or o?
o
Let r be (0/1)/(3 - 4). Suppose r = 4*u - 5*h + 42, -u - u = -h + 18. Let l = u - -6. Is l at least 0?
False
Let y be 1*6/44 + (-5)/(-10). Is y > 2?
False
Suppose -s - 2*s + 12 = 0. Let h = 10/3 - 5/6. Which is smaller: h or s?
h
Let d(s) = 16*s**2 + s**3 - 5*s + 3 + 4*s - 19. Let f be d(-16). Which is bigger: 2/7 or f?
2/7
Suppose 2*k = -3*k. Suppose 3*c = -2*c. Suppose 0*s - 4*s = c. Is k smaller than s?
False
Suppose -4*x + 2*x - 2 = 0. Let g = 7 + x. Suppose -5*r - 1 = -2*r + 2*p, g = -3*p. Which is bigger: 1/2 or r?
r
Let t = 102 + -411/4. Let v be 0/2 - 0/1. Suppose 5*f + 0 + 10 = v. Is t at least as big as f?
True
Suppose -4*t = -3*t + 5*i + 22, 2*t + 16 = -3*i. Let r(k) = -6*k - 27. Let x be r(-4). Does t = x?
False
Let c = -12 - -5. Let a = c - -6. Is 0 at least a?
True
Let b = -2.06 + 0.06. Suppose -6*o - 2*k + 64 = -2*o, 5*k - 85 = -5*o. Let w be (-2)/o*(-2 - 3). Is w bigger than b?
True
Let t = -167 - -171. Which is greater: t or -1?
t
Let m(p) = -p**2 - 8*p - 6. Let u be m(-8). Let g be u/(-4)*1/(-3). Suppose 0*s = -2*s. Is s at least g?
True
Let s be 26/4 + (-12)/(-8). Suppose 3*f + s = 2*f. Which is smaller: -9 or f?
-9
Let i = -6.4 - -6. Let n = 0 - i. Let x = -1 - -1. Which is smaller: n or x?
x
Let o = 0 + 0. Suppose -k = 4*k - 20. Let h be (k/(-42))/((-1)/(-3)). Is h < o?
True
Suppose i + f + 5 = 0, 3*i + i + 2*f + 18 = 0. Let r = i - -3. Which is smaller: -0.1 or r?
r
Let i be 15/2*2/(-6). Let u be (-1)/((-9)/2*13/(-117)). Is u not equal to i?
True
Let x be (-9)/(-3) + 177600/207. Let w = 861 - x. Is w at least -1?
True
Suppose 3*p = 5*g + 7*p - 10, 5*g + 3*p = 10. Suppose 0 = -4*r - 4*j + 4, -g*j - 12 = -5*r + 7. Suppose -5 - 4 = -r*c. Which is bigger: 2 or c?
c
Let q(a) = a**3 - 4*a**2 - 5*a + 2. Let t be q(5). Suppose h = 2*h - 4, t*n = 5*h - 12. Which is smaller: 3 or n?
3
Suppose 3*b + 1 = 4. Which is greater: b or 0.1?
b
Let l(q) = q**2 + 4*q + 3. Let o be l(-4). Suppose 1 = g - o. Let i = -17 - -20. Which is greater: i or g?
g
Let v = 21 - 36. Which is bigger: -14 or v?
-14
Let f = -52 + 52. Let u = -3 - 0. Are u and f equal?
False
Let h = 145.8 - 129. Let d = h - 17. Let z be (-2)/(-9) - 21/(-27). Which is smaller: z or d?
d
Let p be (-2)/(-3) - 92/12. Is p at most -17/3?
True
Let m be -1 - 2/((-6)/9). Suppose 5*p = m*p + 2*x + 22, 25 = 5*p - x. Which is greater: p or 2/3?
p
Let v = -4 - -5.8. Let g = -0.3 - v. Let l = 2 + g. Is l equal to 0?
False
Let r(i) be the third derivative of 0 - 1/6*i**3 + 1/30*i**5 + 2*i**2 - 1/12*i**4 + 0*i. Let p be r(2). Which is greater: p or 4?
4
Let w = -34 - -24. Is -11 less than w?
True
Let d be (-1)/2 - 2/(-4). Let s(l) = 5 + 1 + 3 - l + 0*l. Let a be s(8). Which is bigger: d or a?
a
Let i(g) = 3*g - 6. Let j be i(8). Let f be (8/(-56))/(j/(-7)). Which is bigger: 1 or f?
1
Let m = 203/5 + -41. Which is greater: m or 0.5?
0.5
Let a = -54 + 37. Which is bigger: -16 or a?
-16
Let k = -0.17 + 0.34. Let l = k + -0.07. Which is smaller: -8 or l?
-8
Suppose 5*p - h - 83 = 0, -4*p - h + 81 = 20. Suppose -2 + 0 = -d. Suppose 5*x = -5*g + 10, -3*g = -d*x - 0*x - p. Does 3 = g?
False
Suppose -3*d + 3 = 5*a - 3, -4*a = 4*d. Is -3 at least as big as d?
True
Let g = 5.5 + 4.5. Are 0 and g nonequal?
True
Suppose 0*f - 4*f = 2*d - 6, 4*d - 23 = 3*f. Which is bigger: f or -2?
f
Let g(j) = -j**2 - j - 1. Let v be g(0). Let f = -179/189 + 14/27. Which is greater: f or v?
f
Suppose q + 3 + 6 = 0. Let k = q - -8. Which is smaller: -3/5 or k?
k
Let x = 4381/11 + -398. Let z = 1 - 1. Is z at most as big as x?
True
Let j = -42 + 42. Which is smaller: j or -2/3?
-2/3
Let o = -33 + 32.6. Is -0.4 less than o?
False
Let k = -14 + -1. Let y be ((-4)/5)/(6/k). Let r(p) = p**2 + p - 3. Let m be r(-3). Which is smaller: y or m?
y
Let h = 18 - 7. Let n = h - 14. Are -4 and n unequal?
True
Let j = 1.5 - 6.5. Let b = -69 - -63.9. Let s = b - j. Which is bigger: s or -0.2?
s
Suppose 0 = -q + 3*q - 6. Suppose -l - 8*w - 2 = -4*w, 0 = -3*l - q*w + 12. Suppose 0 = l*t - 3*t + 3. Is t smaller than -1/10?
True
Let f = 8 - 11. Let g be ((-17)/(-5) - 2) + -1. Which is smaller: f or g?
f
Let v = -9/284 - -449/32092. Which is smaller: 0 or v?
v
Let x = -12 + 11. Suppose -b + 6 = -2*b. Is b less than x?
True
Let d be 1*-2*1*8. Let a = -39 - -24. Is a equal to d?
False
Let g = -30 + 42. Suppose 2*a + 3 = 5*j, -11 = 5*a + 3*j + g. Let u(y) = -y**2 - 6*y + 5. Let d be u(-7). Is a at most as big as d?
True
Let s be 1/(-3) - (-16)/(-6). Let d be -3*s*(-2)/30. Is d less than or equal to -1?
False
Let p be 2/(-6)*(-63)/15. Let d = 8 + -7. Do p and d have the same value?
False
Let n(i) = -2 - 2 - 1 + i. Let j be n(7). Suppose j*y = y, y + 4 = -4*l. Is l greater than or equal to -1?
True
Let w = -1 - 0. Let p be (-15)/35 - (-20)/14. Let o be 1/p + 10/(-5). Is o less than w?
False
Let l(p) = p**2 - 5*p - 1. Let u(v) = -3*v - 3. Let b be u(-2). Let z be l(b). Let y = 4 + z. Which is greater: -4 or y?
y
Let m = -39449/83201 + 2/4379. Is m at least -1?
True
Suppose -5*a = -133 + 18. Suppose -a = c + 5*l, -5*c + 0*l - 3*l - 27 = 0. Suppose -4*j + 3*j - 7 = -d, 0 = 4*j + 4*d - 12. Is j > c?
True
Let x be 6/4 - (-1)/2. Let n = -84 - -87. Is n < x?
False
Suppose 3*x - 4 = x. Let q be (-2 - 12/(-8)) + x. Are 3 and q equal?
False
Suppose -5*d + 0*d = 0. Is 1/18 smaller than d?
False
Let o be (3/5)/(2/30). Is o >= 2?
True
Let n be ((-12)/225)/(4/(-10)). Suppose 0 = 3*g - 0*g - 9. Which is bigger: n or g?
g
Let l be 2/8 + 41/(-4). Let w = -14 - l. Is -4 < w?
False
Let g = 0.8 + -6.8. Let h = g - -5. Is -1 <= h?
True
Let x = 3.2 + -3.3. Which is smaller: x or -1.2?
-1.2
Let c = -0.2 - -0.27. Let f = c + 0.03. Is f > 5?
False
Let w be 2 + -2 - (-2 + 0). Suppose w*b - 3*q = 12, -8 = 4*b + 4*q + 8. Which is greater: 10/9 or b?
10/9
Let m be 2/5*(-7)/14. Suppose -6*l = -2*l - 8. Let g = 2 - l. Is g > m?
True
Suppose 5*z + 5*s + 30 = 0, -z + 22 = -6*z - 3*s. Let n = z + 8. Let a = -4 - -10. Is a at least n?
True
Suppose 5*n = 2*a - a - 1, 3*n - a + 1 = 0.