 q + 31. Let v = -3836/11 - -349. Which is smaller: b or v?
b
Suppose 0 = 3*o - 2*o + 21. Let m be o/(-70)*(-10)/4. Which is smaller: m or -3/2?
-3/2
Let r = 98768 + -17778187/180. Let k = r + -2/45. Let f = -6 - -7. Is f <= k?
False
Let s(p) = -4*p - 4. Let x be s(5). Let w be ((-15)/(-5))/((-9)/x). Is 6 less than w?
True
Let d be (2/(4/(-6)))/(-5). Suppose 5*h + 11 + 4 = 5*u, 2*u - 1 = -3*h. Do d and u have the same value?
False
Let y = 7/815 - 68807/2445. Let x = y + 28. Which is smaller: x or 1?
x
Let p(t) = -2*t**3 - 16*t**2 + 15. Let j(g) = g**3 + 8*g**2 - 8. Let n(s) = 11*j(s) + 6*p(s). Let b be n(-8). Is 2 greater than or equal to b?
True
Suppose 0 = -2*z + 5*x - 8, 0 = 5*z - 3*x + 2*x - 3. Which is bigger: 2/11 or z?
z
Let p = -2 + 1.9. Let q = p + -0.3. Let w be 5 - 3 - (1 - 0/1). Does q = w?
False
Let o = 4.47 - 0.17. Let y = o + -4. Let b = y - 0.2. Which is smaller: b or -1?
-1
Let p = -442 - -457. Let s = -0.1 - -0.1. Is p greater than or equal to s?
True
Let h = 1/33 + -4/11. Let v be 1/4 + (-2)/8. Which is greater: v or h?
v
Suppose -i = -7*i. Which is greater: -2/33 or i?
i
Suppose 0 = 5*p - 109 + 29. Let x = -31/2 + p. Which is bigger: 2 or x?
2
Suppose 10*l = -7 - 13. Suppose -3*p - 5 = 10. Which is smaller: l or p?
p
Let d = -3 - -3. Let r(f) = -2*f + 1. Let j be r(0). Suppose d = 2*a - j - 1. Is a != -3?
True
Suppose -3*k + 24 = d, 0 = 2*d + 3*k - 38 + 2. Do 12 and d have the same value?
True
Let m be 1/(-6) + 38/12. Suppose 2*s + m*b = 11, 4 = 2*s + 2*b - 2. Suppose -a - 2 - 1 = 0. Which is greater: s or a?
s
Let s(i) = i + 7. Let h be s(-5). Let q = h + 4. Is 5 less than or equal to q?
True
Let p = -1 - -0.9. Suppose -2*w = 10, -l + 3*w = -2*l - 8. Is p at least l?
False
Let d be 0/4 + (1 - 1). Let b = d - -1. Which is bigger: 1/6 or b?
b
Let v(x) = -x + 8. Let d be v(7). Is 11/5 at least as big as d?
True
Suppose -16*t = -12*t - 4. Which is bigger: t or -5?
t
Let r = -2/1283 + 37213/3849. Does r = 10?
False
Let v = 0 + 5. Is 5 at most v?
True
Let l be (-16)/42 - (-12)/18. Let w = 0.99 + 0.01. Let g = w - 0. Which is greater: l or g?
g
Let c(i) = i**2 - 6*i + 8. Let w be c(4). Suppose 5*q + 3*p = 13, 17 = 5*q - 4*p - 24. Suppose 3 = -q*s - 2. Is w less than or equal to s?
False
Let l be -1 + 4 - (0 - -13). Suppose 4*t + 34 = 5*o, -2*t - 14 = 2*o + 12. Is l at most as big as t?
False
Let n be 0 - -3 - (-2)/5. Do n and 2 have different values?
True
Let r = -0.39 + 0.46. Which is smaller: r or 2/3?
r
Suppose -24 - 12 = 9*u. Is u < -1?
True
Let s(o) = -o - 3. Let f be s(-1). Which is smaller: f or 1?
f
Let x be 0 - -2 - 62/32. Which is smaller: x or 2?
x
Let i = 15 - 14.9. Is i >= 6?
False
Let p = 2 + -10. Is p equal to -7?
False
Suppose 5*h + 0*h + 5*n = 15, 5*n = 4*h - 12. Suppose 5*u - 12 = 2*u. Which is greater: u or h?
u
Suppose 0 = -3*y + 2*g + 10, -y - 2*g - 1 = -7*g. Suppose s = -y*s. Which is greater: s or 1?
1
Let w be -1 + (-4 - -2)/(-1). Suppose -3 = -3*t, 3*u + 3*t - 13 = u. Suppose u*s - 10 - 5 = 0. Which is smaller: s or w?
w
Let o(h) = h - 2. Let y be o(-7). Let t be 4/6 + (-12)/y. Let r be (t/(-10))/(6/5). Which is bigger: r or 0?
0
Let u(q) = q**2 + 5*q - 8. Let f(t) = -2*t + 5. Let i be f(6). Let c be u(i). Let z = 2/127 + 119/508. Is c at least z?
True
Let a be 3/(12/68)*-1. Which is smaller: a or -16?
a
Let b be ((-5)/4)/((-3)/(-24)). Which is bigger: -11 or b?
b
Suppose 0 = 4*i - 4*b - 20, 4*i + 0*i = -3*b - 8. Let g be (-1 - (-2 - 2)) + i. Do g and 13/5 have different values?
True
Let h = -75 - -74.7. Which is greater: h or 1.4?
1.4
Suppose 20 = 4*w + 4*h, 4*h = 4*w - 0*h - 44. Suppose 0 = -4*g + w + 4. Let p(x) = 3*x**2 + 1. Let c be p(1). Is c < g?
False
Let v be 2/5 - 708/(-30). Does 25 = v?
False
Let d = 0 + -4. Let p be 9/12 + (-1)/d. Let n be 0*(-1 + (3 - p)). Which is greater: n or 1?
1
Let m be 12/(-42) - (-39)/(-35). Is m smaller than -2?
False
Suppose 0 = 4*s + 4 + 8. Let w be ((-4)/(-4764))/(s/(-18)). Let d = -421/4764 + w. Which is greater: -1 or d?
d
Suppose s = 3*h + 1 - 0, 2*h = -5*s - 29. Let r be (2/3)/(h/3). Let o be 9 + -6 + 20/(-7). Which is bigger: r or o?
o
Let m(r) = r**3 + r**2 + r + 1. Let x(n) = 3*n**3 + 5*n**2 + 2*n + 1. Let j(c) = -2*m(c) + x(c). Let q be j(-3). Let k be 18/10 - q/5. Which is bigger: k or 1?
k
Let k = -529 + 531. Let d = 1/886 + 5305/9746. Which is smaller: k or d?
d
Suppose 2*l - 4*k + 2 = 0, -l - l + 3*k = 1. Let j be l/2 - (-4)/(-16). Is -1 < j?
True
Let w = 2.6 - 3. Let b = -0.3 - w. Is 1/6 equal to b?
False
Let u = 0 - -1. Let r be (-1)/(u*2/8). Let v = -0.052 + 0.152. Which is smaller: r or v?
r
Let j be 2/((-1456)/(-1810)) + -2. Let b be 14/21*9/104. Let y = j - b. Which is greater: y or -1?
y
Let a = -885/364 + 15/52. Which is smaller: a or -3?
-3
Let g = -24 + 36. Suppose -4*c - g = -0*c. Is -3 >= c?
True
Let j = 2 + -1. Let t be (j - 1)/(-3 + 2). Suppose -m = -t*m + 2. Which is smaller: m or -3/2?
m
Let u = 4 - 7. Let m be u/6 + (-21)/6. Is m less than -3?
True
Let w = -6 + 6.06. Let z = 11.9 - 9.96. Let n = z + w. Is n < -0.1?
False
Let l be 117/(-39)*((-8)/(-6) - 0). Suppose -3*f + 2 - 10 = 4*m, 12 = 3*f. Is l less than m?
False
Let j be (3 - (-11)/(-3))*3. Let a be (36/15 + j)/(-1). Is a greater than -1?
True
Let o = 5 - 5.3. Is 4 <= o?
False
Let f = 4.9 + -8. Let t = 0.3 - -2.7. Let c = t + f. Is c > 2?
False
Let v = 41 - 42.08. Let j = 0.08 + v. Let d = -8 - -11. Which is bigger: d or j?
d
Let g be 3 + 204/(-33) + 3. Suppose -17 = -k - 4*a - 4, 4*k - a = 1. Which is bigger: k or g?
k
Let k(m) = -15. Let q(j) = j - 14. Let r(l) = -3*k(l) + 2*q(l). Let d be r(-8). Is -1/8 greater than or equal to d?
False
Let k = 0.4 + 0. Let i = k - 0.4. Which is greater: i or -2/25?
i
Let b = -32607/1565 + 11/313. Which is bigger: -20 or b?
-20
Suppose -10*f + 32 = -6*f. Let d = 7 - f. Is d greater than -2/21?
False
Suppose -120 = 12*h - 8*h. Let n = h - -20. Is -11 <= n?
True
Suppose 0 = n - 4*n + 3. Let r = -1 - n. Let l be 10/(-5) - 2*r. Is l less than or equal to 1?
False
Let p = -4.2 + 4. Is -3 at most as big as p?
True
Let x(t) = -4*t + 8. Let z(s) = -1. Let w(n) = -x(n) - 8*z(n). Let b be w(1). Which is smaller: 3 or b?
3
Let y = -187169/110 + 1702. Let h = -2/55 - y. Suppose 5*j = 9*v - 5*v - 7, -5*j - 11 = -2*v. Which is greater: h or v?
h
Let b = -2812/21 - -134. Let u = -0.8 + -0.2. Let i = 0.9 + u. Are b and i equal?
False
Suppose 2*o - 6*o + 4 = 0. Let k be (-18)/(-20) + (-1)/2. Is k at most o?
True
Let u be (4/6)/(8/(-132)). Are -7 and u equal?
False
Let t be (-42)/(-8) + 2/(-8). Let d = 7 - 6. Let n = 5 - d. Which is smaller: t or n?
n
Suppose -2*p = -6*p. Let h = 0.48 - 0.18. Which is smaller: p or h?
p
Let k = -20.9 + 22. Let f = k + -1.2. Which is bigger: -3 or f?
f
Let f = 13 - 9. Suppose f*v - 3*s - 5 = 0, 4*v - 3*s = s. Are -3 and v equal?
False
Let l be (-7)/(-2)*(-18)/14. Is l less than 0.1?
True
Let a = 6 - 5.7. Let m = -3 + 4. Is a < m?
True
Suppose -4*x + 19 = 3, 0 = -4*b - 5*x + 44. Is 5 smaller than b?
True
Let t be -10 + (1 + 0 - 1). Let v = t - -4. Is -6 at least v?
True
Let c(j) = 2*j - 1. Let n be c(1). Let z(i) = -i + 2. Let h be z(n). Let t be h/28 + (-4)/14. Is 0 less than t?
False
Let u be 1/2 - (-25)/(-42). Suppose -8 = -2*x + 3*t, 0*t + 5 = -3*x - 4*t. Is x bigger than u?
True
Let q(d) = d**2 - 2*d - 3. Let y be q(3). Let t be (1/8)/(4*(-8)/(-128)). Which is smaller: y or t?
y
Suppose 3 = -2*w + 7. Let m = 2 + w. Suppose m*i - 4 = -16. Which is smaller: i or -2?
i
Let p = -174/11 - -1425/88. Do -1 and p have the same value?
False
Suppose 3*g + 9 = -3*n, -4*g + 5*n + 0 - 3 = 0. Let a be -6*(-3)/(9/(-4)). Let w be 12/(-16) - (-2)/a. Which is smaller: w or g?
g
Let p be (-4)/(4/3 + -2). Suppose 0 = -u + 2*y - 11, -3*u - 11 = 4*y + y. Let x(d) = -d**3 - 6*d**2 + 5*d - 8. Let a be x(u). Is a bigger than p?
False
Let s = 0.4 + -0.47. Is -0.1 <= s?
True
Suppose 3*m + 0*m = 0. Let f(g) = -g**2 + 8*g + 1. Let x be f(8). Is m not equal to x?
True
Let g be 0 - ((-2)/(-2))/(-1). Suppose 9 = 5*n - g. Which is smaller: n or -3?
-3
Let x = 198 + -3959/20. Which is greater: 1 or x?
1
Let g = -23 - -22.9. Let u be 0 + (-1 - -4)/(-408). Let k = u - -277/680. Is k bigger than g?
True
Suppose 2*y = 3 + 1. Is y at most 4?
True
Let k = 2 +