Let w = -2930/3 - -992. Is w at most 16?
True
Suppose 9*z - 10*z = 6. Let s be z/24 - (-22)/(-40). Which is smaller: s or 0?
s
Let x be 2/(-11) - 10/(-55). Suppose -3*s - 5 + 20 = x. Suppose -2*v = -s*n, -2 - 5 = -4*n + 3*v. Is n >= -2?
True
Let b = -1/285 - -13/95. Suppose -3*f - 2*f = 30. Let h be ((-4)/f)/(2/(-3)). Which is greater: h or b?
b
Let d(v) = 3*v**2 + 5*v - 2. Let o be d(-6). Let j = 461/6 - o. Let h = 0 + 1. Which is bigger: h or j?
h
Let b(d) = 3*d + 7. Let a be b(-8). Is -16 greater than or equal to a?
True
Let g = -17 + 17.1. Suppose -w + 5*w + 12 = 0. Is w bigger than g?
False
Suppose -y - 90 = 2*y. Is -115/4 at least y?
True
Let k be (-1 - -2)/(1/5). Suppose -23 = -t - 0*p - k*p, -4*p = 5*t - 10. Let u = t - -1. Which is smaller: u or 2/11?
u
Let f be (-4)/(-6) + (-616)/294. Does -1 = f?
False
Let v be (6/(-24))/(1/(-4)). Suppose z + 3*j - v = -17, -15 = 3*j. Is z equal to 8/7?
False
Let u be (2/20)/(85/(-10) - 2). Which is smaller: 0 or u?
u
Suppose -5*c - h = -112 + 23, 2*h = -5*c + 93. Suppose 4*v + k + 38 = 3*k, 0 = 2*v + k + c. Let y be ((-34)/4 - -1)/v. Which is greater: y or 2?
2
Let s(f) = f - 6. Let n be s(6). Let l be n/(-3 + 0 - -1). Which is smaller: -3/4 or l?
-3/4
Let d be 3/(-15) - 1/(-5). Let z be ((-10)/(-25))/(1/10). Suppose -y - 1 = 3*n - 0, -z*y = -8. Which is greater: d or n?
d
Let u(d) = -3*d**2 + d. Let s be u(1). Suppose -2*z - 2 = 4. Which is smaller: z or s?
z
Let q = -309 + 5251/17. Which is bigger: -1 or q?
q
Let i = 7 + -7. Let p be 4/66*3 + i. Let u = 74 - 220/3. Which is bigger: p or u?
u
Let v be 1 + -1 - ((-3)/(-9) - -3). Does v = -3?
False
Let s be (-4 - -2)*3/(-6). Which is bigger: 35 or s?
35
Let j be 5/10*(1 - -79). Let s = 1400 - 4079/3. Let t = s - j. Which is smaller: t or 0?
0
Let l be 0 - 66 - (-24 - -20). Is -63 less than or equal to l?
True
Let s be -1 + ((-168)/87 - -3). Which is smaller: -1 or s?
-1
Let f = 13.99 + -14. Do f and -2 have different values?
True
Let x(q) = q - 3. Let l be x(6). Suppose l*y - 20 = -y. Suppose -y - 4 = -3*b. Which is greater: b or 2?
b
Let o be -6*(0 - 9712174/308). Let u = 189201 - o. Let g = u - 34/11. Which is bigger: g or 0?
0
Suppose -2*t = 2*t + 36. Let o be ((-2)/(-1))/(4/(-6)). Let x be (-6)/t + (-1)/o. Does x = 0?
False
Let k = 21/2 - 12. Which is greater: -1 or k?
-1
Suppose 0 = -10*l + 180 - 690. Is -51 at least l?
True
Let r = 0.53 - -0.17. Let k = -0.3 - r. Let f = 85.1 + -85. Is k > f?
False
Let m(a) = -7 + 3 + 6 - a + 3. Let u be m(3). Which is smaller: 4 or u?
u
Let r = 2023/22 - 92. Suppose -f = 2*f - 3. Which is smaller: f or r?
r
Let r(d) = 23*d + 4. Let s be r(3). Let j = -512/7 + s. Is -1 at most as big as j?
True
Let u = 0.2 - -0.8. Are u and 18 nonequal?
True
Let a be (2 - 0)/(18/(-9)). Let y be 4/4 + a + 1. Does 1 = y?
True
Suppose -3*b - 9 = -l - 59, 0 = -3*l + 5*b - 130. Is -34 >= l?
True
Let c = 11 + -10. Is 16 greater than or equal to c?
True
Let j = 15 - 14.76. Let g = j + -0.14. Is g greater than 0.1?
False
Suppose -b = -4*q, 0 = -8*b + 5*b + q - 11. Is -4 at most as big as b?
True
Suppose -3*o - 22 = -5*k, -27 = -2*k - 3*k - 2*o. Suppose 2*w - 8 = -b, -4*w = 5*b - 21 + k. Which is smaller: 3 or w?
3
Let b be (((-1)/(-7))/1)/((-20)/(-14)). Let w = -8 + 9. Is b < w?
True
Let j be -6 + (0 - -1)*-1. Let o(y) = y**3 + 8*y**2 - 9*y - 6. Let k(l) = 8*l + 7. Let v be k(-2). Let b be o(v). Which is bigger: b or j?
b
Let g = 5 + -15. Let y = g + 9.8. Which is bigger: 1/2 or y?
1/2
Let l be (2 - 1)/((-2)/(-46)). Suppose l = -4*g + 2*g - 5*o, -5*g + 5*o = -30. Are g and 1 equal?
True
Let d be ((-12)/10)/(8/(-20)). Let b be (-5 + 2 + d)*1. Is b not equal to 2/5?
True
Let m = -0.12 + 0.01. Let s = 6.89 - m. Let t = s + -7.03. Is t greater than -1?
True
Let k be -3*(-1 - 2/(-3)). Let r = -99 - -94. Are r and k non-equal?
True
Let r be 3*(0 + 0 - -1). Let g = 0.01 + 0.99. Let f = 0 + g. Which is bigger: f or r?
r
Let w be -54 - (-1 + -1)*1. Is w at most -53?
False
Let j be ((-9)/5)/((-6)/20). Which is bigger: 1 or j?
j
Let u(y) = -y - 20. Let a be u(-14). Is a greater than or equal to -1?
False
Let w = -8.6 - -1.6. Let i = 0.199 - 0.099. Is i less than or equal to w?
False
Let p = -2 - -5. Let s = p - 4. Is s != 4?
True
Let k = 1.007 - 0.007. Let a = -8.9 + 8. Let n = a + k. Which is smaller: -0.3 or n?
-0.3
Let p be (-8)/12*(-3)/(-23). Let o = p - -27/46. Which is smaller: o or -1?
-1
Suppose 0 = 5*g + m - 2, -2 = -2*g - m. Suppose 2*x = 5*f - x - 1, g = -5*f - 3*x - 11. Let o = 21 + -67/3. Do o and f have different values?
True
Let f = -10 - -10. Let z be (-6 - 9)*(-2)/(-6). Does z = f?
False
Suppose c - 4*r + 24 = 0, -2*c + 0*r = 4*r + 36. Let y = c - -19. Is y greater than or equal to 4/15?
False
Let b be 3 - ((-1071)/(-40))/9. Is b <= 1?
True
Let p = 0.3 + -0.1. Let d = 1.6 - p. Let s = d + -0.4. Is s <= -1?
False
Let b be (-6)/(-2) + -17 - -1. Let s = b + 19. Let r be 12/189 - s/(-27). Which is greater: r or 1/4?
r
Suppose 3 = 3*a - 0. Let y = a + -1. Which is smaller: -2 or y?
-2
Let w be (-1 - -1)*(-2)/4. Suppose -5*m = 0, s + 3*s + 4*m - 4 = w. Is s less than -2?
False
Suppose -3*b + 2*b = -1. Let m be 27/(-21) - (-2)/7. Let w be -2 - (-1 - -2)*m. Is w greater than or equal to b?
False
Let y = -6 + 8. Suppose y*a = 6*a - x - 2, 8 = 4*a - 4*x. Suppose -2*z = 3*z - 5. Is a at most as big as z?
True
Suppose -3*h + 2*h = 9. Let g be h/(-12) + (-1)/(-4). Is g less than 2?
True
Suppose -4*a + 5 = 4*r + 1, -3*r + 11 = a. Suppose r*d - 3*d - 2 = 0. Let s be (1 - 1) + -2 + 3. Is s greater than or equal to d?
True
Let d = 5/21 + 127/84. Are 2/3 and d nonequal?
True
Let p(c) = -c**3 + 5*c**2 + 5. Let s be p(5). Let u(l) = -l**2 - 13*l. Let h be u(-9). Suppose 0 = -4*m + 7*x - 3*x + h, -m + 5*x + 25 = 0. Is m equal to s?
True
Let w = -358 - -128. Let v = -5059/22 - w. Which is smaller: 0 or v?
0
Let c(d) = d**3 + 10*d**2 + 8*d - 12. Let w be c(-9). Let j = -439/267 + -2/89. Which is greater: j or w?
j
Let h = 4 - 9. Let z = h + 5.02. Which is greater: z or 0?
z
Let t = 3 + 7. Let b be t/(-25) - (-16)/(-10). Suppose 0*z - 5*z = 5. Are b and z non-equal?
True
Let y = 1.7 - 1.7. Which is smaller: y or -0.16?
-0.16
Suppose 6*v + 9 = 7*v - 5*c, 4*c - 65 = -3*v. Which is bigger: v or 20?
20
Let a = 0.08 + -0.28. Which is greater: -2.2 or a?
a
Let m = 22.11 - 22. Is 1 not equal to m?
True
Let m = 12 - 8. Let j be m/(-1)*18/8. Is j less than -7?
True
Let w be (-10)/25 + (-2)/(-5). Is 3/4 at most as big as w?
False
Let p be 0 + 2 + -1 + -17. Is p equal to -17?
False
Let t(b) = b. Let u be t(6). Suppose 5*c + 14 = -1. Let a be ((-15)/u - c)*0. Are a and 2/11 non-equal?
True
Let j = 2 - 8. Let s = -5.9 - j. Which is smaller: -2 or s?
-2
Let j be -3 - -1 - (-10 + 6). Which is greater: 3 or j?
3
Let y = -2.18 - -1.98. Let s = -5.86 + -0.14. Which is bigger: y or s?
y
Suppose 2*y - 1 = 5. Let x be (y/(-7))/(39/(-26)). Is -2 less than x?
True
Let c = -1124/7 + 16804/105. Let h = c - -77/60. Is h bigger than 1?
False
Let j be (-3 + 4)*(2 + -1). Let b be ((-6)/63)/(j/(-3)). Which is smaller: 0 or b?
0
Let c = 1 - -2. Let x(k) = -k - 7. Let n be x(5). Let f be (-26)/n + (-2)/3. Is f smaller than c?
True
Let l be 2/(-7) - 44/(-7). Let q(x) = -x**2 + 5*x + 1. Let u be q(l). Let w(g) = -g**3 + 5*g**2 - 6*g + 4. Let i be w(4). Are i and u nonequal?
True
Let h = -14.69 - 0.31. Let p = -11 - h. Does p = 0.2?
False
Let p = 17/2 + -107/14. Let m = p - 88/119. Is 1 less than or equal to m?
False
Let l(f) = f**2 - 7*f - 3. Let m be l(7). Let q be 0 - ((-6)/(-16))/m. Which is greater: -1 or q?
q
Let q = 4 + -6. Let r(j) = -6*j + 1. Let z(l) = l. Let b(i) = -r(i) - 5*z(i). Let w be b(-1). Is q bigger than w?
False
Let x(d) = -d**2 - 24*d - 44. Let l be x(-22). Which is smaller: 3/8 or l?
l
Let k be (3 + -6)/((-3)/(-2)). Is k greater than or equal to 0?
False
Let d(n) = n. Let u be d(-8). Let m(j) = j**2 + 8*j + 2. Let t be m(u). Let b be t/7 - (-5)/(-7). Is -1 at most b?
True
Suppose 4*u = u - 117. Let c = -157/4 - u. Which is smaller: 2/5 or c?
c
Suppose 4*a + f - 63 = 0, -2*f - 60 = -3*a - 7*f. Let z be -1 - (-3)/a*3. Is -1 < z?
True
Suppose -6 = 2*i - 0*i + 2*d, 9 = -2*i - 3*d. Which is smaller: -1/109 or i?
-1/109
Let q = -4 + 4. Let b = 1 - q. Which is small