al?
True
Let a = 0 + 3. Suppose -a*p = 3, -5*c + 80 - 8 = 3*p. Is 15 at least c?
True
Suppose 0 = -134*o + 138*o - 3*b + 78, 5*o - 4*b + 99 = 0. Let v be (-64)/5 - (-1)/(-5). Which is smaller: v or o?
o
Suppose -5*q - 13 = -4*x + 62, 0 = 3*q - 4*x + 45. Is 20 greater than q?
True
Let j = 78.229 + -78. Let s = 0.029 - j. Which is bigger: -2/25 or s?
-2/25
Let q = -2211/14 - -158. Suppose -3*x - 4*b + 5 = -2*x, -x - b = -2. Which is smaller: x or q?
q
Let o = -266/3 - -81. Is -8 smaller than o?
True
Suppose 45*h - 51*h - 36 = 0. Which is smaller: h or -13?
-13
Let h be (-15)/(-25) - (351/15)/3. Which is smaller: 1/9 or h?
h
Let r = 1.5 + -6.5. Let v = r - -4.84. Let d = -0.06 - v. Which is greater: d or 4?
4
Let k = -5386231/80 - -67326. Let o = 5/16 - k. Which is greater: o or 3?
3
Let j = -276 + 2197/8. Let z = j - -15/8. Is 0.05 at most as big as z?
True
Let y be 1 + (-2)/(4 - 5). Let a be 6/(-10) + (-13)/5 + y. Which is bigger: 5 or a?
5
Let k(n) = n**2 - 27*n - 151. Let v be k(30). Which is bigger: v or -62?
v
Let d be ((-30)/(-9))/((-25)/(-30)). Suppose -d*l + 4 = -5*b - 1, 0 = 5*b - l + 5. Which is greater: b or -24/17?
b
Suppose 0*f - 5*a - 1 = -f, -4*f + 67 = a. Let z = 93 - 89. Suppose -z*l = -3*j + 37, -j + 2*l + 1 + 10 = 0. Is f greater than j?
True
Let l = -17 + 16. Let m(i) = -7 + 14*i - 35*i + 20*i. Let h be m(-7). Which is smaller: h or l?
l
Let p(f) = -f**3 + 8*f**2 + 10. Let x be p(8). Let y be (13 - 14) + x/6. Which is greater: 2 or y?
2
Let a = -422 - -287. Let x be 324/a - 1*-3. Is -1 greater than or equal to x?
False
Let b be ((-4)/(-5))/((-9)/(-855)). Let u = -60 + b. Is u bigger than 16?
False
Suppose 4*h = 16, x = 3*h - 5*h + 7. Do -9 and x have the same value?
False
Let f = 1 - 2. Let h be ((-36)/(-300))/(2/(-15)). Which is greater: f or h?
h
Let s = 29 + -34. Let u be 4/10*s/6. Is u at most as big as -0.1?
True
Let k be ((-1002)/(-138) + -7)/1. Let h = -2 + 1. Are h and k equal?
False
Let b = -259 + 255. Which is bigger: 13 or b?
13
Let s(z) = z**2 + 12*z + 7. Let b be s(-10). Suppose 5*x = 4*c - 11 - 47, 5*x + 3*c + 79 = 0. Which is bigger: x or b?
b
Suppose 0*t + 234 = -6*t. Let x = t - -39. Which is smaller: 6/25 or x?
x
Let h = 43.7 - 46. Let k = -0.3 - h. Is 45 equal to k?
False
Let w be (-5 - -3) + -1 - -7. Suppose 4*r + 5*k + 116 = 0, -52 + 8 = 2*r - k. Let q be (-14)/r + (-3)/12. Is q <= w?
True
Suppose t = -t + 6. Let y = 78 + -73. Suppose 0 = -2*n - t + y. Are n and 2/19 non-equal?
True
Let j be 1/(-1)*0/(-3). Which is bigger: -2 or j?
j
Let p be ((-12)/(-60))/((-1)/(1 - 2)). Suppose 3 = -4*v - 4*a - 1, 5*a + 10 = 0. Which is smaller: v or p?
p
Let r = -41 - -98. Is r bigger than 52?
True
Let t = -419.5 + 408. Which is bigger: t or -0.1?
-0.1
Suppose 10 = -5*t + 2*n, -6 - 12 = 2*t + 2*n. Let a = 6 + t. Let p be (-6)/(-51)*(a - 3). Which is smaller: p or -1?
-1
Let i = 394 + -407. Which is smaller: i or 1?
i
Let u(w) = 4*w**2 + 3*w - 2. Let n be u(-4). Let f be (-1 + -2)*n/(-40). Which is greater: f or 4?
4
Let i = -754 - -725. Which is bigger: i or -1/2?
-1/2
Let j(d) = d**2 - 16*d - 1. Let u be j(0). Is u greater than or equal to -2/4481?
False
Let y = 16 - -14. Let t = y + -31. Is 0.06 greater than or equal to t?
True
Let f be 4/6 - (-1)/3. Suppose 5*b = 2*t - 6, 6 = 13*b - 10*b + 2*t. Is b at least f?
False
Let u = -316 - -357. Let h(j) = -j**2 + 17*j - 11. Let f be h(13). Is f at least as big as u?
True
Suppose 98*g = 129*g. Which is smaller: g or 10/201?
g
Let v = 24211/3930 - -4/655. Let f = 1165/186 - v. Which is smaller: f or 0?
0
Suppose -5*y - 2*l - 1192 = -3*l, -3*l = -3*y - 708. Is -239 bigger than y?
False
Let p be 8*(-2)/(-14) + (-6)/42. Is p less than or equal to -2/493?
False
Let c = -3.7 + 4. Let f = c + -0.2. Suppose 11*b = 14*b + 3. Which is smaller: f or b?
b
Let h = 20 + -18. Suppose 0 = -2*d - 5*p + 43, -3*p = -10*d + 5*d + 92. Suppose -5*l - 2*z = d, h*z + 2 = -l + z. Does l = -9/2?
False
Let z be -6 + (6 - 6) + 2. Let f be 0*((-6)/4 + 2). Suppose 5*k + 11 - 1 = f. Does z = k?
False
Let d be (-3)/(-4) + 57/36. Are d and 1 non-equal?
True
Let w = 1785.19 - 1785. Which is bigger: w or 0.3?
0.3
Let f = 659.04 - 659. Which is greater: -0.1 or f?
f
Let x(a) = 189*a**2 - 7*a - 8. Let k be x(-1). Is 188 at most as big as k?
True
Let b(x) = -2*x**3 + 48*x**2 + x - 17. Let n be b(24). Which is bigger: 8 or n?
8
Let g be -15 - (-1)/((-3)/(-3)). Let m be (-2)/(-2)*(-14)/g. Is 6/11 smaller than m?
True
Let l be ((-17)/(748/231))/((-3)/(-8)). Is l greater than -40/3?
False
Let o be (110/(-20))/((-4)/16). Which is smaller: o or 190/9?
190/9
Let j = -193/4 - -40. Which is greater: j or -9?
j
Let z = 356 + -356. Let b = -1436/17325 + 2/693. Is z less than or equal to b?
False
Let x be 99/33 + (-8)/2. Let c be (758/(-4))/(11/(-8)). Let v = c + -138. Which is smaller: v or x?
x
Let g be (4 - 2)/(15*7/(-2331)). Is g != 1/3?
True
Let f = 591.085 + -591. Which is smaller: -3 or f?
-3
Suppose 0 = 10*k - 5*k - 10. Suppose -2 = -k*u - 4*g, -5*g = -2*u + 5*u - 4. Let p = -7 + 7. Which is smaller: u or p?
p
Let g(k) = 38*k - 78. Let y be g(10). Is y >= 302?
True
Let k(h) be the third derivative of h**6/20 + h**4/24 + 4*h**2. Let w be k(1). Let m be 9/w + 2 + -4. Which is greater: -1 or m?
m
Suppose 0 = 4*f - 4*a + 557 + 379, -4*f + a = 948. Let q = -957/4 - f. Are q and 0.1 equal?
False
Let l be (-2)/6*-15*1. Let o(p) = p**3 + 8*p**2 + 9*p - 14. Let r be o(-6). Is r smaller than l?
True
Suppose -3*b - 2*n = 0, 0*n = -2*n - 6. Suppose a - 15 = b*i - 7*i, a + 6 = 2*i. Let h = a + 7. Is h greater than or equal to 7?
True
Let a(l) = l**3 + 3*l**2 - 9*l + 7. Let y be a(-5). Are y and -64 non-equal?
True
Let l be (36/(-8))/(3/(-32)). Let i be (3 - 14/4)*0. Suppose -5*b = 2*h + h + l, 5*b - h + 44 = i. Does b = 0.1?
False
Suppose -5*v = 5*l - 580, -5*v - 3*l + 279 = -293. Is 114 != v?
True
Let s(x) = -x**3 - x**2 - x - 25. Let w be s(0). Let n = -15 - w. Let k = n - 10. Which is smaller: k or 1/11?
k
Suppose 2*z = -5*h + 35, -z - h + 4 = -6. Let r be (-2)/(6/z) + 3. Which is smaller: r or 2?
r
Suppose -5*x - 13 = -38. Suppose x*c = c. Is -2/35 less than c?
True
Suppose -2*d + 6*d = 40. Let q = -16 - d. Let o be (-3)/2*q/39. Which is smaller: o or -1/2?
-1/2
Let j = -305 + 305. Which is smaller: -2 or j?
-2
Let k = 213.68 - 222. Let g = -4.73 + k. Let w = g - -13. Are w and 0.3 equal?
False
Let x = 564/205 - 14/5. Let j = -158/123 + x. Which is greater: j or -1?
-1
Let z = 11.078 + 2.922. Is z > -12/7?
True
Suppose 5*w + 5 + 20 = 0, -5*l + 3*w + 155 = 0. Let f be (l/4)/((-2)/4). Is f < -16?
False
Let d(r) = -r**3 - 8*r**2 - 4*r - 2. Suppose 1 = -9*k - 62. Let f be d(k). Are f and -22 unequal?
True
Let i = -348 - -346.51. Let l = i + 1.39. Which is greater: 5 or l?
5
Suppose 8*b - 390 = 3*b. Suppose -l - 2*l = -b. Suppose r + 4 = -q, r - q - l = 4*q. Do -0.2 and r have the same value?
False
Let l = -1414/33801 - -4/593. Is 0 < l?
False
Let f(p) = p**2 + p - 39. Let t be f(6). Let o(c) = -5*c + 15. Let j be o(t). Which is bigger: j or -83?
j
Let n be (-4)/2*(-45)/(-30) + 2. Is n at least as big as -1/364?
False
Suppose -b + 4 = m, m + 2*b - 8 + 3 = 0. Suppose -7 + m = -p. Suppose -3*l = 3*y - 6, 0*l - p*y + 8 = 5*l. Which is smaller: l or -4?
-4
Let n(s) = -8*s - 16. Let p be n(-2). Do p and -6/163 have different values?
True
Let a = -67.4 + 70.4. Let z = -1.1 - -0.1. Let s = z + 2. Which is smaller: s or a?
s
Let l be (-5)/3*(-572)/(-55). Let c = -35/2 - l. Is -4 at most c?
True
Suppose 4*k = 15*k - 748. Let h = -421/6 + k. Let j(a) = -a**2 - a + 3. Let l be j(-3). Is l bigger than h?
False
Let u = -112692 - -1238784/11. Is -74 < u?
False
Let l = -3/49 - 5528/147. Let r = l + 38. Which is greater: r or -15?
r
Let t be 5/(-14) + 1/2. Let q = 18 + -18. Suppose 4*s + 2*n + 4 - 10 = q, -4*n + 2 = -2*s. Is t greater than s?
False
Let f(i) = 2*i - 18. Let u be f(10). Let l be (-57)/(-78) + u/(-4). Are 1 and l equal?
False
Let y = 278/11 - 25. Let n = 36002 + -2376059/66. Let l = n - y. Which is smaller: 0 or l?
0
Suppose 2*w - 2*m - 22 = -3*w, 0 = 2*w + 4*m - 4. Suppose -w = 3*f + 5. Let q be (-9)/f - (0 + 1). Which is smaller: q or 0?
0
Let d(p) = p**3 + 11*p**2 - 14*p - 23. Let g be d(-12). Suppose j - c + 2 - g = 0, 4 