 m = w + q. Is m smaller than 2?
True
Suppose 0 = 2*u - 0*u - 8. Let l = 15/4 - u. Let x = -0.82 - -0.8. Which is smaller: x or l?
l
Let q be (2826/496 - 4) + (-3)/8. Is 0 equal to q?
False
Suppose -16*v = -1027 + 3027. Is v greater than -123?
False
Let g(q) = -q + 8. Let c be g(7). Let y be c + (0 + -3 - 1677). Let u = 11773/7 + y. Is u greater than or equal to 2?
True
Let c = -55 + 125. Let z = -69.59 + c. Let k = z - -0.09. Do 0.2 and k have the same value?
False
Let f = 184 - 168. Let i = -57 + 37. Let q = f + i. Which is greater: q or -16/3?
q
Let n(a) = -a**3 - 2*a**2 + 2*a + 6. Let d = 36 - 39. Let g be n(d). Is 8 less than g?
True
Let s = -448804/35 + 12820. Let d = s + 62/21. Which is smaller: -1 or d?
-1
Let c(q) = q**3 + 3*q**2 + 6*q + 132. Let n be c(-6). Let h(y) = y**3 + 4*y**2 + 4*y + 1. Let z be h(-3). Let t = -16 - z. Is t >= n?
False
Let s = -56 - -55. Let o be 1/10*(-40)/(-16). Which is smaller: s or o?
s
Suppose -2*s = -5*c - 3, -s + 5 + 10 = 2*c. Suppose 2*g - s = 1. Is 56/9 <= g?
False
Suppose -6*t + 26 = -2*t - 2*u, -4*t + u + 29 = 0. Suppose t = -2*a - 0*a. Let k be a/55*5/(-2). Is k != -1?
True
Let g(u) = u**3 - 3*u**2. Suppose -11 - 1 = -3*x. Let b be g(x). Suppose -m - 5*z + b = 0, 0 = -2*m + 4*z - 0 - 10. Is m != 6/23?
True
Let s(b) = b**2 - 13*b - 11. Let f be s(14). Suppose 2*a + 0*u = f*u - 10, 0 = a + 4*u - 17. Is -2 less than a?
True
Let g = -120 + 139. Which is smaller: g or 24?
g
Let n = 1150 + -10252/9. Is 10 smaller than n?
True
Suppose 3*q + 2*q = -j - 15, 2*q = -3*j + 7. Let f be 1/9 + 400/(-36). Let z(o) = o**3 + 10*o**2 - 10*o + 17. Let b be z(f). Is b <= j?
False
Suppose -2*g + 4*g + 32 = 0. Suppose 4*o - 16 = 4*k, -4*o = k - 6 - 0. Suppose -o*b - 32 = -0*b. Is g bigger than b?
False
Suppose 39 + 45 = -4*b + 4*l, -l = 3*b + 67. Let t be (12/9)/(b/36). Let r = t + 98/55. Is -1/3 >= r?
True
Let n = -0.4 - -0.2. Let c = 1 + -0.9. Is n bigger than c?
False
Suppose -b = 2*b - 3. Suppose -i - 2*h = -341, -i + 5*i - 4*h = 1388. Let j be (-8)/20 + 168/i. Is j at least b?
False
Let n = 922 - 28581/31. Let c = -1 - -0.9. Is c greater than n?
False
Let d = -0.015 + 0.895. Let g = -1 + d. Let s = g + 1.12. Are 0.2 and s unequal?
True
Let x be (40/15)/(34/6). Let v be 1/2*0/(-10). Which is greater: x or v?
x
Suppose 3*h = 4*d - 15, -4*d + 2*h = -3*d - 10. Let c be d - (2 - (-1 - -4)). Which is bigger: c or -3/22?
c
Let i = -29 - -22. Let y = i - -14. Suppose -y = q - 8. Which is greater: 13/2 or q?
13/2
Let x(z) = -6*z + 2. Let q be x(1). Suppose -5 + 1 = -4*r. Let s be (r/(-2)*5)/q. Which is smaller: s or 2?
s
Suppose 3*s = -9*s - 12. Are 0.202 and s non-equal?
True
Suppose -5*o + 2185 = 3*a, 4*o - 2*o - 860 = -4*a. Which is smaller: 441 or o?
o
Let k be (-814)/6 - (-4)/24. Let l = -140 - k. Suppose 3*w = -0*w - 12. Is l at most w?
True
Suppose 761 = 10*f - 6*f + q, 2*q = -4*f + 766. Is 1/2 > f?
False
Let j be (-4)/(67 - -5) - (-4)/(-24). Is j < -43?
False
Let w = 0 - 8. Let h = w + 11. Suppose -9 = -3*f + 3*c, -2*c - 3*c = -h*f + 15. Which is smaller: f or -0.1?
-0.1
Let w = 3.5887 + -3.56. Let p = 11.9313 + w. Let l = p - -0.04. Which is bigger: l or -2/3?
l
Let t be (3/(1 + 2))/((-235)/25). Which is greater: -1 or t?
t
Let m = 0.05 - 6.05. Let l = 56 - 7. Let g be (14/l)/((-8)/(-7)). Is m less than or equal to g?
True
Let a be (-192)/2*(-7 - 92/(-12)). Is -65 at least a?
False
Let b be (-2)/(-6) - (-3)/(-6). Let a(s) = s**2 - 12*s - 3. Let y be a(13). Suppose 3*o + 7 = y. Which is bigger: o or b?
o
Let x be 2 - (-4 + 1596/2). Let p = x + 3944/5. Which is bigger: -4 or p?
p
Let l be (-45)/9 + (-5)/(-1). Are 2/115 and l unequal?
True
Suppose 4*l - 4 = 4*s, s + 3 - 2 = -2*l. Let f be (l - -6)*(-2)/6. Is -1 bigger than f?
True
Let w be 9/(16 - (10 + -6)). Which is smaller: -95 or w?
-95
Let n be 38/(-8) + 6/8 - -29. Does n = 27?
False
Suppose 32*j + 19 = 19. Which is greater: 42/31 or j?
42/31
Suppose -9*x - 868 = -5*x. Which is smaller: -2 or x?
x
Let t be (-366)/(-120) - 25/20. Is 13 at most as big as t?
False
Suppose 15*n - 36 = -66. Which is bigger: n or -38/25?
-38/25
Let d = 859 - 859. Are d and 4 equal?
False
Suppose -9*b + 2 = -r - 12*b, 3*r + 4*b = -1. Is r > 19?
False
Suppose -g + 29 = -30. Let y = 59 - g. Does y = -2?
False
Suppose -32*z = -31*z - 66. Which is smaller: 69 or z?
z
Suppose 9*a - 56 = -20. Suppose -14 = -2*h + 10. Suppose 4*s = -4*l + h + 28, -5*s = -l - 20. Which is smaller: s or a?
a
Let j = -38 - -14. Let u be 2/(-8) - 6/j. Which is greater: u or -1/11?
u
Let w = 1.04 - 1.073. Let l = w - 13.967. Which is bigger: l or -1?
-1
Let c = -4 + 6. Let i(q) = q**2 + 40*q + 319. Let z be i(-11). Which is smaller: c or z?
z
Let p be ((-14)/(-49))/(96/(-28)). Do 17/5 and p have the same value?
False
Suppose 121 = 4*d + y, -5*y + 125 = -2*d + 6*d. Let i be 3/12 + d/8. Suppose 30 = i*c + c. Which is bigger: 7 or c?
7
Let l be (12299/(-28))/((-2)/8). Let q = l - 121235/69. Do q and -1 have the same value?
False
Suppose -2*l + 3*a + 4 = -4*l, 2*l - 4*a - 10 = 0. Let u = 83 + -55. Let y = u + -28.01. Which is smaller: y or l?
y
Let s = -32083174/7815 - -12316/3. Is s > 1?
False
Suppose 3*o - 21 = -3*x, -2*o + 3*o = 3*x - 5. Suppose -x*s + 5*c - 13 = 0, -3*s + 4*s - 3*c + 7 = 0. Is 5/23 greater than s?
True
Suppose 0 = 10*z - 46 + 6. Suppose 30 = -9*w + 7*w + z*x, 2*x = -2*w. Let b = 0.2 - 0. Is b >= w?
True
Let s(o) = o - 1. Let i be s(6). Suppose 0*v - 8 = 2*v - q, -i*v - 2*q - 29 = 0. Let l be 2/v + 85/(-100). Is l equal to -2?
False
Let c be (8/(-6))/((-4)/6). Suppose 0 = 5*v + c*x - 7, 0*v + 4 = 2*v + 2*x. Let d be (-19)/7 + 1 - -2. Which is bigger: v or d?
v
Suppose -2*l + 9 = 1, -5*l = -4*f. Let a be (-2)/(-12)*(-4)/f. Let z be (3 - 1)/2*1. Is z less than or equal to a?
False
Let w = 172.7 + -169.7. Do -89 and w have the same value?
False
Let p(t) = t**3 - 7*t**2 + 8*t - 8. Let b = 12 - 6. Let a be p(b). Suppose 4 = -a*o + 8. Which is smaller: o or 2/23?
2/23
Let g = 0.0069 + -0.1069. Which is smaller: 212 or g?
g
Suppose 3*s - 3*k = -57, 0*k + 2*k = 3*s + 56. Let l be 3/2*s/(-27). Which is smaller: l or 1/15?
1/15
Suppose -3*t - 3 = 3*g, -3*g = -4*t - 2 - 2. Do t and -22/9 have the same value?
False
Let t = -1559/9 + 173. Let j = -169/72 + 17/8. Is j at most t?
True
Let z = -385292/293 + 1315. Is z > 1?
False
Let u be (-2)/(-7) - (-435)/21. Suppose 5*i - 7 = 4*c, 4*i - 1 = -5*c + u. Which is bigger: i or -1?
i
Let t be (-387)/(-1596)*(-402)/9. Let m = -159/14 - t. Which is greater: m or -1?
m
Suppose 0 = -3*a + 3 + 18. Suppose a*x = 3*x. Let o = 264 - 265. Which is smaller: x or o?
o
Suppose -4*q = -3*q - 4*b - 73, 0 = -q - 5*b + 91. Suppose -5*u + 0*u + 5 = 0, -5*r + u = q. Let g be ((-15)/(-10))/((-3)/r). Which is bigger: 7 or g?
g
Let m = -13 + 8. Let k = -144 + 142. Is m at most as big as k?
True
Suppose 12*f - 11*f - 4*b + 3 = 0, -102 = 4*f + 2*b. Do f and -48 have the same value?
False
Let x be (88/220)/((-6)/(-2120)). Which is smaller: x or 140?
140
Let f(b) = -50*b. Let q be f(1). Let h be (-1 + (-55)/q)*14. Suppose 7*d = 3*d + 8. Is h greater than d?
False
Let p(x) = x + 21. Suppose -10*i + 32 = -14*i. Let s be p(i). Is s bigger than 12?
True
Let y be (-9)/(-6) - 8281/4998. Which is bigger: y or 0?
0
Let a = 0.8 - 0.817. Let d = a - 4.983. Are 3/5 and d non-equal?
True
Suppose 0 = 3*h + a + 2*a + 21, -3*a = -5*h + 5. Let p be 3*(-1 - (-4)/3). Let l be (1 + p)*(-22)/33. Which is smaller: h or l?
h
Let w = 280 - 274.56. Let d = 0.44 - w. Which is bigger: d or -3?
-3
Let m(k) = -7*k**2 + 11*k + 27. Let n(w) = -3*w**2 + 6*w + 13. Let y(s) = 2*m(s) - 5*n(s). Let g be y(8). Is g less than -11?
False
Let n = 114.9 + -115. Which is bigger: -12 or n?
n
Let h be (6/(-15))/(8/(-20)). Suppose 3*y + 14 + 4 = 0. Let k be (-94)/90 - 6/y. Are k and h non-equal?
True
Let a(i) = i**3 + 11*i**2 + 9*i - 8. Let b be a(-10). Let l be 12/(-18)*b/5. Which is smaller: l or 1?
l
Let u = 61 + -112. Let c = u + 73. Suppose 5*k + x = -c, -3*k + 2*x - 14 - 7 = 0. Is k <= -3?
True
Let p = 738/161 - 66/23. Let i = p + -310/189. Which is smaller: i or 1?
i
Suppose -12*p = 37 - 49. Which is bigger: p or 4/23?
p
Let b be 0/(3/((-6)/(-4))). Suppose 0*r + 14 = 2*a - 2*r, 4*a = r + 28. Let y be (-3 + a)/(2*3). Which is 