 at most k?
False
Let z be (-2)/((-5)/5*7). Is z less than or equal to -23?
False
Let f = -5.6 + 6. Let k = -0.1 + -0.1. Let s = -0.2 - k. Is f equal to s?
False
Let a be (-6)/(-8) - (-39)/108. Which is smaller: a or 1?
1
Let f = -0.1 - -0.1. Let b = -81 + -201. Let r = -3664/13 - b. Which is greater: r or f?
r
Suppose 0 = 3*s - 0*s. Suppose s = h - 0 - 3. Which is smaller: h or -0.2?
-0.2
Let o(b) = b**3 + 8*b**2 - 8*b + 4. Let c be o(-9). Is -5 less than c?
False
Let t = -1/34 - -9/17. Let z = 113 - 397. Let g = -2269/8 - z. Which is smaller: g or t?
g
Let q = 133/132 + -13/22. Let z be ((-4)/18)/(4/12). Let n = z + q. Does n = -2?
False
Let p = 2234/9 - 248. Is -1 greater than p?
False
Let x be (24/10)/(6/(-20)). Let k be (-17)/26 + x/(-52). Which is greater: -4 or k?
k
Suppose 9 + 9 = 3*v. Suppose -v*s = -s - 10. Let l(y) = -y**3 + 3*y**2 - y + 4. Let i be l(3). Is i <= s?
True
Let j = 41 + -41. Is j less than or equal to 5?
True
Suppose -s + 2 = -0*s. Suppose -s*r - 12 = 3*f - 7*f, 2*r = 2*f - 8. Which is smaller: f or -2?
-2
Let a(t) = -2*t - 10. Let u be a(-7). Let q = 4 - u. Which is smaller: q or 2/7?
q
Suppose -9*s - 19 + 1 = 0. Which is smaller: s or 0.6?
s
Let t = 13 - 12.74. Let q = -0.16 + t. Which is smaller: q or 0.4?
q
Let g = -4 - -11. Let z = 7 - g. Which is greater: z or -3?
z
Suppose -5*p = p - 42. Suppose -5*l + 35 = -0*l. Is l greater than p?
False
Let d = -4 - -5. Let g = d + -0.7. Is 0.1 smaller than g?
True
Let q = 3 + -3. Which is bigger: q or -3/19?
q
Let p = 341/3 - 113. Suppose 7*r + 2*h - 7 = 2*r, -4*h = 4*r - 8. Is p at most as big as r?
True
Let u = 6 + -2. Suppose -u = 7*j - 5*j. Is j less than or equal to -3?
False
Suppose -5 = -3*f + 2*f. Suppose f*l - 42 - 33 = 0. Let i be (2/l)/((-1)/(-10)). Do 2 and i have the same value?
False
Let i(g) = -g**2 - 10*g - 12. Let x be i(-8). Suppose -h = -x*h + 6. Let q be 1 - (h/8)/1. Which is bigger: q or 2?
2
Suppose -21 = -3*v + 3*q, -5*v - 2*q + 1 = -13. Suppose -s + v*s = 9. Suppose 2 = -b + s. Is 1 at most as big as b?
True
Let w be (-22)/8 + 4 - -4. Which is bigger: w or 1/2?
w
Let z = -15 - -10. Is z at least -1/4?
False
Let o(k) = -7*k + 13. Let n(a) = -8*a + 14. Let b(h) = -5*n(h) + 6*o(h). Let i be b(6). Let f be i/(-6) - (-4)/(-24). Does 1 = f?
False
Let l = 7 - 5. Let i = 15/2 - 43/6. Is l bigger than i?
True
Let u(p) = p**3 + 13*p**2 + 11*p - 7. Let w be u(-12). Suppose w*h - 4*k + 15 = -0*k, -10 = 5*h - 3*k. Let d be -1 - (-2)/20*13. Are h and d equal?
False
Let n = 0.1 - 0.1. Let y be 2/20*2 + 33/(-15). Which is bigger: n or y?
n
Let t = 7 - 4. Suppose -2*r + t*r - 16 = -4*c, 5*r + 4*c - 32 = 0. Are 8 and r nonequal?
True
Let n be 0 - (3 - 3) - -27. Let o be (3 + n/(-7))*-7. Suppose 2*j + 0 = -o. Which is smaller: j or -3/2?
j
Suppose -9 = -7*c - 23. Which is smaller: c or 0?
c
Suppose 36 = 4*t - 8*t. Which is smaller: t or 0.2?
t
Let f = -1 - -1. Let l = 756/9223 - -2/401. Which is bigger: f or l?
l
Let b be 1/(-2)*(0 + 1). Let w be (5/((-5)/4))/1. Let o = w + 2. Is b at least as big as o?
True
Let s be 4778/(-8) - (1 - 2). Let q = 539 + s. Let u = 57 + q. Is u <= 0.2?
True
Let y = 14 + -15. Which is bigger: 2/29 or y?
2/29
Suppose -2*b - 123 = 2*u - 3*b, -25 = 5*b. Which is smaller: -65 or u?
-65
Suppose -5*a - 4 = 11. Let s be 0/(6/a - -1). Which is greater: -2/7 or s?
s
Let q = 75.9 + -76. Which is bigger: q or 6/13?
6/13
Let n = 17133394/287 + -59698. Let s = -2/41 - n. Which is smaller: s or 0?
s
Suppose 5*l - 2*v - 5 = 0, -l + 3*l - v = 2. Which is bigger: l or 3/16?
l
Let s = 9 - 11. Is s at least -17/5?
True
Let s(m) = 2*m**2 + 13*m + 3. Let y be s(-9). Suppose -5*r + r - y = 0. Let q be (-10)/r + (-3)/3. Which is greater: -1 or q?
q
Suppose 11*a + 75 = 16*a. Is a at most 16?
True
Let s = 0 + 0.8. Let g = s - 0.5. Let a = -23/2 - -12. Which is smaller: g or a?
g
Let j be (-4)/((-120)/63) + 7/(-14). Suppose 0 = 2*g - 3*s + 8, -6*g - 2 = -3*g - 2*s. Is j bigger than g?
False
Let s be ((-4)/3 + 2)/((-152)/(-36)). Which is smaller: -2/5 or s?
-2/5
Suppose 22 = 3*o + 58. Let z be (2 + 0)*2/o. Is -1 smaller than z?
True
Let d = -141 - -141. Are d and 1/8 nonequal?
True
Let y(g) = -g + 4. Let h(k) = -k + 5. Let c be h(2). Let x be y(c). Which is greater: 2/3 or x?
x
Let o = -2.08 + 0.14. Let n = o - 0.06. Does -2 = n?
True
Let o = 43/320 + 1/64. Which is greater: o or -1?
o
Let j be ((-6)/4)/((-108)/16). Which is smaller: j or -1?
-1
Let a(g) = 4*g**3 - 1. Let c be (3/6 - 1)*-2. Let r be a(c). Which is smaller: r or 2?
2
Let s = 80 - 193. Let v = s + 107.9. Let q = v - -1.1. Is 0 at least as big as q?
True
Suppose -2*j + 5*u + 2 = -0, 2*j + 2*u - 2 = 0. Let l(c) = -c**3 + 4*c**2 - 3*c + 1. Let i be l(3). Is j != i?
False
Let g(w) = -w**2 + 11*w - 12. Let n be g(10). Let u be (-16)/8*n/4. Suppose d + 1 = 3*s - u, -s = -d. Is d at most as big as 1/7?
False
Let d be (1/(-52))/(1/30). Let t be 4 + -277*1/52. Let w = t - d. Which is smaller: -1 or w?
-1
Let f = 15 - 6. Do f and 7 have the same value?
False
Suppose -b + 2*c - 20 = -5*b, -3*c - 19 = -b. Let w be 2 + -2 + 2/b. Let j(o) = o**3 + 9*o**2 + 7*o - 9. Let r be j(-8). Which is bigger: r or w?
w
Suppose -2*j - 2 = -2*u - 4, 3*u + 4*j - 4 = 0. Which is greater: -4/21 or u?
u
Let n = 4/1113 - 6/371. Is 1 less than n?
False
Let x be (-2)/(-5) - (-73)/5. Let d(h) = -18*h - 94. Let y be d(-6). Which is bigger: x or y?
x
Let r = 2/39 - -35/78. Suppose u = -1 + 4. Suppose 6*d - 12 = 2*d, 4*g + u*d = 9. Are r and g equal?
False
Let o be 8/16 - (-1)/((-4)/6). Is -51 at least o?
False
Suppose -4*i + 3*f = 42 - 8, 5*f = 2*i + 24. Is i != -5?
True
Let l(v) = -v**2 + 9*v + 5. Let s be l(9). Let t be s*(-1 + 21/15). Suppose t*c = -2*c. Which is greater: c or -1?
c
Let p = -7 + -3. Let n = 7 + p. Does n = -3?
True
Let l = -285 + 155. Which is bigger: l or 1?
1
Let p be 12/4 - (-23)/(-7). Let t = 1.6 - 1.82. Let s = 0.02 + t. Is s smaller than p?
False
Let k be 0/(-2)*7/14. Which is smaller: -2/17 or k?
-2/17
Let t = 21 + -34. Let d = -13 - t. Is 4/5 at least d?
True
Let i be (116/(-36) - -3) + 390/54. Which is smaller: 58/7 or i?
i
Let s be (-5)/(-3) + (-1)/1. Suppose 23 = 3*g - 49. Let u be g/10 + 8/(-20). Is s > u?
False
Let r be -1 - -1 - (1 - 1). Suppose b = -d + 9, r*b + 2*d - 5 = -b. Do b and 12 have different values?
True
Suppose -5*h - 4 - 1 = 0. Let q be (-19)/4 + 2 + 2. Is q <= h?
False
Suppose -3*r = -0*r + 15. Let f = -606 - -2407/4. Which is greater: r or f?
f
Let u be 14/10 - (1 - 0). Suppose 2*g + 2 = 2*z, 0 = 2*g + z - 7 - 3. Let c = 3 - g. Are u and c equal?
False
Suppose -t - 2*t = -12. Suppose 4 + t = 4*r. Let w be 640/770 + -2*1/7. Which is bigger: r or w?
r
Let t = 33/7 + -73/14. Is -14 equal to t?
False
Let b = 8953/13 - 689. Let p = -4 - -5. Which is bigger: b or p?
p
Let b = -0.4 + 1.4. Let f = -19.8 - -20. Which is smaller: f or b?
f
Let x be -4 - (-52)/10 - 1. Is 1 smaller than x?
False
Let i = 2.31 + -0.31. Which is greater: 0.1 or i?
i
Let n be 12/(-28) - (-58)/168. Is 0 at least as big as n?
True
Let d be (-51)/(7/(-2) + 2). Let z = d + -14. Suppose q + 19 = 5*g, 4*q - z = -5*g + g. Which is smaller: q or 2?
q
Let d = 1349/91 + -176/13. Which is smaller: d or 2?
d
Suppose 5 = p, -3*i - 2*p + 4*p = 4. Let g be (0 - -2 - 0)/2. Let a = 2 + g. Which is smaller: a or i?
i
Suppose -n - n = 0. Suppose 4 = t - n. Suppose z - t*h = 1, -5*z + h + 0 = -5. Are z and 1 equal?
True
Suppose 3*h = -3*o - 27, 0 = -3*h + 2*o - 63 + 11. Let d = h + 68/5. Let s = 1 - 1. Does d = s?
False
Let p(l) = l + 5. Let h be p(-3). Let v be (-9)/3 - (-35)/10. Is h >= v?
True
Let w be (60/(-9))/5*3. Is w bigger than -7?
True
Let q = -187/76 + -3/76. Is -3 less than or equal to q?
True
Let q(p) = p**2 + 4*p. Let z be q(-4). Which is smaller: 1/11 or z?
z
Suppose -9*m = -62 - 28. Is 10 >= m?
True
Let b = 0.099 + 0.101. Is -18 < b?
True
Let y = 39 + -44. Let h = 1 - 8. Which is smaller: h or y?
h
Let n = 26 + -496/19. Suppose -2*r - 10 = 2*r - 2*w, 5 = w. Suppose h + r*p = 4*p, 5*h = 3*p. Which is bigger: n or h?
h
Suppose 4*u - 5*u = -2*c - 4, 4*u = -c + 7. Let m be c + (3 - 6) + -2. Which is smaller: -7 or m?
-7
Suppose -2*z = -2*t - 0 - 4, 2*z + 2*t = -4. Let w be (-4 + (-9)/(-2))*-1. Are w and z non-equal?
True
Let 