et u be y(-2). Let i = h - u. Is -2/5 smaller than i?
True
Let x = 67 - 131/2. Which is smaller: x or 1?
1
Suppose 4*a - 7 = 21. Suppose 0 = -l + 3*l - 5*j - 21, -j - 9 = -2*l. Which is bigger: l or a?
a
Suppose x = 2*h + 11 + 2, 4*x = 5*h + 58. Suppose 2*f + 5*z = 3*f - 14, 0 = -2*f - 5*z - x. Is f equal to -4/9?
False
Let h = -57 + 57. Which is greater: 1 or h?
1
Let j(q) = -q**3 + 11*q**2 + 11*q + 7. Let v be j(12). Which is smaller: v or -2?
v
Let o = -2 - -1. Let z = -364/5 + 74. Let a = 9/20 - z. Which is bigger: a or o?
a
Let w be (10/4)/(7/14). Suppose -w*h = -h. Is 0 bigger than h?
False
Let f = 3 - 3.1. Let c = 1 - 1.1. Let m = c - f. Which is smaller: 0.1 or m?
m
Let w = -23 + 23. Which is smaller: w or -1?
-1
Let f = 0.1 + -1.1. Let s = -0.1 - -1.1. Let g = s - f. Is 1/2 at most as big as g?
True
Let o = 15 + 6. Let w = o + -11. Are w and 9 nonequal?
True
Let t = 0.008 - -0.032. Which is greater: 4/3 or t?
4/3
Let i = 1151/286 + -81/26. Which is smaller: 0 or i?
0
Let r = 18 - 11. Let u be 0 + -2 + r/4. Let n = 0.07 - -0.13. Is n less than or equal to u?
False
Let v be ((-4)/(-5))/(1/55). Let c = -398/9 + v. Are c and 0.1 non-equal?
True
Suppose -3*d + 3 = 2*r, 4*r - 7 = -3*d + 8. Suppose -r = 4*w - 4*u + 10, 5*w + 8 = -u. Let n(p) = -p**2 - 12*p + 27. Let q be n(-14). Which is smaller: w or q?
w
Let s = 15 + -20. Is -11 < s?
True
Let w be (-85)/(-136)*(-2 - 0). Is w equal to -1?
False
Suppose -8*x - 8*x + 16 = 0. Which is smaller: x or -2/99?
-2/99
Suppose -4*q = -q - 3. Which is bigger: q or -2/111?
q
Let n = 84 + -90. Which is greater: n or -0.1?
-0.1
Suppose z + 3*d + 9 = 0, 3*z - 5*z + 4*d + 12 = 0. Suppose z = s - 3*s + 24. Which is smaller: s or 11?
11
Let l be 2 - 2/((-4)/(-14)). Let f = 5 + l. Do f and 3/5 have the same value?
False
Suppose -4*c - 8 - 26 = -3*s, -3*c + 12 = 4*s. Is 2 < s?
True
Suppose 5 = -5*j, 2*j + 1 = -2*q + 7*j. Let b = -10 - -19. Suppose -4 = 4*w + 5*z - 11, 3*z - b = 0. Which is greater: q or w?
w
Let y = 11/70 + 9/14. Which is smaller: -6 or y?
-6
Let k = 2086/5 + -415. Which is bigger: k or 1?
k
Let m(w) = w + 22. Let s be m(-18). Let x be 16/(-2)*(0 + 1). Let z = -3 - x. Is z at most as big as s?
False
Let n = 33 + -65/2. Let s = -31.05 - -29. Let k = -0.05 - s. Does n = k?
False
Suppose -s + 3 = -12. Let z be 6/s - 10/25. Is z smaller than -1/3?
False
Let n = -11 + 14. Suppose -2*s - 3 = -5*s - n*l, 5*s - 11 = -3*l. Are s and 4 equal?
True
Let r = -76/217 + 2/31. Which is smaller: -0.13 or r?
r
Suppose 12 = 4*j - 2*j. Let m(d) = 2*d**2 - 14*d + 11. Let u(w) = -3*w**2 + 21*w - 16. Let i(g) = -8*m(g) - 5*u(g). Let c be i(j). Are c and 0 non-equal?
True
Suppose 2*c = -2 + 6. Suppose 0 = -2*o + 2*y + 4, -o + 2*y + 4 = 3*o. Suppose -18 = -2*f + 4*u, -5*f - 7 + o = 3*u. Is f greater than c?
False
Let d = 34 + -39. Suppose -k + 2*k = -2*y + 4, -y + 2*k = -7. Suppose 2*p - y*p = 6. Which is smaller: d or p?
p
Let p be -3 - 2/(-6)*0. Let s be (2/p)/(18/135). Is -0.1 at least s?
True
Suppose -3 = 3*g - 2*g - a, -5*a = 3*g + 1. Let d be (-1*4 - g)/5. Is 2 > d?
True
Let b = -2302/19 - -121. Is b at least -1?
True
Let u = 430 + -10752/25. Let d = -5 + 6. Are d and u equal?
False
Let i(k) = -8*k**2 + 3*k + 1. Let r be i(-3). Let f be 4/(-6) - r/12. Suppose 2*t = -0*t + f. Is 3 equal to t?
True
Let k = -128 - -900/7. Is 0 < k?
True
Let d(n) = n**3 + 17*n**2 - 40*n - 37. Let s be d(-19). Is -6 not equal to s?
True
Let l = -5307/52 - -1044/13. Are -22 and l equal?
False
Suppose -2*m - 12 = -3*m. Suppose -4*o + 36 = m. Which is smaller: o or 1?
1
Let w = -20043/55 + 2319/11. Let p = w + 153. Which is greater: p or 0?
0
Suppose -30 - 20 = 2*w + 2*o, -2*w + 4*o - 26 = 0. Let r be (-4)/w*(-3)/(-2). Which is smaller: 1 or r?
r
Suppose 5 = -t - 1. Let y = 5 + t. Let a be y + (0 + 0 - -1). Which is bigger: -1 or a?
a
Let r = 2937/4540 + -22/227. Let h = 3/4 - r. Which is smaller: -1 or h?
-1
Let y(x) = x - 1. Let p be y(2). Let z(w) = w**2 - 7*w + 5. Let o be z(7). Suppose -d = -o*d. Are p and d equal?
False
Let b = 3020/44631 + 2/1539. Let j = -35/87 + b. Which is smaller: -2/3 or j?
-2/3
Let r(k) = k**2 + 6*k - 6. Let p be r(-6). Let a be 2/(-7)*p/(-12). Which is greater: a or 1?
1
Let y = -40516/27 + 1501. Let v = -347/918 + y. Which is smaller: v or 0?
0
Let g = 8 + -16. Let t = g + 13. Let h = -4.8 + t. Which is smaller: -0.1 or h?
-0.1
Suppose 24 = 2*b + b. Is b at most 7?
False
Let f(l) = -l + 4. Suppose t = x - 5, 2*t = 6*t. Let w be f(x). Does -1 = w?
True
Let q = -81 - -80.8. Which is bigger: 15 or q?
15
Let p = 14 + -14. Is p < 0?
False
Let o(z) = -z**2 + 4*z - 1. Let s be o(4). Let w be 3/2*(-2)/6. Let k = s - w. Is k less than 2?
True
Suppose -5*p = 0, -3*b + 0*p = 2*p - 3. Does b = -3?
False
Let b = -11 + 6. Let u = b - -9. Suppose 2*y + 0 = u. Which is smaller: y or 0?
0
Let d = -1.2 - -0.8. Let a = -0.3 - -0.4. Which is greater: d or a?
a
Let f = -27 - -27.022. Let u = -5.122 + f. Let t = -5 - u. Is 2 greater than or equal to t?
True
Suppose o + 0*o - 8 = 0. Let p = o - 7. Let g = 1/6 - 5/12. Which is greater: p or g?
p
Suppose 3*x - 70 = -d - 15, 3*x + 3*d - 57 = 0. Suppose -4*q = 2 - x. Let b = -8 + 11. Is q greater than b?
True
Suppose -2*z - 2 = 4*u + 14, -2*u + 4 = -2*z. Let s be (-4 - 6/u) + 2. Which is smaller: 9/7 or s?
s
Let s = -42 - -43. Which is smaller: s or 5/27?
5/27
Let i = -679 - -2611/4. Let q be -1*(-81)/(-3)*-1. Let r = q + i. Is 0 > r?
False
Suppose -5*f + 74 = 9. Let q = -2/3785 + 151406/11355. Let j = q - f. Is j < -1?
False
Let p = -32/11 + 151/33. Suppose 4*l + y = 9, -3*y = 5*l + 5 - 11. Let q(a) = -a**3 + 4*a**2 - 3*a + 1. Let n be q(l). Is n >= p?
False
Suppose 0 = 2*n - 4*d + 18, d = -0*n - 3*n - 27. Let x be (-27)/n + 0/2. Suppose -5 = x*w - p, 4*p - 4 = 2*w + 16. Which is bigger: -2/9 or w?
w
Let w = 486 + -28676/59. Which is greater: w or 1?
1
Let l be -18 - (-1)/((-5)/(-20)). Is -15 at least l?
False
Let p = 883 - 1707/2. Is 30 at most as big as p?
False
Let q(b) = 2*b**3 - b - 1. Suppose -3*x = 3*j + 3, 0 = 2*j - 4*x - 1 + 3. Let h be q(j). Let a be (-1)/(-1 - (-5 + h)). Which is smaller: a or 1?
a
Let m be ((-6)/(-4))/(3/28). Let o = 0 + 14. Let p be m/12*8/o. Is p at most as big as 4/9?
False
Let i be (-2)/6 - (-44)/60. Suppose -4*c + 5*s = -26, s = -0*s - 2. Suppose -c*x + 21 = -5*m, -4*m - 20 = -0*m. Which is smaller: x or i?
x
Let z be (-19)/(-8) + (6 - 8). Which is smaller: 1 or z?
z
Let h be (-2)/(2 + 96/(-44)). Which is greater: h or 10?
h
Suppose 7*k + 21 = -z + 3*k, -3*z + 4*k = -17. Do -1/25 and z have the same value?
False
Let y be 2/(-7) + 15/(-21). Let a be (-2)/3 + (-107)/(-3). Let s be (-25)/a + 1/1. Does s = y?
False
Let k be (3 - 3)*2/4. Let z(q) = q + 8. Let r be z(k). Which is smaller: r or 7?
7
Let j be (15/(-6) + 3)*0. Suppose b = p - b - 6, -4*p + 3*b + 9 = 0. Is j smaller than p?
False
Let d = 5.15 - 5.1. Is d != -0.3?
True
Let r = -317/7 - -45. Let d = -174/5 + 35. Is r not equal to d?
True
Let w(l) = -l - 2. Let g = -4 - -1. Let u be w(g). Let r be 4/(-10) + 36/65. Which is greater: u or r?
u
Suppose 2*h - 4*h + 32 = 0. Which is bigger: 17 or h?
17
Let o = -2.02 + 2. Let y = 0.08 - o. Is y less than or equal to -2/5?
False
Let q(c) = c**3 - 6. Let y(h) = -2*h**3 + h + 11. Let i(s) = 5*q(s) + 3*y(s). Let a be i(-2). Which is greater: a or 6?
6
Let s(h) = h**3 + 2*h**2 + h. Let d be s(-2). Let q = d + 2. Suppose 3*f - 4 + 1 = q. Which is bigger: 0 or f?
f
Let a be (2*(-1)/6)/(9/(-297)). Which is smaller: -1 or a?
-1
Let r = 0.37 - 0.07. Let d be ((-4)/(-2))/(-2) - 2. Does d = r?
False
Let m = 3609/6100 + -69/100. Which is smaller: 0 or m?
m
Suppose -20*l + 22*l - 2 = 0. Is l bigger than 1/4?
True
Suppose 3*x = h - 6, -h + x - 4*x = 6. Let p be 4/4 - (-21)/(-24). Which is greater: h or p?
p
Let p be 0/1 - (-1)/(-9). Let y = 65/42 - 11/6. Which is smaller: y or p?
y
Let z(n) = -n - 3. Let x be z(-6). Suppose -2*b + x*b = 4*u + 1, 3*u - 2*b - 3 = 0. Which is smaller: u or -1/5?
u
Suppose 4 = -4*f, -3*d + 43 = -8*d - 3*f. Let i = 7 + d. Is 1 greater than or equal to i?
True
Suppose 18 = -2*c - 5*n, 0*n - 5*n - 30 = 5*c. Let v(i) = 0*i - 2*i - 4*i - 10 + 5*i. Let z be v(-7). Are z and c nonequal?
True
Let c = -31 - -25. Let u(z) = z**3 + z**2 + 5.