
False
Suppose -9*z - 483 = -2*z. Let l = z - -209/3. Which is smaller: 1 or l?
l
Let d = -98 - -97. Suppose 2*p - 78 = -p. Let w = 391/15 - p. Does d = w?
False
Let k = -2907/2 + 1481. Let r = 25 - k. Which is bigger: r or 0.2?
0.2
Let p be 82/280 - (-6)/(-15). Which is bigger: 0 or p?
0
Let w = 92 - 86. Let f(o) = 2*o - 12. Let u be f(w). Does u = -3?
False
Suppose 188 = -5*r - 77. Let x = -264/5 - r. Let d be 2/(-30) - (-4)/20. Do x and d have the same value?
False
Let z = 3 + -3.1. Suppose -2*b = -4*b - 88. Let a = -746/17 - b. Which is bigger: a or z?
a
Let t be (-10)/((-36)/(-21) - (-2)/7). Which is smaller: -4 or t?
t
Let h be (8 - 13) + (-4)/(-2). Let g be (-7)/(-3)*(-6)/8. Which is smaller: h or g?
h
Suppose -5*h + 4*h - 2 = c, 4*h + 7 = -5*c. Suppose -4*b + 3*z = 1 + c, 2*b + 5*z = 12. Is -2/267 equal to b?
False
Let z = 124.3 - 124. Which is smaller: -36 or z?
-36
Let q = 2519 + -3608. Let s = q - -59893/55. Is -1 greater than s?
False
Let j be (5/2)/(6/36). Let d = j - 7. Which is bigger: d or 4?
d
Suppose -2*p + 5*p = 0. Let o(z) = 7 + 2*z + p*z - 2*z - z. Let v be o(4). Is v != 2?
True
Suppose -4*g - 36 = 88. Let m = g + 30. Which is bigger: m or -1/122?
-1/122
Suppose 9*s - 23 = -509. Is -494/9 >= s?
False
Let u = 10.4 - 12.4. Which is smaller: 69 or u?
u
Let f be 1*(-3 + 2) - -1. Suppose 13*b + 4 + 165 = f. Which is bigger: -15 or b?
b
Let n be (0 - (-6)/(-236))*14/(-21). Do -2/27 and n have the same value?
False
Let r be 15/63*40/(-25). Let t = 3/8 + -37/56. Let c = t + r. Are 4 and c equal?
False
Suppose -3*q + 5*u - 41 = -q, 5*u - 67 = 4*q. Are q and -13 unequal?
False
Let f be 6/10 - (5 - (-592)/(-135)). Which is bigger: f or 1?
1
Let u = 75 - 676/9. Let b(q) = -q + 5. Let o be b(6). Is u not equal to o?
True
Let n = -5 + 32. Let b = n - 28. Which is smaller: b or 19?
b
Suppose 28*f - 30*f - 242 = 0. Let l = f - -125. Is 10 < l?
False
Let w = -21481/33 + 651. Is w > 0?
True
Let w be 2860/19775 + 2/(-14). Is 0 > w?
False
Let b(u) = u**2 + 26*u + 70. Let p be b(-20). Is p at most -50?
True
Let x be (-1)/67*(-19 - -21). Let r = x + -88/1541. Let d = 7 - 6. Which is smaller: d or r?
r
Let s be 2*-5 - (-2 - -1). Let u = -40 - -44. Suppose -4*v - 2*x = 30, -u*x + 8 - 28 = 3*v. Which is greater: s or v?
v
Suppose -5*s - 3 + 28 = 0. Suppose -k + n - s = 3*k, -4*n = 2*k - 2. Which is smaller: 2/19 or k?
k
Let z be (-18 - -25) + 14/(-1). Is -11 less than or equal to z?
True
Let x be 82/(-4) - (-3)/(-2). Let f be (-6)/(-8)*(-4464)/162. Is f less than x?
False
Suppose 4*x = m + x + 14, 0 = 2*m + 2*x - 12. Which is smaller: 22/73 or m?
22/73
Let h be (-1266)/(-6230) - (-82)/(-410). Is h >= 1?
False
Let o = -90.71 - 0.29. Let m = 108 + o. Which is smaller: m or -3/5?
-3/5
Let d = 228 + -153. Which is smaller: 0 or d?
0
Let m = 1 + -9. Let f = m + 6. Let i = -3 - f. Is i greater than 1.2?
False
Let d be (15/2 - 5)*8/(-5). Let f be (-8)/(-3)*(-42)/d. Which is greater: 27 or f?
f
Let c = 5 + -1. Let i be 35/(-42) - (-2 + (-38)/(-12)). Is i at most as big as c?
True
Let q(c) = 4*c - 2*c - c**3 - 15 + 0 + 0*c + 10*c**2. Let g be q(10). Suppose -g*d + 5 = 20. Is d less than -3?
False
Suppose 3*q - 7 + 1 = 0. Let s(h) = h**2 - 15*h + 16. Let n be s(14). Let z be n + 0 - (-10)/20. Is q at least as big as z?
False
Suppose 3*m + 0*s + 2*s = -101, 0 = -2*m - s - 69. Which is smaller: 0 or m?
m
Let j = -20 - -26. Suppose 0 = -8*q + 10*q - 12. Let f be q/(-18) + 2/(-12). Are j and f nonequal?
True
Let l be -54 + 48 + (-9)/(-30)*-86. Is -32 less than l?
True
Let l be (-1 + -174)*28/(-2030). Is l <= 1?
False
Suppose -5*x + 41 = -2*b, 0*b - x = b + 3. Let w = -4854045/425458 + -2/19339. Let h = w - -43/11. Is b at most as big as h?
True
Let x be 6*((-5)/(-3) + -3). Let d(y) = y**3 + 9*y**2 + 20*y + 13. Let v be d(-6). Which is smaller: v or x?
x
Let o be 2 + 4/1 + 746/(-126). Which is smaller: 0 or o?
0
Suppose -2*t + 3 + 27 = 0. Suppose -78 + 85 = -7*y. Which is bigger: y or t?
t
Let h = 1737 + -3543/2. Let g = -2065 + 2029. Do g and h have different values?
True
Let o = -21264 + 21253.941. Let s = -0.059 - o. Which is greater: s or 2?
s
Let m(k) = k**3 - 12*k**2 + 10*k + 114. Let s be m(10). Which is bigger: 20 or s?
20
Suppose -3*s - 16 = -h, 5*h + 3*s - 4 - 4 = 0. Which is smaller: h or 9/29?
9/29
Suppose 0 = -5*l - 89 - 146. Let c = -23 - l. Let m be 2/(-6) - 88/c. Which is smaller: m or -2?
m
Let a = -48/7 + 45/7. Let g(b) = b. Let p(v) = -v + 1. Let t(z) = 4*g(z) + 5*p(z). Let f be t(4). Is f >= a?
True
Let q(o) = o**3 - 3*o**2 + 2*o - 4. Let s be q(3). Let n be -2 + (3 + 2 - -1). Suppose 3*u - 6*u - 1 = -5*b, n*b - 20 = -4*u. Which is smaller: s or u?
s
Suppose 0 = -3*r + 2*a - 1, -1 = 2*r + 2*a + 13. Let s be (-2)/r + 10/(-6). Let o(y) = -y**2 + 6*y + 70. Let v be o(-6). Which is greater: s or v?
s
Let m = 19 - -9. Let j = 27.9 - m. Is 4/25 >= j?
True
Let w = 3.93 - 4.2. Let l = w + 0.27. Let p = 2/295 + -616/3835. Is p > l?
False
Let r = 3/4 - 1/8. Let f = 5.1 - 5. Is f <= r?
True
Let l(g) = 70*g + 143. Let r be l(-2). Is r < 0.66?
False
Let p(i) = i**2 - 4*i + 5. Let b be p(4). Suppose -48*x + 44*x - 220 = 0. Let j = 60 + x. Is b <= j?
True
Let i(f) = 7*f - 4. Let u be i(2). Let q be (0 - u)/((-4)/8). Which is greater: q or 19?
q
Let v = 11 - 9.6. Let r = 2.4 - v. Which is smaller: r or -2/5?
-2/5
Let l = 723 + -723.06. Is -0.64 > l?
False
Let q(z) = -z**2 + 7*z - 10. Let i be (-2 - -3) + (8 - 4). Let n be q(i). Is n at most -16/11?
False
Suppose -3*p + p + 56 = 0. Let i = -175/4 - -43. Is i != p?
True
Let a(o) = o**3 - o**2 - 2*o + 3. Let f be a(0). Let i be 5*(f - (-33)/(-15)). Suppose -3 = i*d - 3*d. Is d greater than or equal to -3?
True
Let a be 52/(20/5) + -2. Suppose 5*i = -a*i. Which is smaller: 2/51 or i?
i
Let l(k) = 2*k + 1. Let c be l(1). Let u be 11/69 + (-1)/c. Are -1 and u equal?
False
Let c be (-4)/6 + 2/3. Let b be -2 + (-560)/(-252) + 7/(-30). Is c less than b?
False
Let y = -0.035 - -0.052. Let q = -1.983 - y. Is 2/5 greater than q?
True
Suppose -2*u + 5*u - 3*w = -18, -u = -2*w + 2. Is u at most as big as -12?
False
Let i be ((-4)/(-8) + (-3)/6)/2. Is i greater than or equal to 199?
False
Suppose 3 = -p + 11. Let v be (-16)/(-12)*(-108)/p. Let m = -18 - v. Which is bigger: -8/7 or m?
m
Let f(p) = -5*p**2 + 9*p + 8. Let g be f(-3). Is g greater than or equal to -1?
False
Let b = 671 - 4705/7. Which is smaller: 0.05 or b?
b
Let p be -8 - -2*6/4. Let b = -5927/872 - -46/109. Is b != p?
True
Let m(w) = 6*w**3 - 7*w. Let f be m(5). Let b be f/1095 - (-4)/(-6). Let q = b - -367/146. Is q less than 3?
True
Suppose 21*k - 469 - 14 = 0. Is -3 <= k?
True
Let g be 37/24 - (129/24 - 5). Suppose 2*f - 4*n - 12 = 0, 3*f - 78 + 16 = -5*n. Let x be (-4)/10 - f/(-10). Which is greater: g or x?
g
Suppose 11*q + 6277 = 1008. Which is smaller: q or -477?
q
Suppose -4*b + 0 = 4*f + 16, f - 5*b = 20. Let j be 40/(-12) + 3 + (-12)/(-36). Is j bigger than f?
False
Let n = 4000 + -19998/5. Suppose 0*f + f = -2*z - 5, 2*f + 10 = -z. Which is smaller: n or z?
z
Let t = 159.05 - 159. Let p = -22.96 - -23. Is t less than or equal to p?
False
Let a(h) = h**3 + 9*h**2 + 14*h + 3. Suppose 49 = -16*u - 63. Let m be a(u). Is 5 at least as big as m?
True
Let c be 182/(-9) - 2/(-9). Suppose 2*x + 130 = -11*x. Let q be x/35 - c/21. Is q smaller than -0.06?
False
Let b = 2 - -1. Let g be b/2 - 228/24. Which is smaller: -9 or g?
-9
Suppose 5*n = -3*g - 4 - 3, 0 = 5*g + 4*n + 3. Let d be 1*(-86 + -7 + 4). Which is greater: d or g?
g
Suppose -7 = 2*s + 17. Let f = -19 - s. Let x = f - -6. Which is bigger: -3/4 or x?
-3/4
Suppose -4*c + 4 = -4*w, 4*c + 58 = -4*w + 70. Which is smaller: w or -7/411?
-7/411
Let w be 2/8 - (1 + 28/(-16)). Is w <= -17/8?
False
Let m = -40592/41 - -990. Let w(g) = -2*g + 2. Let v be w(2). Let y be 1 - (2 - 2 - v). Do m and y have different values?
True
Suppose -y + 14 + 4 = 0. Let w be ((-1)/3)/((-6)/y). Suppose 2*a - w = 7. Which is smaller: a or 14/5?
14/5
Let t = -119 + 17. Let r = 102.1 + t. Let n = -827/1881 - 1/209. Is r greater than or equal to n?
True
Let b be (-2)/11 + (-707)/(-77). Let z be b + -11 + (-6)/(-4). Suppose 8 = -7*k + 5*k. Is k > z?
False
Suppose -4*c + 9 = 4*m + m, 4*c - 21 = -m. Let p be (c/(-8))/(11/176). 