.1 or q?
0.1
Let q = 1 + 0. Let c be (-18)/40 + (-7)/(-28). Is c at least as big as q?
False
Let w = -2.86 - -0.16. Let y = w + 3. Which is smaller: 2 or y?
y
Suppose -b - 1 = -0*b. Let i be 2 + 18/(-8) + 0. Is b greater than i?
False
Suppose -2*m = -0*m - 16. Let q be 11/2 - 4/m. Are 3 and q unequal?
True
Let g(v) = v + 4. Let m be g(-5). Let o = -32 + 33. Which is smaller: o or m?
m
Suppose -6*j = -2*k - 5*j + 4, -k - 2*j = 8. Let b be (k/(3 + 1))/(-1). Do -3/4 and b have different values?
True
Let r be 10/25 - 132/115. Let c = r + 8/23. Is c bigger than -1/3?
False
Let t = -0.9 + 5.9. Let z = t - 6. Let l = z - 5. Which is smaller: l or 0?
l
Let s(n) = -n**3 - 9*n**2 - 9*n - 7. Let m be s(-8). Let x(y) = -y + 1. Let p be x(m). Suppose -18 = g - 5*q, g - 6 = -p*g - q. Is g smaller than 2?
False
Let d(b) = 2*b**2 - 2. Let n be d(3). Suppose -o = 3*o - n. Suppose 2 = 2*p + o. Which is smaller: 1/7 or p?
p
Let c(r) = -r**2 + 14*r - 6. Let y be c(14). Let z(u) = -u**3 - 2*u**2 + 5*u + 2. Let m be z(-3). Is y greater than m?
False
Let y be (-4)/(-14) + 120/21. Let a be -6*((-16)/y)/4. Let j = -4 - -8. Are j and a nonequal?
False
Let s = -19 + 19.05. Let l = -11 - -21/2. Which is smaller: s or l?
l
Let h(o) = -3*o - 19. Let l be h(-11). Which is smaller: l or 38/3?
38/3
Suppose 0 = 3*k - 5*z + 26, 2*z = 3*k - 2*k + 10. Let j be 36/16 + k/8. Let d be ((-2)/(-6))/(j/6). Is 1 smaller than d?
False
Let w be 0 + 2 - (1 - 1). Suppose w*b - 6 - 6 = 0. Which is smaller: 2 or b?
2
Let o = -13 + 17. Is 0 bigger than o?
False
Let u = 688/7 + -98. Let t(y) = -y**3 - 8*y**2 + 9*y. Suppose 0 = -4*v + 2*p - 40, 4*p + 1 + 0 = -v. Let x be t(v). Which is smaller: x or u?
x
Let k be (-2)/(-10) - (16/110)/8. Suppose 3*c - 2*q + 6 = 0, 0*q = -q. Let r be (9/(-4) - c)*1. Which is bigger: r or k?
k
Let y = -138.92 - -139. Which is smaller: 0.2 or y?
y
Let h be ((-12)/(-10))/(14/35). Suppose 2*r + 2*r = -2*q - 6, -h*r - 5*q - 1 = 0. Suppose -3*t = t + 4. Are t and r equal?
False
Suppose 0 = 5*t + 5, 4*t + 4 = j - 0*j. Which is smaller: 1 or j?
j
Suppose -6 = 7*g - 6. Which is greater: g or 1/214?
1/214
Let m = -0.23 + 0.03. Is m bigger than 0.4?
False
Let u = 3553/1896 + 1/948. Let d = u + -511/264. Do 0 and d have the same value?
False
Let h be (-62)/(2 - (-1 - -1)). Is -31 bigger than h?
False
Let r(d) = -d**2 + 10*d + 10. Suppose -4*h + 30 = -14. Let f be r(h). Let s be 0 - (2*f + 1). Is 2/15 >= s?
False
Let n be 1310/15 - 4/(-6). Let l be 25/56 + 11/n. Are 2 and l equal?
False
Let p(i) be the third derivative of -i**4/24 - i**3/6 - 2*i**2. Let h be p(-6). Let l(f) = f**3 - 6*f**2 + 5*f + 2. Let v be l(h). Are 1 and v non-equal?
True
Suppose -5*l = -5, t + 0*l - 7 = -l. Let o = 88 - 83. Which is greater: o or t?
t
Suppose 7 - 1 = 2*z. Let l be (z/(-18))/1*-4. Let g = -0.1 - 0.1. Is g not equal to l?
True
Let q = -9 - -3. Suppose 5*w + 12 - 2 = -g, -4*w + 3*g = -11. Are q and w equal?
False
Let o = -1.69 + 0.59. Which is smaller: o or 0?
o
Suppose -4*k = -11 - 1. Suppose -2*g + y - k = 0, 4*g - 4*y + 3 + 9 = 0. Suppose 0*i - 5*i + 5*c + 20 = 0, -3*c - 12 = g. Is 2 < i?
False
Suppose 5*t = -3 + 8. Suppose 5*q + t + 15 = 4*b, -2*q = b - 4. Are q and -1 non-equal?
True
Let d be (-10)/(-2) + 272/(-51). Let g be (1 + -1)/(-3) + 1. Let t = 1 - g. Is t less than d?
False
Suppose -3*h = -h. Let t be ((-53)/(-5))/(8/(-20)). Let c = -26 - t. Which is smaller: h or c?
h
Suppose -5*b + 4*h + 26 = -17, -4*b + 4*h + 36 = 0. Which is bigger: 5 or b?
b
Let z be 1/(2/(-72)*1). Let i be (-64)/z - 4/(-18). Does -0.1 = i?
False
Suppose 2*r + 2*r + 12 = 0. Let b(o) = -3*o + 11. Let k be b(5). Let x = k - r. Which is smaller: x or 0?
x
Suppose c - 44 = a - 0*c, -c - 136 = 3*a. Is a smaller than -45?
False
Suppose 104 = 5*r - 96. Let x be 0 - 7/((-14)/r). Let z be (-2)/3*12/x. Which is smaller: 1 or z?
z
Suppose 3 = -5*i - 3*t, -3*t = 4*i - 7*t - 4. Let d(g) = g**3 + 1. Let z be d(i). Let k = 505/13 - 39. Which is smaller: k or z?
k
Let j = -0.02 - 0.01. Let i = j + 0.43. Let s = i + -0.2. Which is greater: 0 or s?
s
Let k = -97 + 96.7. Is k greater than -0.1?
False
Suppose -3*u = h - 1 - 4, 3*u = -2*h + 10. Let f = 5 + -3. Let k be (f/8)/(9/(-4)). Which is smaller: k or u?
k
Let d = -2 - -3. Suppose -2*n - 11 - 31 = 0. Let p be (n/12)/d - -1. Which is smaller: p or 0.1?
p
Suppose 0 = 4*s + 2*a + 5 + 13, -4*a = 3*s + 26. Suppose -4*j - 17 - 27 = 0. Let g be j/10 - 1/(-2). Which is greater: g or s?
g
Let q(h) = h**3 + 5*h**2 - 8*h + 3. Let n be q(-6). Let b be n/(-40)*(-8)/18. Is b != -1?
True
Let g(w) = -3*w - 15. Let t be g(-6). Let d be -7*1*(2 - 3). Suppose 17 = 5*b + d. Which is greater: t or b?
t
Let z = -0.04 - -9.04. Let f = z + -9.2. Let y = -2.2 - f. Are -2 and y nonequal?
False
Let s = 45 - 136/3. Let x = -3 + 5. Suppose 2*k + 8 = -0*k, 0 = -x*o - 5*k - 18. Are s and o unequal?
True
Let c = 2 - 2.1. Let p = 167 - 838/5. Do c and p have the same value?
False
Let q be (-2)/((-6)/(-3) - 0). Let w be q*(-3)/((-6)/4). Suppose g = -g - 4. Do w and g have the same value?
True
Let k be 2 - ((-108)/(-22) - 3). Which is smaller: k or 1?
k
Let w = 3.03 - 0.03. Let i = -2.9 + w. Are i and 2 equal?
False
Let h = 2 - 20. Let y = h - -127/7. Is y < 1?
True
Let x = -0.7 - -0.8. Which is smaller: -13 or x?
-13
Let t = 328/9 - 110/3. Let r(d) = -4*d**2 - d**3 + 4*d + 5*d**2 + 3*d**2 + 2*d - 4. Let f be r(5). Which is smaller: f or t?
t
Suppose 2*b - 23 = 33. Let v be ((-4)/(-14))/(4/b). Is v equal to 1/2?
False
Suppose 0 = z + 3*z + 28. Let w = -8 - z. Is w bigger than 0?
False
Let g(l) = 1 - 1 - 1 + 7*l - l**2 - 3. Let c be g(6). Are 2 and c unequal?
False
Let t = -0.23 - -0.06. Let o = 5 - 5.03. Let z = t + o. Which is greater: -2 or z?
z
Let i be (-316)/180 - 4/(-18). Let x = 10/3 + i. Is 1 greater than or equal to x?
False
Let v = -4/1381 + 27656/12429. Is v at most 3?
True
Suppose -8*t + 3*t + 5 = 0. Let l(f) = -f - 3. Let g be l(-5). Which is greater: t or g?
g
Let n be 12/(-18)*(-2)/4. Let j be 2/(-9) - 20/(-9). Is j != n?
True
Suppose -2*k + o = -1, -k - 3 + 5 = o. Is 0.44 less than or equal to k?
True
Suppose -3*z - 15 = 3*k, -5*z + 4*z + 5 = -k. Which is bigger: z or -5?
z
Suppose -6 = h - 3*h. Suppose 2*j - 5 = -h*j. Let g be (24/128)/(j/(-2)). Is -1 at least g?
False
Let g = -0.22 + 0.4. Let l = -0.08 + g. Which is smaller: -4 or l?
-4
Let b = -751/65 + 57/5. Which is smaller: 2/5 or b?
b
Let t be -4 - (2 + (-19)/4). Which is greater: t or -2/5?
-2/5
Suppose -2*i + 44 = 5*s, -3*i + 1 + 5 = 0. Suppose 5 = 5*h, 2*h - s = 5*j - h. Is -2/9 at least as big as j?
True
Suppose 15 = 5*m, 3*m - 17 = -5*h - m. Suppose 0 = 3*c + 2 + 25. Let y be (c/(-15))/(4/5). Do y and h have the same value?
False
Let u(j) = -2*j**3 + j**2 - 5*j - 4. Let k be u(-3). Which is greater: 73 or k?
k
Suppose -43 = 3*a - 2*a. Is -43 not equal to a?
False
Suppose 5*c + 3 = -12. Let f = c - 1. Let y be ((-2)/f)/(2/4). Which is greater: y or 0?
y
Let r be 1 + ((-9)/(-3))/(-3). Suppose -70 = 3*j - a, -5*j - 4*a - 63 - 65 = r. Let g be 1/2 + 20/j. Which is smaller: -2/9 or g?
g
Let z be ((-2)/4)/(6/(-20)). Let q = 9 - 16. Let d = 10 + q. Which is smaller: d or z?
z
Let r = -430 - -432. Let s = 1.2 + -1. Are s and r non-equal?
True
Let l = 1 + -1. Let t = -5.2 + 5. Does t = l?
False
Let i(z) = z + z - 6 - 7*z - z. Let w be i(-5). Which is smaller: w or 23?
23
Let x = 71/63 - 5/9. Let q(p) = -3 + 2*p - p - 2*p + 0*p. Let b be q(-4). Is x > b?
False
Let g = -43 + 44. Which is bigger: -2/41 or g?
g
Suppose 2*q - 8 = -2*q. Suppose 0 = -m + 1, -7 = l - 4*m - 3. Is q > l?
True
Suppose 0 = -2*d + 4*b + 24, 0 = 5*d + 3*b - 6 - 2. Suppose 0 = 2*z - 6 - d. Let m(g) = -g**2 + 5*g + 2. Let n be m(z). Is 2 greater than n?
False
Suppose 4*a = 5*a. Suppose a = 2*g + g. Which is smaller: 2/17 or g?
g
Let r be ((-11)/3 + 1)/(15/(-90)). Do r and 2 have different values?
True
Let u = 16.3 - 1.3. Let b = -15.3 + u. Which is bigger: b or 0.4?
0.4
Suppose o = 4*j - 10, 0 = 4*j - 9*j - 2*o + 6. Suppose 0 = -c + t - 3, -4*c = j*t - t + 2. Is -9 != c?
True
Let y be (5/(10/(-56)))/(-1). Let l(m) = -m**2 + 13*m - 8. Let j be l(12). Suppose j*q + 0*q = -y. Is q > -6?
False
Let s = -11 + 27. Is s < 17?
True
Let a = -1 + 8. Let t(g) = -g + 2. Let u 