qual?
False
Let b be 18/(-117) + 56/26. Suppose b*o + 7 = -1. Is o at least -5?
True
Let j = -9671/52 - -1446/13. Let a = 75 + j. Is -8 equal to a?
False
Let r = -36.7868 + 0.0868. Which is bigger: r or -1?
-1
Let d be ((-43)/(-27) - -1)*102/(-136). Let i = -25/6 + 119/18. Let w = i + d. Which is smaller: w or 2?
w
Suppose 2*j = 0, 5*k = 3*j - 38 - 7. Is k at least -5?
False
Let t = 5.93 + -6. Let s = 0.14 + t. Let y = s + -0.27. Which is greater: 0.2 or y?
0.2
Let b = 0.0157 - -0.1843. Is b equal to -0.09?
False
Let v(n) = n**2 + 11*n + 24. Let i be (18/(-27))/(4/54). Let c be v(i). Is 3 at most as big as c?
True
Suppose 0*x + 3*x = 6. Suppose -2*n - 1 - 3 = 0. Which is greater: x or n?
x
Let i be 3/(-2)*16/12. Let p be -1 + (3/6)/((-1)/i). Which is bigger: -2/55 or p?
p
Let l(o) = -o**2 - 20*o + 97. Let u be l(16). Is -480 < u?
True
Let a(k) = k**2 + 23*k - 77. Let x be a(-26). Which is smaller: x or -3/290?
-3/290
Let g = 52 - 78. Let q = g + 19. Let h = 0 - 1. Is h smaller than q?
False
Let y(a) = 20*a + 325. Let x be y(-15). Do x and 4 have the same value?
False
Suppose 1 + 3 = -2*a. Let n be a/(-5) - (-3 - 1254/15). Is n <= 87?
True
Let q be (-346)/(-8) + 10/(-40). Let g = -61 + q. Let t be 31/g + 33/22. Is 0 less than t?
False
Let g = 173 + -176. Does g = -3/10?
False
Let g = -23 + 15. Let x(v) = -v**2 + 5*v - 2. Let c be x(4). Let w be 1/(15/(-7) + c). Is g not equal to w?
True
Let y = -5072 + 76069/15. Let f be 2/4 - (-3)/(-6). Which is smaller: f or y?
y
Suppose 5*f + c = 441, -5*c + 259 = 3*f - 3*c. Suppose -5*n = -f - 56. Let z = 57/2 - n. Which is greater: -1 or z?
z
Suppose 0 = f - 2*n - 17, 5*f - 77 = 5*n + 3. Do f and 74/5 have different values?
True
Suppose -2*o = 5*s - 18 + 692, -5*o = 3*s + 393. Are s and -137 non-equal?
True
Let g = -1/4845 - -455443/62985. Is g less than or equal to 7?
False
Let a be 8/(-12) + (-5)/(4470/(-608)). Is a > 0?
True
Let f = -0.2 - -1.6. Let b = f + -2.4. Let r = -0.1 - 0. Which is smaller: b or r?
b
Suppose -4*r = -4*y + 104, 4*r + 2*y + 131 = 39. Let g be (1*5)/((-4)/r). Let c = -92/3 + g. Is c at least 7?
False
Let o = 579 + -579.2. Which is smaller: o or 4.06?
o
Let z be (1 - -9)/((-4)/(-22)). Let s = z - 387/7. Is s greater than 49?
False
Let s = -11 + 16. Suppose -4*u + 2*q - 40 = 0, 28 = -s*u + 4*u + 5*q. Suppose -4*y = 5*m + 21, 0 = 2*y - 3*m + 17 + 10. Is y at least as big as u?
False
Let r be 3214/65 + 15/(-25) + 108/702. Let p = -4 + 53. Is r smaller than p?
False
Suppose 31*u - 3 = 34*u. Are u and -5/39 non-equal?
True
Let h(l) = -l**2 + 3*l - 3. Let b be h(2). Suppose 4*q = 3*q + 2*u - 6, -5*q = 4*u + 16. Let k be ((-77)/(-30) - 3) + q/(-12). Which is bigger: k or b?
k
Let g = 1504 - 3005/2. Suppose 0 = 3*m - 30 + 3. Let k = m - 6. Which is bigger: g or k?
k
Suppose 20*l - 74 - 6 = 0. Suppose -4*j + 24 - 4 = 0. Which is smaller: j or l?
l
Suppose -90*u + 99*u + 9 = 0. Are -1/1964 and u equal?
False
Let w = 2.11 - -11.89. Are w and 0.09 non-equal?
True
Let v = -1.55 - -1.45. Let u be 60/9*(-2)/(-15). Let a = u - 11/9. Which is smaller: a or v?
a
Suppose -2*f + 236 = -192. Let l be 10/15*6/f. Which is greater: -1 or l?
l
Let n be (-21)/2*4/6 + 2. Let h(o) = 4*o + 6*o**2 + 3*o + 7 - 2*o + o**3. Let q be h(n). Does -1 = q?
False
Let u = -122 + 79. Let f = -43.31 - u. Let i = f + 0.11. Which is smaller: 1 or i?
i
Let g = -119/15 + 1013/105. Are g and 1 unequal?
True
Let r = -273 + 272. Is r less than or equal to -1.2?
False
Let r be (0 + 109/5)/(50/250). Does r = 2/11?
False
Let z = -9983/41123 + -8/697. Which is greater: z or 0?
0
Let w = 86 + -85. Let g = -14 + 2. Which is bigger: w or g?
w
Let c = -255 - -255.5. Is c not equal to 12?
True
Let p(j) = -j**2 - 4*j - 4. Let n(l) = -l**2 - 3*l - 3. Let m(u) = -6*n(u) + 5*p(u). Let g be m(4). Let v be 5*-1*3/(-15). Which is smaller: v or g?
v
Let z = -537 - -4299/8. Let q = 0 + 0. Let v = 0 + q. Which is bigger: z or v?
z
Suppose 0 = w - 6 + 12. Let a be 6/63 + 4/w. Let m be (-1 - 1)*(-3)/12. Is a equal to m?
False
Let s be ((-48)/8 - -8)/(2/(-30)). Which is smaller: s or -28?
s
Let c be (-1 + 8)*(-6)/777. Which is greater: c or 0?
0
Let f = -510 - -514. Is f greater than or equal to 29?
False
Let f(t) = -t**2 + 6*t + 9. Let j be f(7). Suppose 0 = z + 2*d + 2 + 1, j*z - 5*d = -24. Let h = -9 - z. Which is smaller: h or -1?
h
Suppose -11 = -5*n + 9. Suppose -3*v + 123 = -r, 5*v = 2*v - 4*r + 108. Suppose -n*u - v = -0*u. Is -8 at least u?
True
Suppose 0 = 2*o - 4*o - 6. Let b(c) = -c**3 - 4*c**2 - 5*c - 4. Let l be b(o). Is l greater than or equal to 2?
True
Let s = 178 - 179. Which is smaller: -2/67 or s?
s
Let d = -189 + 399/2. Let y(p) = -p + 1. Let x be y(-10). Is d at least x?
False
Let o(s) be the first derivative of s**3/3 - 5*s**2 + 2*s + 2. Let r(x) = -x**3 - 17*x**2 - 17*x - 6. Let c be r(-16). Let k be o(c). Which is smaller: k or 6?
k
Let i = 7428/1981 + -10/283. Is i smaller than 4?
True
Let m(l) = -l**3 + 12*l**2 - 9. Let c be m(12). Let o(f) = f**2 + 9*f. Let g be o(c). Which is smaller: -27 or g?
-27
Let g(k) = -6*k**2 + 14*k - 33. Let i be g(5). Which is greater: i or -112?
-112
Let x = -12 + 14. Suppose 3*f + 2*y - 14 = -0*y, 4*f + x*y - 16 = 0. Let d be (-111)/39 + f/(-13). Which is greater: -1 or d?
-1
Let o be 30/(-8)*(-654)/(-10). Let m = o - -243. Let k be (4/(-3))/((-180)/(-405)). Which is greater: m or k?
m
Let r = 64 - 92.2. Let k = 29.18 - 0.18. Let u = k + r. Which is greater: 0 or u?
u
Let p be 8/20 + (-1 - 112/(-20)). Suppose 2*b = 2*t + 3 + p, -2*t - 4*b = 38. Which is greater: -5 or t?
-5
Suppose -2*p - 3*g + 8 = 0, 2*p - 3*g = 2 - 18. Let r be -1 + (-188)/68 - p. Let z = -296/187 - r. Is 1 less than or equal to z?
False
Let i(v) = 7*v - 29. Let r(t) = -15*t + 59. Let h(w) = 13*i(w) + 6*r(w). Let q be h(9). Which is bigger: -13 or q?
-13
Let c = -99.12 - -101. Let a = c - -0.12. Let h = a - 1.6. Is 2 bigger than h?
True
Let p = 1416 - 1424. Is p <= -14?
False
Suppose 2*p + p = -105. Let m = p + 523/15. Let v(j) = -j**2 + 4*j - 2. Let u be v(3). Does m = u?
False
Suppose 0 = -25*l + 14*l - 5357. Is -488 greater than or equal to l?
False
Let c = -5 - 13. Let g be (-15)/c*(-9)/(-12). Which is bigger: g or 0?
g
Let z = -1 - -4. Let s(n) = -n**2 - 10*n + 13. Let h be s(-11). Suppose -3*i = -3*x - z, 5*x + h + 3 = 4*i. Are 9 and x unequal?
True
Let v be (-16812)/714 - 6/(-51). Is v <= -24?
False
Let j = 33.4 - 33. Is -3/5 <= j?
True
Suppose 2*l - 8*l + 252 = 0. Let h be 8/(-24) + 26/l. Which is smaller: -1 or h?
-1
Let p be 0 - -3 - (-6)/(-24)*92. Let m be 24/(-6) + p/(-3). Does 2 = m?
False
Let w = -148 + 44. Let m = w + 1147/11. Let o = 11 + -10. Is o < m?
False
Suppose -232 - 23 = -5*z. Let r = -305/6 + z. Is r less than or equal to -2/3?
False
Let c(a) = -a**3 - 17*a**2 + a + 23. Let b be c(-17). Suppose -b*o + 10 = 28. Let k(w) = -w**3 - 4*w**2 - 3*w - 1. Let u be k(-2). Is o at least u?
True
Let r(k) = k + 8. Suppose 17 = 2*l - w, l + 0*w - 3*w - 16 = 0. Let g be r(l). Let f be (-20)/g*1/4. Which is smaller: f or 0.11?
f
Let d = 34 + -13. Let n = d - 16. Suppose -4*f = 4*s - f + 31, 3*s + 16 = n*f. Is -7 >= s?
True
Suppose -5*q - 2 = 4*j + 4, -2*j = 3*q + 4. Let h = 1/3 + -16/75. Which is smaller: j or h?
h
Suppose 0 = 2*r + u + 782, -2*r - 634 = -u + 140. Which is smaller: r or -0.1?
r
Let i(q) = -26*q - 96. Let m be i(3). Which is bigger: -1222/7 or m?
m
Let y = 1879 - 1890. Is -10 greater than or equal to y?
True
Suppose -230 = -63*z + 58*z + 5*m, 66 = z + 4*m. Is z at most as big as 46?
False
Let h be ((-4)/(-8))/(3/78). Suppose -h - 27 = -4*k. Suppose 3*s - k = 14. Which is smaller: 7 or s?
7
Let p be ((-20)/16)/(-1)*4. Let m be 420/50 - 2/p. Suppose m = -2*x + 22. Is 6 less than or equal to x?
True
Let a = -58 + 51. Let m be (a/3 - -2)/(1/(-21)). Suppose 0 = n + n - 14. Is m > n?
False
Let h = 13 + 51. Let i be (12/h)/((-3)/(-2)). Let x be 0*-1*(3 - 2). Do x and i have different values?
True
Suppose -5*a - 2*v = -256, a - 3*v = -a + 110. Let k = a + -1509/29. Let w(q) = 17*q - 204. Let u be w(12). Which is greater: u or k?
u
Let c = 17071/384 + 27/128. Let s = 44 - c. Are s and 15 nonequal?
True
Suppose 1 = -2*i + 61. Let r(m) = 103*m - 1. Let l be r(1). Let a be (-10)/i - (-46)/l. Is a greater than