t k = 0.2 - 0.1. Let b = 0.1 + 5.9. Let a = b - 7. Is a > k?
False
Suppose -5*b - 4*n + 3 = -0*b, -2*n + 2 = 2*b. Let j be b*(-4 + -1 + 3). Let y be ((-5)/j - -2)*-4. Which is bigger: 1 or y?
y
Suppose 0 = 2*g + 2, 0 = w + 2*g - 2. Let n be (-21)/(-27) - w/(-18). Is n at least 2?
False
Suppose 3*l - 5*k = -57, 3*l - 3*k = 2*l - 23. Which is greater: l or -15?
l
Let j(t) = -2*t**2 + 12*t + 4. Let i be j(6). Suppose 4 = 2*u, 2*y - 1 = -i*u + 7. Which is bigger: y or -1?
y
Let j(w) = -2*w - 8. Let a be j(-7). Suppose -2 = -4*m - a. Let q be (8/(-20))/(27/120) + 2. Which is smaller: m or q?
m
Let s be 27/(-4) - ((-18)/24 - -1). Which is bigger: -5 or s?
-5
Suppose 10*i - 7*i - 3 = 0. Let c be 1/(-1)*4 - i. Does c = -0.2?
False
Let f = 1 - 3. Is -1 smaller than f?
False
Let p(v) = 8*v + 52. Let k be p(-8). Which is bigger: k or -11?
-11
Suppose 5*q - 10 = 2*u + 71, 2*q - 32 = u. Suppose 4 = 4*c - g + q, -2*g = -4*c - 18. Suppose -4*b + b - 6 = 0. Is b > c?
False
Let v(x) = x. Let s(c) = -42*c - 27. Let p(f) = -6*f - 4. Let o(a) = -27*p(a) + 4*s(a). Let n(j) = -o(j) - 5*v(j). Let t be n(-5). Are t and -6 unequal?
True
Let g = 56 + -56.1. Which is bigger: -14 or g?
g
Let h = -1 - -7. Let s = h - 6. Let y = -133/3 + 45. Is y smaller than s?
False
Let l be 20/(-63) + (-21)/(-49). Let g(j) = -j**3 + 6*j**2 - 6*j + 4. Let q be g(5). Which is bigger: l or q?
l
Suppose 3*h + 4*d = -11, 5*h + 4*d + 9 = -4. Is 1/28 smaller than h?
False
Let j = 4077/95 - 213/5. Which is smaller: j or 1?
j
Let d be ((-2)/4 - -2)*2. Suppose -33 = -0*x - d*x. Are 11 and x unequal?
False
Let o = -1106 + 5551/5. Is o less than or equal to -0.2?
False
Let v(j) = 2*j - 12. Let f(c) = c - 6. Let o(k) = -13*f(k) + 6*v(k). Let m be (-4)/(-8) + 18/4. Let a be o(m). Is a equal to -1/3?
False
Let t = -4/1157 + -36988/10413. Is -4 less than t?
True
Let d = 28 + -46. Let y be (1/(-3))/(2/d). Suppose -y*t - 20 = t. Are t and -1 equal?
False
Suppose 7*x + 14 = -0*x. Is x less than or equal to -23?
False
Let f(j) = -2*j**2 - 3*j - 1. Let h be f(-2). Suppose z = -g - 1, 2*g + 23 = -2*z + 7*z. Is g greater than or equal to h?
False
Suppose 5*l = -2*n + 73, 4*l + 8*n - 68 = 4*n. Is 12 at least l?
False
Suppose 34 = 4*k - 34. Which is smaller: k or 16?
16
Let z be (-168)/86 + (13 - 11). Which is greater: z or 0?
z
Let a(o) = -15*o - 10. Let s be a(6). Let z be s/40*8/(-230). Which is greater: 0 or z?
z
Let p be ((-6)/(-4))/(2/(-4)). Suppose 3*s + 0*s = -w + 1, 3*w + s - 3 = 0. Let c = w - 4. Is p greater than or equal to c?
True
Suppose 9 = h - 4*h. Suppose -9*f = 3*f + 36. Is h < f?
False
Let c(k) = 2*k**2 - 4*k + 2. Let l be c(2). Let b(m) = 7*m + 7. Let s(d) = 8*d + 8. Let t(a) = 7*b(a) - 6*s(a). Let f be t(-5). Is f < l?
True
Let f = -3 - -6. Suppose -f*k + 3 = 3*z, 5*k + z = 3*z + 5. Let j = -2124/13975 + -2/1075. Are j and k unequal?
True
Let k be ((-1)/(-4))/(186/48). Which is smaller: 0 or k?
0
Let i(y) = y**2 - 2*y - 3. Let h(k) = -k**3 + 8*k**2 + 3. Let g be h(8). Let z be i(g). Let c be 42/9 - 16/4. Is c less than or equal to z?
False
Let u = -21881/42 + 521. Which is bigger: -1 or u?
u
Let i = 1/8 + 11/8. Is i at least as big as 1/5?
True
Let j = 1 - 0. Let k be 61*1/(-88) + 1. Let r = k - 2/11. Which is bigger: r or j?
j
Let r(f) = -f + 6. Let p be r(5). Suppose 0 = 3*w + w + 12, -2*w - p = -5*h. Which is smaller: h or -2/7?
h
Suppose 18*h = 11*h + 322. Is h < 48?
True
Let r be (-9)/26*2252/(-3). Suppose 5*k + g + 1298 = -0*g, 2*k - 5*g + 530 = 0. Let c = k + r. Do c and 0 have different values?
True
Let q(o) = -3*o - 6. Let m = 1 - 6. Let s be q(m). Which is smaller: 1 or s?
1
Let t = 8 - 7. Let x(c) = -c**3 + 5*c**2 + 5. Let b be x(4). Let o be (-20)/b + 2/7. Which is smaller: o or t?
o
Suppose -4*i + 5 = -3. Let l = -1 - -4. Suppose -i*f - l*d - 4 = 0, f + 3*d = -3*f - 2. Which is greater: 2 or f?
2
Let n = -4.01 - -0.01. Let k = 3.6 + n. Is k greater than -0.1?
False
Let l = 149 - 148. Which is greater: 2/33 or l?
l
Suppose -10 = 5*w + 5*c, -5*w + 0*c = 3*c + 16. Let r = w + 5. Let p(s) = -s**2 + 5*s - 3. Let v be p(4). Which is greater: r or v?
v
Let m be (4/(-204)*-4)/(-2). Which is smaller: m or 0?
m
Let c = -0.08 - -7.08. Let i = c - 9. Suppose -u + 6*u - 5*y = 10, 4*y + 11 = u. Is u equal to i?
False
Let c = 37 + -38. Let f be (-134)/(-6) + 1/(-3). Suppose -5*v = -2*j - 2*j - 12, 5*v - f = -j. Which is smaller: c or j?
c
Let d = -0.2362 - 3.9898. Let t = -0.026 - d. Let i = 4 - t. Is i less than 1?
True
Suppose 0 = -5*t - 15 - 20. Which is bigger: 2 or t?
2
Let m be 5/1 - 3*1. Suppose 7*b = 2*b. Suppose b = 5*l - 6 - 4. Is l bigger than m?
False
Let p = -1098/7 + 7107/35. Let s = 691/15 - p. Which is smaller: s or 0.2?
s
Suppose -v = -2*v. Let a be 3/4 - (-4)/16. Let i = a + -1. Is i at least as big as v?
True
Let g = -36 + 35. Let h = 2 - 3. Do h and g have the same value?
True
Let j(k) = k**2 + 3*k - 5. Let d be j(-5). Suppose -4*p - p = 3*l - d, 4*l + 20 = 0. Suppose 4*y = 2*w - 12, 0 = -w + p*y + 7 + 3. Is 2 < w?
False
Let v = -23 - -3. Let t be (-20)/(-35) - v/14. Which is smaller: -3 or t?
-3
Let h = -7.3 + 7.6. Let v = -5 - -11. Is h >= v?
False
Let r be 2/(-16)*-2*0. Let d = -46/7 + 152/21. Which is bigger: d or r?
d
Suppose -m = -4*j + 12, 0 = 4*j + m - 4. Let w be 2*(2/(-4) + 2). Suppose w*q = -j - 22. Is 1/2 smaller than q?
False
Let d = 1.5 - 1. Let t = d + -2.5. Are t and -1 equal?
False
Suppose -2*b = 4*b - 18. Which is smaller: 0.3 or b?
0.3
Suppose q - 3*z - 5 = 2*q, 2*z = -4*q - 10. Let w be -8*q/12 + 1. Suppose 2*d = 3*v - 0*d + 3, -15 = -5*d. Is v not equal to w?
True
Let o = -0.76 - -0.78. Is o not equal to 1?
True
Let z(s) = s**3 - 14*s**2 + 12*s + 19. Let r be z(13). Suppose 0*v = -3*v + r. Suppose 3*c = v*c. Is -2 greater than or equal to c?
False
Let n(z) = 11*z**2 - 8*z + 8. Let j(g) = 12*g**2 - 8*g + 9. Let f(r) = 2*j(r) - 3*n(r). Let b be f(6). Let a = b + 3672/13. Which is bigger: 0 or a?
a
Let q = 0 + -2. Let v(f) = -f**2 - 5*f. Let n be v(-6). Let d be (-1)/n*(6 + -9). Which is smaller: d or q?
q
Let s(q) = q**3 - 5*q**2 + q - 7. Let n be s(5). Let j be 1*(1 + n - -3). Is 2 bigger than j?
False
Let q = -65 + -21. Let i = -175/2 - q. Let o = 409/18 - 45/2. Is i at least as big as o?
False
Suppose i = 1 + 1. Suppose 0 = -5*r - 3*p, -3*r + p + i*p = 24. Let j be ((-2)/(-8))/((-1)/6). Which is smaller: r or j?
r
Let g(f) = f**2 + f + 4. Let o be g(0). Is 4 >= o?
True
Let o = -350 + 215. Is o at least as big as -135?
True
Suppose 3*a = 15, u - 25 = 6*u - 4*a. Which is greater: -2/9 or u?
-2/9
Let o be 1/(2/12 - 0). Let x = -5 + o. Is x at least as big as 4/5?
True
Let m(b) = -2*b. Let l be m(1). Suppose -2*o + r = 2, o - 7 = 6*o - 2*r. Which is smaller: l or o?
o
Let y(m) = 3*m + 22. Let a be y(-16). Which is bigger: -25 or a?
-25
Suppose 0 = -5*c - 0*q + q + 9, -4*q + 4 = 0. Let z = c + 5. Is 5 equal to z?
False
Let k = 1.9 + -2. Let n = 0.1 + k. Let a = 27/46 + -2/23. Which is smaller: a or n?
n
Let m(n) = -n - 4. Suppose 0 = 2*h + 6. Let x be m(h). Are 1/48 and x non-equal?
True
Suppose 3*w - 3*m = -4*m - 78, w + 37 = -4*m. Let c = -51/2 - w. Suppose 3*b = 15, 3*a + a + 2*b - 2 = 0. Do a and c have the same value?
False
Let p(z) = z**3 + 14*z**2 + 14*z + 12. Let m be p(-13). Let v be ((-1)/(-4 - -3))/m. Which is greater: 0 or v?
0
Let p = 0.07 - -0.13. Is p <= 10?
True
Let f = 3.21 - 0.21. Do f and 1/2 have the same value?
False
Let k(s) = s**3 - s**2. Let f be k(1). Suppose 11*x - 6*x = f. Let r = -201/250 + 1/250. Which is greater: x or r?
x
Suppose 0 = g - 0*g - 5. Suppose -2*j - g*l = 12 - 2, 3*j = -3*l - 6. Which is bigger: 2 or j?
2
Let i be 2*(-1 + (-10)/(-11)). Let y be 6/(-3)*(-9)/18. Does y = i?
False
Let j = -26 - -17. Let o be (6/j)/((-2)/(-3)). Suppose 5*v + 24 = -0*b - 2*b, -16 = -2*b + 5*v. Which is smaller: b or o?
b
Let n = -12.7 + -2.3. Are n and 0 non-equal?
True
Suppose -4*v + 196 = -0*v + 5*w, 0 = -4*w. Is -1 equal to v?
False
Let b = 12.9 - 10. Let g = 5.8 - b. Let t = 3 - g. Is 0 greater than or equal to t?
False
Let t(i) = -37*i + 1. Let w be t(1). Let z be w/(-21)*7/2. Suppose -z*j = -5*j. Which is bigger: j or 2?
2
Let r = 2 + -2. Let l be 4 - (r - 4)/(-2). Let u = -3 - -4. Is l <= u?
False
Let p be 3 - 1/(1/2). Let 