 + -21. Let s be (-7)/(-3) - 2/(-3). Is s greater than o?
True
Let o = -3 + 3. Let m = 90.7 - 92. Is o less than or equal to m?
False
Let p = -4 - -15. Suppose 2*c - 17 = p. Suppose 3*q = 4*b - 3*b - 25, -3*b = 5*q - 19. Is b > c?
False
Suppose -369*u = -379*u. Let i = 917/594 + -38/27. Is u < i?
True
Let c be 2*5/2*(-8)/(-20). Suppose 4*x = 2*m + 3*m - 49, m - 23 = 3*x. Let a be x/(-27) + (-17)/(-18). Which is bigger: a or c?
c
Suppose 4*i - 3*b = 2*b - 1164, -3*b + 291 = -i. Do -292 and i have the same value?
False
Let k = 2 - 0. Suppose k - 3 = -u. Let n(t) = -3*t**2. Let c be n(u). Are -2 and c non-equal?
True
Let c = 5613/910 - 251/26. Let f = -591/35 - c. Do f and -14 have the same value?
False
Suppose 0 = -u + 8 - 42. Let p = 34 + u. Which is greater: -8/19 or p?
p
Let q be (-2*(9 + -2))/1. Let f be (2/(-1))/(6 + q)*-1. Let y = 0.4 + -0.7. Is y < f?
True
Suppose 0*m = 2*m. Suppose 0*p - 3 = q - 2*p, 2*p - 8 = m. Suppose -g = q*x + g - 14, 2*g + 2 = -x. Are x and 18/7 equal?
False
Let m = 296 + -299. Are 3 and m non-equal?
True
Let w = -8 - -34. Let n = -25 + w. Which is bigger: n or -2?
n
Let b = 1.92 + 0.08. Let y = -1 + -3. Let v = b + y. Which is smaller: v or 0.05?
v
Let o be (1/((-18)/18780))/((-8)/12). Which is greater: o or 1566?
1566
Let g(a) = a**2 - 5*a - 1. Let o be g(-2). Let z = 33 + -19. Is z at most as big as o?
False
Let r = 7596/31 + -245. Let x = 0.3 - 0.3. Which is smaller: x or r?
x
Let p = 1 + 3. Suppose 0*l - p*l = -b - 12, -4*b = 16. Suppose 0 = 3*w + 6, 2*y - l*w = -6*w - 8. Is y >= 1?
False
Let h(z) = -z**2 + 56*z - 209. Let q be h(4). Is 2/2565 not equal to q?
True
Let f be (-3752)/(-52) + 42/(-273). Which is smaller: f or 70?
70
Let v(b) = -b + 10. Let l be v(5). Let t(a) = a + 1. Let u(g) = -g**2 + 5*g - 5. Let c(p) = -t(p) - u(p). Let s be c(6). Is s greater than l?
False
Let s be -4 - 801/(-15) - (-6)/(-15). Let r = 100 + -50. Which is smaller: s or r?
s
Let t = -22816345/130284 + 311/2961. Let z = -175 - t. Which is smaller: z or 0?
0
Suppose 0 = k + p + 19, -53 = 6*k - 3*k - p. Let b = k - -29. Let x = b - 10. Is 0.3 > x?
False
Let d be (21/(-6) - -3)*2. Let r be (-1)/2 + d + 1168/352. Which is smaller: 1 or r?
1
Let h be (-41 - -11)*4/(-10). Let z = -10 + 21. Let g = z - h. Is g > -1/30?
False
Let n = -14.91 + 15. Let b = -164.2 - -167.2. Which is bigger: b or n?
b
Suppose 2*u = -3*u + 2*i + 8, -4*u - 5*i = -13. Suppose -5*q - 2*x = 2*x - 47, 3*x = q + u. Let g be 3 + 3*(-10)/(-12). Which is greater: g or q?
q
Let i = 3 + -19. Let h = -15.87 - i. Which is bigger: -0.1 or h?
h
Suppose -5*t + g = -28, -4*t + 6*g = 5*g - 22. Let l be t/(-2) + 17 + -13. Which is greater: -0.1 or l?
l
Let n = -15/4 + 4. Suppose -3*t + 0*t = o - 13, -4*t + 4*o + 12 = 0. Let b = t - 5. Which is bigger: n or b?
n
Let v be (5/10)/(2 - (-92)/(-48)). Suppose -1 + v = -5*m. Which is greater: 25/3 or m?
25/3
Let x be 2/(-15)*(-25)/20. Suppose -1 = y + 4, -2*y - 12 = -s. Suppose g + 9 = -s*g. Do g and x have different values?
True
Suppose 76 = 4*m + 5*s, -3*m = -5*m + s + 24. Is 14 at least m?
True
Suppose 15*r + 3*y = 20*r - 3, 0 = y + 1. Which is bigger: r or -102/83?
r
Let l = 4398 - 4397.911. Suppose -v - 5*t - 11 = 3*v, -3*v = 2*t + 3. Which is smaller: v or l?
l
Let f = -6 + 16. Let c be 196/f + 3/(-5). Are 20 and c equal?
False
Let n = 2.494 + -59.444. Let d = -57 - n. Is d < -0.2?
False
Let n be (-3)/6*(1770 + 8). Let c = n + 11549/13. Which is bigger: 0 or c?
0
Suppose o + 22 = 5*n, -5*n + 0 + 19 = -2*o. Let j be (-328)/(-11) + (-28)/(-154). Suppose -3 = -k - 1, -4*u - 5*k = -j. Is n less than u?
False
Let o be ((-22)/(-187))/((-4)/6). Is -1 <= o?
True
Suppose 0 = -4*n - 3*j - 794 + 4995, -2093 = -2*n + j. Do n and 1049 have the same value?
False
Let l = -689 - -686. Which is greater: -264 or l?
l
Let n = 2.3 - 2.12. Let b = 0.82 + n. Let w = -5 + b. Is -1/3 smaller than w?
False
Let i = -43 - -49. Which is bigger: -0.08 or i?
i
Suppose 5*u - 214 - 266 = 0. Which is bigger: -1 or u?
u
Let s = -3.5834 - 0.4166. Suppose -6*o + 2*o = -4. Which is bigger: o or s?
o
Let k be -4 - ((-430)/105 - 0). Which is greater: k or 1?
1
Let p be (-1)/(3 - (-28)/(-8)). Suppose -2 = 3*k + 4*s, 0 = -p*k - 4*s - 2 - 2. Let f be -1 + (-3)/2 + k. Is 3 > f?
True
Let q = 241 + -222. Is q < 20?
True
Let q = -166790/159 + 1049. Which is smaller: q or -0.1?
-0.1
Let m be -90*(-34)/3366*(-11)/(-2). Let k be 6/(-6*1/(-44)). Let d be k/10 + 2/(-5). Is d < m?
True
Let o be ((-72)/(-96))/((-3)/(-4)). Is o equal to 2/1111?
False
Let d = 0 - -5. Suppose 0 = -d*v + 8*v - 18. Let m be (-2 - -2) + 3/v. Do m and -9 have different values?
True
Let p = -3.1777 - 0.1223. Does p = -0.2?
False
Let q(s) = 48*s**2 + 7*s + 9. Let l be q(-1). Is 52 bigger than l?
True
Let r(o) = -o**2 + 3*o + 10. Let a be r(4). Let g = -7 + a. Is -2/27 not equal to g?
True
Let d be -4*((-9)/78)/3. Let v be (1 - (-2 + 0))*1. Let x be 0*(3/v)/2. Is x at least as big as d?
False
Let k be (-6)/6 + (-5)/(-1). Let m be 1/k - (-423)/1404. Let s = 2/39 - m. Is 0.03 bigger than s?
True
Let b be (-55)/4 - (-4)/(-16). Let y be (15 + -8)*(-1 + 5). Let d be y/(-5) - b/(-35). Which is smaller: d or -5?
d
Suppose -48*x - 70 = 5*f - 49*x, -100 = 5*f + 5*x. Are f and -9 unequal?
True
Suppose 5*f - 25 = -5*v, -2*f = v + 3*v - 12. Let c(k) = -523*k - 5*k**2 + 4*k**2 - 31 + 512*k. Let q be c(-6). Which is greater: q or v?
v
Suppose 0 = -2*o - 3*o - 3*h + 7, 2*o + 14 = 3*h. Let c = -97 + 2617/27. Is o < c?
True
Let y(r) = 15*r - 421. Let g be y(28). Is -15/98 > g?
True
Let n = 16 + -15. Let w be (1/n)/(2 - 1). Let o be (-1)/(-3) - 14/45. Is w bigger than o?
True
Let t(r) = 3*r**2 + 11*r + 1. Let y be t(-3). Is y < -17?
False
Let t be -1 + 5 + 9 + -5. Suppose -n + 4*w - 17 = 0, 0 = -2*n - 0*w - w + 2. Let z be n/2*t/4. Is z less than or equal to -4/13?
True
Suppose 0*u + 2*s - 5 = -3*u, 3*u = 2*s + 25. Suppose 11 = -2*b + u*q, -3*b + q + 13 = -3. Is 11 > b?
True
Suppose -2*l + 5*l = -228. Let u = 38 + l. Is -39 <= u?
True
Let z = 167767/95 + -1766. Is 1 < z?
False
Suppose 0 = -2*m + 3*m - 3*q + 1, 0 = 2*m - 4*q - 8. Suppose -3*p + m = -h, -3*p + 103 - 11 = -4*h. Is h greater than or equal to -25?
False
Let j = 12.21 + 36.79. Which is smaller: j or -1?
-1
Suppose -1346 + 1288 = 2*z. Which is smaller: -37 or z?
-37
Let u(y) = -3*y + 5. Suppose 2*h = -4*i + 2, 4*h - 9*h = -5*i + 25. Let n be u(i). Is n at least 1/4?
False
Let q be 21/(-9) + 20/15. Which is smaller: q or 42?
q
Let q = 201 - 212.3. Let t = 3.7 - q. Let p = 12 - t. Which is smaller: -2/3 or p?
p
Let f = 75 - 79. Let p be (-71)/(-3) - f/3. Is 25 <= p?
True
Let n(w) = 2*w**3 + 15*w**2 - 48*w - 32. Let z be n(-13). Which is bigger: z or -1266?
-1266
Suppose 4*x = 5*x + 6. Let c = x + 7. Let f = -162/7 + 1472/63. Which is smaller: f or c?
f
Let u be 2/((0 - -2) + -4). Suppose 0 = 2*n - 5*n. Which is smaller: n or u?
u
Let w be 13/3 + (-6)/(-9). Suppose -10 = -3*n - 2*f, -1 = 2*n + 2*f - 5. Let g be (n - (-3 - -5)) + 2. Are g and w unequal?
True
Let t be 1/4*2*4. Suppose 0 = -0*g - g - 3*r + 12, 3*g + 5*r - 20 = 0. Suppose g = -14*m - 7*m. Which is bigger: m or t?
t
Suppose -5*i + 3*q = -10881, -1 + 3 = -q. Let w = -224023/103 + i. Which is greater: -2/5 or w?
w
Let s be 204/(-285) + 285/525 + (-2)/14. Suppose 2*g = -0*g - 2. Which is bigger: g or s?
s
Suppose -z - 6*z = 7. Which is smaller: z or 1/163?
z
Let k be 2/4*(-20)/260. Which is smaller: -0.1 or k?
-0.1
Suppose -5*g = 3*u - 12, -3*u + 12 = g - 4*g. Suppose -m - 4*m + 13 = -u*i, 5*m - 3*i - 16 = 0. Does m = 7?
False
Let i(q) = -2*q**2 + 14*q - 6. Let g = 77 - 71. Let o be i(g). Which is greater: o or 3?
o
Let t = -1247 + 304265/244. Let l = -1699/732 + t. Is -3 at least as big as l?
False
Let u be 12 + (4 - (-16)/(-1 + -1)). Let l(f) = 15*f - 20. Let p be l(u). Which is greater: 99 or p?
p
Suppose 0 = o - 5*o + 240. Suppose 3*n = 3*y - o, 0*y - 30 = 2*n + 3*y. Are -18 and n equal?
True
Let s be 51 + 1 - (-22)/11. Suppose -3*p + 4*v = -p - s, -125 = -3*p - 5*v. Suppose 10*z - p = 5*z. Are 8 and z non-equal?
True
Let x = 7 - 6.94. Let t = 0.14 + x. Let q = t - 1.2. Which is smaller: -2 or q?
-2
Suppose 33 = 15*q - 4*q. Is 3 <= q?
True
Let c = 9 + -7. Suppose 7*f - 2*f = -c*d + 35, d - 3*f = 1. 