t o = 3 + 2. Is v < o?
True
Suppose d = 2 + 18. Suppose -11*j + 15*j - d = 0. Is j at least as big as 6?
False
Let x be 2/(-8)*(-20)/(-15). Does -2/3 = x?
False
Let y(x) = 14*x**2 + x - 1. Let r be y(1). Suppose -10 = 2*z - 2*h, -5*h + 39 = r. Suppose 0*s - s - 1 = -2*n, s = -5*n + 6. Is z at most as big as n?
True
Let l = 0 - 4. Let y be 2 - 0 - (-9)/l. Let s be (-27)/108*(4 - 0). Which is smaller: y or s?
s
Suppose 2*i = -2*i. Let v = -2 - i. Is -2/3 at least v?
True
Suppose 0*i - 1 = -i + 4*g, -3*i + 3 = -2*g. Suppose -3 + 6 = -l. Let k = -4 - l. Which is smaller: i or k?
k
Let j(g) = g**3 + 2*g**2 - 3*g. Let c(o) = -o - 8. Let p be c(-5). Let v be j(p). Which is bigger: -2 or v?
v
Let g = 10 + -10. Suppose g*l = 3*l - 9. Which is smaller: l or 10/3?
l
Suppose -8*l + 132 = 4. Is 17 at least l?
True
Let m = 498 + -3492/7. Which is smaller: m or -2?
-2
Suppose r + 3*r - 4 = 4*g, -3*g + 5*r = 9. Which is smaller: g or -1/10?
-1/10
Let q = 18845/33 + -571. Which is bigger: 1 or q?
1
Let j = 1.65 - -0.15. Let c = j + -1.5. Which is greater: 0 or c?
c
Suppose -2*y = 66 - 66. Is y >= 2/175?
False
Let b = 62 - 247/4. Do -6 and b have the same value?
False
Let n be 32/6*(-3)/(-2). Suppose -4*t + 2 = -2*x - 12, -4*x - t + n = 0. Suppose 3*g + 0*g = 0. Which is greater: g or x?
x
Let i = 1.6 + -7.6. Which is greater: -3 or i?
-3
Let y = 12.5 + -12.5. Do -2/3 and y have the same value?
False
Let q(x) = x**3 + 1. Let w be q(-2). Let y(d) = -d - 10. Let i be y(w). Do -2 and i have the same value?
False
Let d = 3 + -2.92. Let s = d - 0.28. Which is bigger: -0.1 or s?
-0.1
Let r(h) = 12*h**2 + 2*h + 1. Let k be r(-1). Let c be (1*25)/(28/(-12)). Let t = k + c. Which is smaller: t or 0?
0
Let j = -4 + 8. Let i(k) = -k**2 - 6*k + 6. Let x be i(-6). Let q = 8 - x. Are q and j nonequal?
True
Let h = -121/2 - -59. Let v = 1 - -3. Let a = v + -2. Is h <= a?
True
Let m = 38 - 56. Is -18 bigger than m?
False
Let o = 73 + -514/7. Let u = -5/57 + 8/19. Is u > o?
True
Suppose -5*t - 2*j + 30 = -0*j, 0 = t + 2*j - 14. Which is bigger: 5 or t?
5
Let f be 1/2 - 572/(-8). Is 71 not equal to f?
True
Suppose -4*w - 3*r + 6*r = -23, 8 = w - 3*r. Suppose 0 = -2*o + w - 3. Which is smaller: o or -1/16?
-1/16
Suppose 4*x = 7*x + 123. Let s be 4/(96/(-9))*110. Let f = x - s. Is 0 at least f?
False
Suppose 0 = -3*f + 2*f + 2. Is f less than 11/5?
True
Let m = -70 - -56. Is -15 bigger than m?
False
Let z = -18 + 20. Let n(u) = -u**3 - 5*u**2 - u - 6. Let y be n(-5). Which is smaller: y or z?
y
Let w = -0.53 + 1.41. Let o = w - -0.02. Let r = o - 1. Is r greater than or equal to -1/6?
True
Suppose 8 = u + u. Suppose 2*m = p, u*p = 2*m - 4*m. Let l be (0 - (2 - 1))*p. Are -1/5 and l equal?
False
Let q = -24533/56550 - 3/1450. Let f = q + -3/13. Which is greater: f or -1?
f
Let p = 37 - 39. Is -19 <= p?
True
Suppose -7*w + 3*w = -2*b + 14, 4*b - 14 = w. Which is smaller: -1 or w?
w
Let g = 0.41 - 0.01. Which is greater: -3 or g?
g
Let z(q) = q**2 + 7*q. Let p be z(-7). Suppose -4*f + 1 + 35 = p. Suppose -4*l = 5*y - 12, -4*y - 3*l = -3*y - f. Do 0.1 and y have the same value?
False
Let i = 16 - 27. Let v = i - -5. Let q(f) = -f - 5. Let m be q(-4). Which is smaller: m or v?
v
Suppose -5 = 5*k, -3*k - 1 = -5*i + 2. Suppose -4*c - 3*s - 2*s + 27 = 0, 0 = -4*s + 12. Suppose -c*v = -i*v. Which is greater: 2/3 or v?
2/3
Suppose 0 = -5*r + 3*m + 10, 4*r + 0 + 14 = -2*m. Which is greater: 2/29 or r?
2/29
Let j be ((-24)/30)/(-1)*(-10)/(-1). Are 7 and j nonequal?
True
Let b = -2262/7 - -647/2. Let f be (-2)/(-14)*(0 - 6). Let y = b + f. Is y less than 0?
True
Let u be ((-2)/(-4))/(1/(-2)). Let w be (3*u)/(0 + 1). Which is smaller: w or -9/5?
w
Let l(n) = -2*n + 12. Let k be l(9). Which is bigger: k or -5?
-5
Let u = -191983/52620 + -4/2631. Let y = -13/4 - u. Let b = -11 - -8. Is b equal to y?
False
Let s be 10/(-60) - 2/(-12). Is s > -10/7?
True
Suppose -3*s = -13 - 5. Let b be (1/(s/(-3)))/(-1). Suppose 3*q = -2*q - 20. Which is smaller: q or b?
q
Suppose 0 = -v + 1. Is v bigger than 12/7?
False
Let k = -2/361 - 1055/5054. Which is smaller: 1 or k?
k
Let c = -4 + 4. Suppose d + 0 - 1 = c. Suppose 3*s - 4*s = d. Is -1/5 at most s?
False
Let a = -62/55 + 8/11. Is -2/7 smaller than a?
False
Let j = 12 - 8. Suppose -j*i = -23 + 3. Let c be (0 + 0)/(i/(-5)). Which is bigger: -1 or c?
c
Let j = -0.9 + 0.8. Let q = -1.1 - j. Are q and -1/8 unequal?
True
Suppose -3 = -3*z + 6*z. Let k be z*(34/(-16) + 2). Let j = k + 5/24. Is j greater than 1?
False
Let x = 101/290 + 3/58. Let q(r) = -r**3 - 5*r**2 - 5*r - 1. Let p be q(-4). Suppose 0 = -b + 3*c + 6, p*b + 0*c = -2*c - 15. Is x greater than b?
True
Suppose i + 25 = -4*b + 9, -12 = 3*b - 2*i. Is b < -4?
False
Let p = 0.7 + -0.3. Let f = -25.4 - -25. Let x = p + f. Which is greater: x or -2?
x
Suppose 0 = 14*y - 11*y + 3. Is 3 less than or equal to y?
False
Let x = 2.05 + -0.05. Which is greater: x or -12?
x
Let l be -5 - -7 - -3*1. Let y be (-31)/l + 1/5. Let t be 5 - 0*(-2)/y. Is t at least as big as 2?
True
Let t = -0.51 + -11.49. Is 8 greater than or equal to t?
True
Suppose -2*q = -2*z + 158, 4*z - 3*q = -z + 403. Let m = 505/6 - z. Which is bigger: m or 1?
m
Let s = -2.8 + 0.8. Let q = -1.8 - s. Does q = -1?
False
Let a = 6 - 9. Let b = a + 2.9. Which is smaller: 3 or b?
b
Let d = -10/9 - -67/36. Which is bigger: 2 or d?
2
Let q be (2 + 2 + -4)/1. Which is smaller: 2/9 or q?
q
Suppose 0 = -r - 0*r. Which is smaller: 1/2 or r?
r
Let m = -0.2 - -0.3. Let c = 72 - 75. Which is greater: m or c?
m
Let f = 11 + -10. Is 1/4 < f?
True
Let d = -18/17 - -555/476. Which is smaller: 1 or d?
d
Let v be -10 + 7 + (-37)/(-12). Which is smaller: -4 or v?
-4
Let h = 8 - 5. Let n(u) = 2*u**h - 3*u**3 + 4 - 6*u**2 + 0*u**2. Let c be n(-6). Is c at least 4?
True
Let a = -8 + 7.7. Let h = 7.3 + -7. Let r = h + a. Is 1 greater than or equal to r?
True
Suppose 2*d + 3*d = -45. Let a = d - -13. Which is smaller: a or 3?
3
Suppose 10*s - 5*s = 5. Is 8/5 != s?
True
Suppose 3*t - 296 = 4*t. Let k = -1488/5 - t. Let i be 48/(-360) - (-28)/(-15). Which is smaller: i or k?
i
Suppose -a + 16 = 2*l, 5*l - 25 = 2*l - 2*a. Let r be 0 + l + 2/2. Are 7 and r unequal?
True
Let r = 2 - 3. Let u be (r/(-4))/((-5)/20). Which is bigger: u or 0?
0
Let k be -1 - (33/(-10) + 2). Suppose -1 = 2*a - 21. Let m = a + -10. Which is greater: k or m?
k
Let b be 4/(-8)*-2*1. Is 3/10 less than b?
True
Let y(x) = 3*x**2 - 5*x + 1. Let u(n) = 7*n**2 - 11*n + 1. Let o(l) = -2*u(l) + 5*y(l). Let j be o(2). Which is greater: j or 2/7?
j
Let f be 8/106*5/(-4). Let j = 157/583 - f. Which is bigger: j or 0?
j
Suppose -5*d + 4 = -16. Suppose 24 + d = 4*c. Suppose 0 = 4*p - c - 1. Which is smaller: p or 1?
1
Suppose -5*g + 7*l + 17 = 3*l, -5*l - 15 = 0. Let t be 8/(-18)*1/(-4). Are t and g nonequal?
True
Let x be -2 - (3 + 0/(-2)). Suppose 0*s + 5*s + 25 = 0. Is x smaller than s?
False
Suppose 5*g - 22 = -4*j, 4*g = j - 0*j + 5. Let o = 1261/5 + -251. Which is smaller: g or o?
o
Let f = 13 - 12. Let j be (-2)/4*(f + -1). Which is bigger: j or 2/5?
2/5
Suppose 7 - 22 = n - 2*t, 0 = -3*n + 3*t - 36. Is -6 at least as big as n?
True
Suppose 4*p - 2*p + 24 = 0. Let v be (p/56)/(9/12). Suppose 0 = 5*n + s - 5 - 3, 2*s = -n + 7. Is v smaller than n?
True
Let q(i) = i**2 + 10*i - 2. Let p be q(-8). Is p <= -19?
False
Let q be (-120)/126 - 2/(-3). Let m = 13 + -17. Is q > m?
True
Let j = 6 + -9. Let b(t) = -t**2 - 3*t - 4. Let s be b(-3). Is j smaller than s?
False
Let k be 15*10/(-69) + 2. Let b = k + 63/230. Which is smaller: -1 or b?
-1
Let f = 21.2 + -19. Let t = f + -2.1. Is 1/16 <= t?
True
Suppose 5*d - 13 - 17 = 0. Let x = 2 - d. Is x < -4?
False
Let z = -15 + 16. Is z less than 2?
True
Let n = -1649/4 + 417. Is 4 at least n?
False
Suppose 5*o + 41 = 4*a, -5*o = -a + 31 - 2. Suppose y - 3*j = -a, -6 = 3*y + 2*j + 6. Which is smaller: y or -6?
-6
Let r be (-9)/(-4) - (-3)/(-12). Let a(b) = -3*b - 5. Let d be a(-7). Suppose -i - 3*n - 1 = -13, 0 = -4*n + d. Which is greater: i or r?
r
Suppose 2*t - m + 11 = -0*t, 26 = -2*t + 4*m. Let i = -3 - t. Let y = -2 + 2. Is y at least i?
True
Let w = 77.8 - 78. Is -15 bigger than w?
False
Let a be (-15 + 20)*(-4)/70. Suppose 0 = -g + 4 + 18. Let p be 0 - ((-12)/