9 greater than or equal to t?
False
Let x = -3/151 - -939/1661. Which is smaller: 2 or x?
x
Let y be (-10)/45 + (-68)/18. Let v be -4 - (-2)/4*-2. Which is smaller: v or y?
v
Suppose 11*x = 14*x - 54. Which is smaller: x or 2?
2
Let c be 1*-1 - 4/8*-2. Let z be (-1 + -1)*1/21. Which is smaller: z or c?
z
Suppose 2*p = 3*p - 29. Let m = p + -83/3. Suppose -8 = -a - 3*a. Which is greater: m or a?
a
Let p = -2/19 + 23/38. Let c = -0.84 + 0.5. Let k = c + 0.3. Which is smaller: p or k?
k
Let i = 1 + 1. Let b be (i/6)/(0 - 1). Let x = -1.8 - -2. Which is smaller: x or b?
b
Let p be -2 - 1 - (-1 + -2). Suppose -5*r + 4*x + 5 = p, 0*x = -x. Let n be r/2*(-3)/1. Is -1 greater than n?
True
Let a = 67/2 - 33. Suppose 0 = 3*n - 1 - 5. Let r be 1/n - (-3)/2. Which is smaller: a or r?
a
Let x = -65 - -91. Are x and 25 non-equal?
True
Let k = -52/15 + 14/5. Let u be ((-4)/6)/(2/6). Which is smaller: u or k?
u
Suppose 5*a = -5*n + 15, 2*n = 7*n + 2*a - 27. Let f be n*(19/615 + 0). Let i = f + -2/123. Which is smaller: i or -1?
-1
Let y(h) = h - 6. Let j be y(5). Let r be (j - (-2)/4)*-1. Let c = 10/7 + -27/14. Is r > c?
True
Let v = 0.85 + -1.25. Is -2 at least as big as v?
False
Let q(j) = -7*j. Let n be q(-4). Let l be ((-4)/3)/(n/18). Suppose -31*m - 44 = -9*m. Is m greater than l?
False
Suppose 9 + 42 = 3*p - q, 5*q - 51 = -3*p. Which is smaller: 16 or p?
16
Let o(c) = -c + 7. Let g be o(6). Let j = 1 - g. Let x = 0.25 - 0.55. Is x at least j?
False
Let u be 46/224 - 10/70. Which is greater: 0.1 or u?
0.1
Let h be (9/2)/(33/(-44)). Which is smaller: h or -8?
-8
Suppose 0 = -r + s + 5, 5*s + 14 - 4 = 2*r. Suppose 0 = -4*w - r*t + 16, 2*w + 5*t - 8 = 4*t. Suppose g + w = -g. Is -2 smaller than g?
False
Suppose -13*u - 54 = -10*u. Which is smaller: -17 or u?
u
Let b = -3 - -3. Let m be 2/((-40)/(-27)) + -2. Let t = m - -2/5. Which is smaller: t or b?
t
Let l = -13 + 22. Suppose -1 + 7 = -3*o, 5*i - o = 2. Do i and l have the same value?
False
Let m be (7/14)/((-6)/4). Are 0 and m nonequal?
True
Let b = 74 - 445/6. Let c = 1 + 1. Suppose -3*r - 2*d - 23 = 2*d, -c*d = -4*r + 6. Is r greater than b?
False
Let y(h) = -h**2 - 6*h - 6. Let c be y(-5). Let w be 2/(((-2)/(-3))/1). Let o be (6/21)/((-2)/w). Which is greater: c or o?
o
Let w(z) = -z**3 + 14*z**2 + 15*z - 2. Let y be w(15). Let r be (-3 - 3)*1/2. Is r less than y?
True
Suppose 4*p - 3*d = -7*d - 8, -3*p + 4*d + 29 = 0. Suppose -5*k + 2 = -p. Let g be k/(-3)*(-6 + 0). Is 3 at least as big as g?
True
Let b = -4 + 22. Let l be 1*(-2 + 9) - -3. Let d be l/204 + (-3)/b. Are 1 and d nonequal?
True
Let l(c) = 0*c**3 + 1 - 2*c**2 - 3*c**2 + c**3 + 4*c**2 - 3*c. Let n be l(2). Let j be 0 + (n - (0 + 3)). Which is smaller: j or -2?
j
Suppose -4*f = 38 - 26. Do f and -5 have the same value?
False
Let o = 2445/11 + -222. Which is greater: 0 or o?
o
Let x = -56 + 33. Is -22 at least as big as x?
True
Let s = -77 + 617/8. Is s >= -0.08?
True
Let b = -239366/7 + 34089. Let r = 106 + b. Suppose 3*q = -5*q - 8. Which is smaller: q or r?
q
Suppose 3*c = -5*z - 6 + 23, 5 = c + z. Suppose -7*i + 2*i + 20 = 5*g, -c*i = 20. Is g <= 8?
False
Let d be (-2)/(-3) - (1 + 1/(-3)). Which is smaller: 1/56 or d?
d
Let q be (1 + -3 + 1)*(15 - 11). Let t = -14 + 9. Is q >= t?
True
Let y = 487 - 296. Let g = y - 3437/18. Let s = -1 - 0. Are g and s equal?
False
Let x = 7 - 12. Let r(i) = 3 + 2*i + 3 - i. Let a be r(x). Which is greater: 0 or a?
a
Suppose -18*a = -199 + 37. Is a greater than or equal to 9?
True
Let f be (-1 - -1) + 17/(-15) - -1. Is f bigger than 0.4?
False
Suppose 3*l = 2*x - 4, -6*x - 5*l - 12 = -4*x. Let z = 49/2556 - 2620439/28116. Let h = -93 - z. Is h greater than or equal to x?
True
Let l(n) = -n**2 + 7*n - 9. Let h be l(6). Let u = -5 - h. Let w be (-3)/9*0 + u. Do 0 and w have different values?
True
Let f be 34/40 - (-2)/(-8). Let q = 4 + -3. Which is bigger: f or q?
q
Suppose 4*c + g + 2 = -3, 14 = -c + 4*g. Let j be c/4 - (-45)/66. Is 0 at least as big as j?
False
Let g = -69/10 + 641/90. Are g and -3 unequal?
True
Let d be (5/(-60)*3)/(0 + -1). Is 1 equal to d?
False
Let i = -8 - -7. Let q = i - -0.9. Let m = -3 - -3.1. Is q bigger than m?
False
Let y = -13 + 14. Let j be y/(-28) + (-1)/4. Which is greater: j or -1/3?
j
Let i be 4/(80/28) + -1. Do -1 and i have the same value?
False
Suppose 3*y - 11 = -2*b, 0 = 5*b + 4*y - 17 - 7. Suppose 0 = i + b*i - 20. Suppose -5*d = -i*d. Which is smaller: d or -2/9?
-2/9
Let h = 55 - 55. Are h and 2/101 unequal?
True
Let f = 21 - 21.2. Are f and 1 equal?
False
Let y(i) = i**2 - 2*i + 1. Let t be y(0). Let v be (t - -2)/(9/6). Does 3 = v?
False
Let l = -137/3 - -46. Is l bigger than 0.05?
True
Let i(x) = -5*x - 5. Let q be i(7). Let v be (-10)/(-15)*6/q. Which is smaller: v or -1?
-1
Suppose s + 144 = b + b, 0 = -3*b - 5*s + 216. Is b less than or equal to 70?
False
Let g be 2/(4/(-48)*-4). Suppose -2*j = 4, -s - 3*j + 0 = g. Is s <= 4/13?
True
Let v be 18/15 - 1 - 124/(-5). Is 23 greater than or equal to v?
False
Let s = 6 + -5. Let w be 2/(-10) - 18/10. Let r be (w + s)*1*-3. Is 5 at least r?
True
Let t = 80/7 - 275/21. Are -3 and t nonequal?
True
Let v be 4 + (-146)/30 - -1. Let t be 5/(-3) - (1 - 2). Is t > v?
False
Let r be (-140)/84 + 104/3. Which is smaller: r or 35?
r
Let x(l) = -l + 21. Let a be x(11). Is 9 equal to a?
False
Suppose -4*g = -3*g - 1. Suppose -60 = -4*u - 0*u. Let o be 10/(-12)*u/50. Is o >= g?
False
Let r be (1 + 0)/(3/(-18)). Let v be ((-2)/r)/(3/54). Is v > 6?
False
Let o = 2.36 + 0.04. Which is bigger: 1 or o?
o
Suppose 3*d - 18 = -3*m, 4*d - 3*m = d. Suppose 4*o = -2*n + 8, -d*o + 3*n - 3 = -18. Is o equal to 3?
True
Let u = 1/1102 - 2265/67222. Which is smaller: 0 or u?
u
Let p = 1.4 - 7.4. Suppose 2*k + 2*k = -5*l + 41, k = -5*l + 29. Suppose 3*o + 14 = -2*r, r + l*o = -3*r - 24. Which is bigger: p or r?
r
Let q = 0 - 0.2. Let t = q - -1.2. Let x = -6.1 - -6. Which is bigger: t or x?
t
Let a(q) = -q - 2. Let u be a(-6). Suppose b - 3*b = -u. Does 2 = b?
True
Let p be 4/(0 + 2) + -1. Let a = -52618784/303 + 173660. Let s = 2/101 + a. Which is greater: s or p?
p
Let v = 0.64 + -0.04. Let r = v - 0.7. Is 0.2 >= r?
True
Suppose 2*o - 3*o = -5*c + 233, -c + 3 = 0. Let k be o/11 - (-4)/(-22). Let m be (-32)/k - 4/2. Which is smaller: m or 1/4?
m
Let m = -4.04 + 0.04. Let q = 1 - m. Let d = q + -8. Is d at most as big as 1?
True
Let t(o) = o**3 + 5*o**2 - 7*o - 3. Let f be t(-6). Do f and 2 have the same value?
False
Suppose -4*l - 20 = -4*w, 2*w + 52 = -4*l - 2*w. Which is smaller: l or -10?
-10
Suppose -4*p + 3*p = 0. Let x = -17 - -22. Suppose a + g = -0 + 5, x*a + 4*g - 21 = 0. Which is bigger: a or p?
a
Suppose 5*a = o + 7 + 8, -5*a = 5*o - 45. Let n = 2 - a. Are -2 and n equal?
True
Let a = -7.6 - -8. Suppose -2*n - 4 = -10. Suppose 2*b - 5*r - 2 = -19, 0 = n*b + 5*r - 12. Which is smaller: b or a?
b
Let m be -6*2/(-42) - (-1)/(-28). Let f be (-2)/(-7) + 5/7. Is f < m?
False
Suppose 6*s = 8*s - 6. Is s <= 2?
False
Let h = -1 - -2. Let j be 64/15 + (-52)/13. Which is bigger: h or j?
h
Let z be (-10)/(-4) - 2/1. Suppose -4*k - 1 = x - 8, 0 = 2*k - 4*x - 8. Suppose -4*q = -k*u - 6, 2*q + 3*q = u + 9. Which is bigger: z or q?
q
Suppose 3*k - 3*c = -2*c + 44, -2*k + 11 = 3*c. Is k bigger than 13?
False
Let u be 14/18*(-3)/3. Let o = u - -71/45. Suppose 2*i = 3*m - 4, -4*i + 3*m = -m + 4. Which is greater: o or i?
i
Let i = -4 - -6. Let f = 0 - -0.3. Let c = 0.2 - f. Does c = i?
False
Suppose -5*g - 7 = -3*j, 0 = -3*j - 2 - 1. Let l(v) = v**3 - 7*v**2 + v - 5. Let i be l(7). Let u = i + g. Which is smaller: u or 1?
u
Let q = 0.3 - 0.2. Let f = 0.7 - 0.4. Which is smaller: q or f?
q
Let f = -3 + 4. Is -0.3 >= f?
False
Let d = 0.3 + -0.4. Suppose -3 = 4*i + l - 2*l, l - 2 = 3*i. Let g = -4 - i. Is g less than or equal to d?
True
Let p be (2 - (-37)/(-7)) + 3. Which is smaller: 0 or p?
p
Suppose -4*g + 10 = g. Suppose -3*i + 35 = 5*x, g*i + 0*i = -5*x + 25. Suppose -2*u = -7*u + i, -2*w = 5*u - 10. Which is smaller: w or 2/9?
w
Suppose -7*l + 5*l = 0. Which is smaller: 2/41 or l?
l
Let f = -0.308 - -0.008. Is f at most as big as 0.1?
True
Let a(m) = 33*m + 3. Let n be a(-3). Let w be (n/40)/((-2)/5). Do w and 6 have the same value?
True
Suppos