qual?
True
Let w be 1*(3 - (228 - 2)). Let p = w + 1777/8. Suppose 0 = -2*a - 5*k + 16, 4*a - 5*k + 13 + 15 = 0. Is a greater than or equal to p?
False
Let b = 1/306 - 1327/306. Suppose 37*y - 27*y + 40 = 0. Which is smaller: b or y?
b
Let f(x) = x**2 - 7*x + 13. Let g be f(4). Let i be (-2)/1 + (-4)/(-1). Suppose -r = i*t + g, -r - r - 5 = t. Which is smaller: t or 2?
t
Let r be 6/1 + (1 - -1 - -2). Does 10 = r?
True
Let q = 95 + -101. Which is smaller: 0.2 or q?
q
Let d = 4 - 46. Which is bigger: d or -345/8?
d
Let d be 7 + -6*(-52 - -7). Which is smaller: 275 or d?
275
Let h(k) = -k - 44. Let d be h(-53). Suppose 2*z + p = -2*z + 43, 0 = -3*z - 3*p + 39. Is d bigger than z?
False
Let n be -1 + ((-537)/280)/(9/(-6)). Let m be (2 + (-16)/7)/(-10). Let g = n - m. Which is bigger: g or -0.7?
g
Let b be 6/2 + -2 + (-19 - -20). Let v be (0*3/(-6))/b. Which is greater: v or 7.3?
7.3
Let p(x) be the first derivative of x**4/4 - 2*x**3 + 5*x**2/2 + x + 1. Let s be p(5). Let f be 1*(-6)/2 + s. Which is smaller: -1/2 or f?
f
Suppose 27 = k + 5*m, 7*k + 5*m = 3*k + 48. Suppose 0 = k*d - 30 - 33. Which is greater: d or 42/5?
d
Suppose -23*x + 14 = 244. Let r = 11 - 7. Let m be (18/4)/((-2)/r). Which is bigger: m or x?
m
Let r(u) = -3*u**2 - 20*u + 65. Let h be r(-8). Suppose 4*b - 33 = 99. Is h > b?
False
Let n = 1260 + -1258. Is n > -50?
True
Let h = 34 - 34. Let s = h + 0.1. Is s at most 2/23?
False
Let d = -0.07 - 0.18. Let p = 0.25 + d. Which is greater: 5 or p?
5
Let s = -10.71 - 1.29. Do -1 and s have different values?
True
Let t(s) = s**3 - 3*s**2 + 2. Let b be t(2). Let d be 0 - (2 + (b - 1)). Let j = 1567/11 - 142. Do d and j have the same value?
False
Let h = 32.13701 + -0.00701. Let f = h + -32. Let z = 0.03 - f. Is z smaller than -2?
False
Let a = -14/729 + 1630/34263. Is a bigger than -1?
True
Suppose -u + 5*u - 28 = 0. Let s = u + -14. Let d be 2/s - (-19)/(-7). Are -3 and d unequal?
False
Let p = 35/426 + 6/71. Is p less than or equal to -8?
False
Let r = -768 - -747. Let s = 8 + -5. Which is bigger: r or s?
s
Let z = -66.3 - -66.2. Let g = -0.2 + -15.8. Do g and z have different values?
True
Suppose 4*s - 10 = -2*i, 3*s + 2*i + 7 - 16 = 0. Which is smaller: s or -247?
-247
Let a = 48 + -47.8. Let j = a + -0.2. Which is smaller: 2/21 or j?
j
Let o be 7 - ((3 - -1) + -2). Let y be (-4)/(-15) - (-2)/o. Let w be (-2)/(-3) - 82/(-246). Which is smaller: w or y?
y
Suppose -4*r - 38*o = -41*o + 519, 4*o + 232 = -2*r. Are r and -637/5 non-equal?
True
Suppose 67 = 9*r + 67. Which is smaller: r or 0.34?
r
Let h = -0.078 - 49.922. Let t = -52 - h. Let b = -2 + 1.9. Which is smaller: t or b?
t
Suppose 3*q = 4*l - 256 - 149, 2*l = q + 137. Is -132 < q?
True
Suppose -124 = 4*v + 292. Let w be v/(-18) + 10/45. Suppose -10 = -n + w*n. Which is smaller: -1 or n?
n
Suppose -2*n = 141 + 93. Let v = n - -141. Is 23 > v?
False
Let b = 0 - 19. Let d = b - -26. Let j = -7 + d. Which is smaller: j or 4/5?
j
Let r be (-3)/(12/(-2))*0/(-2). Which is smaller: r or 4?
r
Let d = -7/13 + -5/39. Suppose 0*f - 20 = 5*f. Let c = f - -4. Are d and c equal?
False
Let i be 10*(3 + 76/(-20)). Suppose -2 = 2*x + 22. Let c be x + (-2 - (2 - 7)). Which is greater: c or i?
i
Let h(w) = w**2 - 5*w + 1. Let a be h(4). Let j = -926/561 - 3/187. Which is smaller: a or j?
a
Let c(d) = -2*d - 25. Let o be c(-15). Suppose 0 = 3*n - 4*n - 3. Let y = n + 7. Is y less than o?
True
Let t be (8/12 + -2)/((-4)/(-6)). Let g be (t*2/16)/(2/(-8)). Which is smaller: g or 2?
g
Let c = -356 - -357. Which is smaller: c or 2/1681?
2/1681
Let f be 45/(-75) - 288/(-530). Let s be -2 - (1691/(-848) - 0). Let y = f + s. Is -1 at most as big as y?
True
Let i = 1331878585/138 + -9651371. Let f = i - -729677/9338. Let t = f - 8/87. Which is smaller: 1 or t?
1
Let w(z) = -2*z + z**3 + 2 + 3*z**2 - 5*z**2 + z. Let a be w(2). Suppose -c - 9 + 3 = a. Are c and -5 nonequal?
True
Let m = 0.09 - 0.152. Let z = m + 0.162. Which is greater: -1/6 or z?
z
Suppose -46*i = -36 - 194. Let z(m) = 1 + 4*m - 3*m - 3 + 1. Let p be z(7). Is i greater than or equal to p?
False
Let u = -91 - -635/7. Let t = 0.12 + -1.72. Let y = t - -1.6. Is y < u?
False
Let l = -5 + 5. Let r = 11.1 - 25.1. Is r < l?
True
Suppose -2*l + 10 = 4. Suppose l*p = 11*p. Let q be 2 + (0 - (-195)/(-102)). Is q smaller than p?
False
Let x(r) = -r - 3. Let c be x(0). Let v(o) = -3*o**2 - 3*o - 3. Let w(b) = -b**3 + 7*b**2 + 9*b - 9. Let t be w(8). Let u be v(t). Is c equal to u?
True
Let d = -9 - -13. Suppose 10 = 6*q - d*q. Let f be (-102)/(-410) - 1/q. Is 0 equal to f?
False
Let i = 3 - 4.4. Let a = i - -7.4. Which is greater: a or 0.1?
a
Let y(b) = -b - 4. Let g be y(-6). Suppose 0 = 2*o + 4*u - 4, -g*o + u = -0*o - 4. Let n be 12/150*o/2. Which is greater: n or -1?
n
Let x(u) = 3*u - 1. Let r be x(-4). Let y = 14 + r. Let m = 1/693 + -1429/29799. Which is greater: m or y?
y
Let l(t) = -t**3 - 26. Let n be l(0). Let s be (-3)/15 - n/5. Let w(v) = -v**3 + 42*v**2 - 5*v + 215. Let g be w(42). Is g < s?
False
Suppose 0*l + l = -5*a + 29, 0 = a + 5*l - 25. Suppose a*f + 33 = -2*y, 0*f + 2*f - 68 = 5*y. Let z = -1 - y. Which is bigger: z or 12?
z
Suppose 19 = 5*n + 4. Suppose -5*f - 4 + 1 = -4*k, -2*k = -n*f - 1. Suppose -o + 12 = 3*c + 2*o, k*c = 2*o + 24. Is 8 at least c?
True
Let m = 172 + -141. Which is bigger: m or 0.2?
m
Let r(z) = -10*z**2 + 16*z - 22. Let j be r(6). Which is smaller: j or -285?
j
Let p = 35 - 47. Let a = -11.5 - p. Let u = 4.5 - a. Which is smaller: u or -2/7?
-2/7
Let c = 463838/77 + -6024. Which is smaller: 1 or c?
c
Let n be (-3 + 30/8)*4. Suppose 9 = -n*h - 9. Let x(f) = f**2 + 5*f + 1. Let u be x(h). Are 7 and u equal?
True
Let u(g) = g**2 - 6*g + 1. Let c be u(6). Let s(b) = -b**2 - 2*b + 1. Let f be s(c). Let r be f - (68/(-20) + 1). Is r greater than -0.2?
True
Let p be (-7)/((-104)/65 + (-6)/(-10)). Are p and 3 unequal?
True
Let l be ((-636)/(-44))/3 - (-8)/44. Suppose 3*n - l*n + 21 = -3*b, 5*b + 21 = n. Let j = 5 + -3. Which is greater: n or j?
n
Let c = 274 + -183. Do c and 90 have the same value?
False
Let n = 13 + -13.9. Let r = 2.27 - 0.37. Let l = r + n. Which is smaller: l or -13?
-13
Suppose w - 4 = -w. Suppose 30 = -m + 6*m. Let s be ((-4)/m)/((-4)/2). Which is greater: s or w?
w
Let a = -17.16 - -0.16. Let q = a + 6. Let w = q - -9. Is w greater than 0.6?
False
Suppose 3*n + 9 = 0, -4*n = -3*j + 4*j - 37. Let g = 293/6 - j. Suppose -3*b + 0 = 3. Is b > g?
False
Let k(n) = n - 9. Let p = -1 + 19. Suppose 9*w - p = 6*w. Let c be k(w). Is -13/5 less than c?
False
Let b(d) = 17*d**2 + 4*d - 11. Let u(j) = -11*j**2 - 3*j + 7. Let m(z) = -5*b(z) - 8*u(z). Let q be m(-2). Which is smaller: 5 or q?
q
Let z = 86/7 - 3684/301. Let c = -18 - -33. Suppose -2 - 4 = -2*q, 2*g - 5*q + c = 0. Do z and g have the same value?
False
Let f(m) = m**3 - 6*m**2 + 3*m + 6. Let w be f(5). Suppose -24*a - 144 = 24. Is a < w?
True
Suppose 0 = 4*n - 3*n - 16. Let x = 20 - -10. Suppose -8*l + 6*l + x = 0. Is l greater than n?
False
Let y = 1393 - 1392.9. Which is smaller: y or -49?
-49
Let i = 1217 + -1252. Which is bigger: -20 or i?
-20
Let b = 14 + -10. Let c(d) = -11*d - 1. Let j be c(b). Let v be 35/j + 4/6. Which is smaller: -1 or v?
-1
Let v = -2422.9034 - -2423. Is -0.1 greater than v?
False
Suppose -4*o = -8, 6*o = -2*c + 7*o. Which is greater: c or 2/1091?
c
Suppose 3*p - 14 = 4. Suppose -o - 2 = -p. Which is smaller: o or 5?
o
Suppose 7*n + 200 = -5*y + 2*n, 80 = -2*y - 5*n. Are y and -42 non-equal?
True
Let h = -22 + 25. Suppose -h*r + 13 = s, 4*s = -3*r - 2*r + 52. Which is greater: 12 or s?
s
Let s = -36 - -33. Let w be 22/(-190) - s/(-15). Which is greater: w or 0?
0
Let w = -2.08 + 0.08. Let c = w + -4. Let x = -7 - c. Is x <= -6/11?
True
Let t = -0.044 - 0.426. Let g = -3.23 + 3.3. Let c = t + g. Is -0.03 less than or equal to c?
False
Let t = 817356/11 + -74252. Which is smaller: 54 or t?
t
Let v(r) = 28*r - 1. Let n be v(1). Let m be 1347/n - (-2)/18. Let d = -79 + m. Which is smaller: d or -30?
-30
Let a = -23137 + 115158/5. Suppose 9*n - 10*n = 105. Let p = n - a. Which is smaller: 0.05 or p?
0.05
Let u be (4/276)/((-40)/15 - -3). Is 1 != u?
True
Let x be ((-6)/(-16))/((-3)/(-2)). Let z be (33/10)/(-3) + (11 - 10)