aller than a?
False
Suppose 3*u - 2*g + 7 = 0, 4 = 5*u - u + 4*g. Let z = u + 5. Let r be 9/4 + (z - 6). Which is bigger: 0 or r?
r
Let b be (-4)/(-22) - (-198)/242. Which is bigger: 93 or b?
93
Let n = 0.69 - 0.713. Let z = 0.077 - n. Which is greater: -41 or z?
z
Let s = 18 + -31. Let t = 3 + s. Suppose 0 = -4*v - 22 - 14. Which is smaller: t or v?
t
Let q be (2 + -4 + -16)*-1. Let v = -16 + q. Let s be v - 1 - (-2)/(-8). Which is greater: 0 or s?
s
Suppose s + 2*o + 0*o = 8, 5*s - 5*o - 40 = 0. Let p(n) = 3*n - 12. Let q be p(s). Let i be (1/(-4))/(6/q). Which is smaller: -1 or i?
-1
Let w be 1*(-2)/7 + 70/245. Are w and 1/123 nonequal?
True
Suppose -3*c = -s - 30, 4*s = s. Is c <= 8?
False
Suppose 0*u - 6 = -3*u. Let i(j) = j + 8*j + 5*j - j**3 - 13 - 14*j**u. Let l be i(-15). Does 1 = l?
False
Let b be 8/20*(-5)/(-2). Which is smaller: b or 2/709?
2/709
Suppose 0 = 23*n - 25*n + 10. Suppose -4*m - 3*d + 24 = 2*d, -18 = -3*m - d. Which is greater: m or n?
m
Suppose -3*g + 6*g = 6. Suppose 1 = n - 0*n + m, g*n - 2*m - 18 = 0. Suppose n*z = -13 - 2. Is -2/13 smaller than z?
False
Let p(f) = -f - 19. Let l be p(-15). Let x be l/(-18) + 4490/(-360). Is x > -13?
True
Let o(j) = 5 - 4*j**2 - j**3 + 10 - 11 + 0*j + 3*j. Let n be o(-3). Let p be (-6)/n*(-2)/(-2). Which is bigger: -1 or p?
p
Let x = -337 + 336.93. Which is bigger: -3/40 or x?
x
Let u = 8 - 4. Suppose 5*y + 0*y = 3*j + 15, -u*y = -12. Suppose j + 1 = -b. Are b and -4/3 equal?
False
Let x = 53 - 46. Suppose -17*n = -x*n. Which is smaller: n or -1/22?
-1/22
Let j = 2649 - 2642. Which is smaller: 138 or j?
j
Let n = -0.455 - -32.455. Is n less than -2/5?
False
Let p = -93 + 64. Let d = -25 - p. Let u(r) = -5*r - 1. Let v be u(-1). Does v = d?
True
Suppose -3*y + 65 = 14. Which is smaller: y or 13?
13
Let t be 27387/646 + (-4)/(-38). Are 43 and t nonequal?
True
Let w = -9.2 + 11.2. Let x = 11 + -14. Which is smaller: x or w?
x
Let k = -190 + 23. Which is bigger: k or -166?
-166
Suppose 0 = -n + 1 - 3. Suppose -5*t = 0, -3*t - 8 = -4*g - 5*t. Suppose -11*u - 26 = -6*u - 4*m, -3*u - 2*m + g = 0. Is n equal to u?
True
Let u(h) = -h**3 - 2*h**2 + 15*h - 23. Let b be u(-10). Are 628 and b unequal?
True
Suppose 0 = 34*i + 154 - 18. Are -20 and i equal?
False
Suppose -5*p + x - 85 = 0, 7*x = p + 2*x - 7. Let y be (22/(-44))/((-54)/56 + 1). Let z = p - y. Is -4 not equal to z?
False
Let x = 3 + -4. Let l = -8 - -8. Let o = -4 - l. Which is bigger: o or x?
x
Let g be 3/(-3)*4/1572. Is 0 greater than g?
True
Suppose 9*l + 14 = 32. Are l and 2/17 unequal?
True
Let k(b) be the second derivative of 5*b**3/6 - 7*b**2 - 8*b. Let n be k(4). Which is smaller: 7 or n?
n
Let n(x) = x**3 - 2*x**2 - 6*x + 8. Let q be n(1). Which is smaller: 476 or q?
q
Let g be 48/(-120) - 2/(-5). Suppose 3*p + 3*d + 0*d - 3 = g, 5*p - 5*d = -5. Let x(a) = a**3 + 5*a**2 + 5*a + 4. Let i be x(-4). Is i >= p?
True
Let s(c) = -c**3 - 15*c**2 - 8*c + 22. Let w be s(-14). Which is greater: w or -68?
w
Let k = 16 - 17. Let o(w) = 4*w + 4. Let h be o(3). Let n be h/(-300)*3/(-2). Which is smaller: n or k?
k
Let w = -1709 + 1709. Which is greater: -25/63 or w?
w
Let t(u) = -u**2 + 7*u - 7. Let p be t(6). Let n = 557/10472 + 1/2618. Do p and n have different values?
True
Let z(r) = -27*r + 164. Let v be z(7). Let h = -0.3 + 0.2. Which is smaller: h or v?
v
Let u be (0/2)/((-4)/4). Suppose -5*v = -u*v. Is v != -4/37?
True
Let j(c) = c**2 + c - 15. Let w be j(-7). Let b = -109/4 + w. Which is smaller: -1/2 or b?
-1/2
Suppose -7*o + 6*o + 424 = 3*g, -4*o = 2*g - 1646. Is 0.1 greater than or equal to o?
False
Let k = 126 + -861. Which is smaller: -736 or k?
-736
Suppose -4*k - 48 + 13 = -x, 3*k = 3*x - 33. Suppose -5*a - 67 = 8. Let v = k - a. Does 7 = v?
True
Let s be (5127/1035 - (-8)/60) + -5. Which is smaller: 2/5 or s?
s
Let q = 1934 - 1965.29. Let a = q + 1.29. Is a equal to 0?
False
Let i(v) = 3*v**2 + 17*v + 6. Let x be i(-5). Suppose 6 - 21 = 3*o. Which is bigger: o or x?
x
Let p = -8 + 13. Suppose p*l - 47 = 2*y, 3 = 3*l - 2*l - 2*y. Let g = 12 - l. Which is smaller: g or 1/6?
1/6
Suppose 12*c = 2195 + 6805. Does c = 750?
True
Let x = -37308/185 + 1009/5. Which is bigger: x or 0?
x
Let n = 23.5 - 4.5. Let m = n + -11. Let t = m - 15. Which is smaller: 2/3 or t?
t
Let c = 2 + 3. Suppose 0 = -c*q - 20, -q = 5*m - 3*q - 33. Suppose -16*s - m = -11*s. Is s bigger than 4?
False
Let m = -143/45 - -25/9. Let p(q) = 2*q**2 + 65*q + 94. Let s be p(-31). Which is smaller: m or s?
m
Let y be (-106)/(-54) - (0 + 2). Suppose 8*m + 10 = 18. Which is smaller: m or y?
y
Let a be (2 + (-9 - -5))/46. Are 2/15 and a nonequal?
True
Let z = 3/302 + 39553/906. Is 44 less than z?
False
Suppose 5*f + 1 + 4 = 0. Suppose -4*s + 2 = -2. Let l be (s/5)/(16/(-10)). Which is bigger: f or l?
l
Suppose 23 = -19*g + 270. Is 7 less than g?
True
Let z(l) = 5 + 8 - 3*l + 6*l**3 - 5*l**2 - 2 - 5*l**3. Let m be z(5). Which is smaller: -13/4 or m?
m
Let j(c) = c**2 + 4*c - 4. Let h be j(-4). Let g be 4*1*7/(-7). Is h at least g?
True
Let h(m) = -39 + 10*m - 8*m + 2*m. Let r be h(11). Are 8 and r equal?
False
Let m = 35 + -39.4. Let g = 3.6 + m. Let a = 4 + -4.1. Do g and a have the same value?
False
Suppose -4*t + 3 - 19 = 5*q, t = -3*q - 4. Is 7/20 <= q?
False
Let q = -6 + 14. Let z = 9 - q. Is -2 greater than z?
False
Let q(n) = -n - 13. Let u(z) = z + 12. Let w(a) = -4*q(a) - 5*u(a). Let i be w(-8). Let x be 54/(-19) + (-4 - (3 - 10)). Is i > x?
False
Let x = 6.2 - 6.2. Let d = 3.1 - -9.9. Is d < x?
False
Suppose 0 = 2*c - 5*q + 10, -1 = -q + 1. Suppose c = 10*b - 5*b + 55. Let z be b/44 + 62/120. Is -1 smaller than z?
True
Let a be 52/(-19) - -15*(-8)/(-40). Which is bigger: a or 0?
a
Let a = -23 - -30. Suppose a*h + 48 = 3*h. Which is bigger: h or -0.1?
-0.1
Let u = 2.2 + -2.2. Let z = -8.7 + -0.3. Let d = z + 23. Is d smaller than u?
False
Let d = -25.01 - -0.01. Let t = -42 - d. Let k = t + 15. Is -4 smaller than k?
True
Let r(c) = c**3 + 11*c**2 + 6*c - 20. Let a be r(-10). Let t = 15 - a. Do t and 1 have different values?
True
Suppose 4*v + 4 = -2*n, 0 = -4*v - 16 + 12. Which is smaller: n or -1/582?
-1/582
Let h = -112 + 562/5. Which is smaller: -83 or h?
-83
Let r(k) = 7*k - 6. Let f be r(0). Suppose 0 = 2*g + 6. Are f and g nonequal?
True
Let t(z) = 62106*z**3 + z**2 + 2*z + 1. Let b be t(-2). Let s = b + 89432153/180. Let c = s - -7/4. Which is greater: 1 or c?
1
Let p = 54.05 + -54. Let f = -27.6 - -28. Which is smaller: p or f?
p
Suppose 2*n = -2*n + h - 93, 5*n + 85 = -5*h. Which is greater: n or -18?
-18
Let u = 1.4 - 10.4. Let k be (-25 + -3)*21/(-12). Let a = k - 247/5. Is u greater than a?
False
Let h be (-3)/4*(-216)/6. Let q be h/7 + 9/63. Let d be 56/(-42)*(-6)/q. Is 1 at least as big as d?
False
Let n = 16/211 + -3481/37558. Is n at least -1?
True
Suppose -4*k = -4*z - 8, 0*k + 3*z + 6 = -2*k. Let j(t) = t - 2. Let v be j(k). Let i be (2 - 4)*5/9. Is i <= v?
False
Suppose 5*s = s + 2*u + 12, -3*s = 2*u - 23. Suppose c + x + 22 = 0, x - 40 - 100 = s*c. Is -27 not equal to c?
False
Suppose 0 = -3*i + 2*i - 4. Suppose -3*b = -0*b - 12. Suppose 2*a - l = -b, -3*a - 4 = -2*l - 0. Is a <= i?
True
Let x = 1437.03 - 1437. Is x less than 5.8?
True
Let p be 0/((-2*6)/6). Let b(c) = -c**3 - 3*c**2 + 7*c - 1. Let l be b(-5). Is p bigger than l?
False
Let d = -2123666/177 + 11998. Is 0 equal to d?
False
Let s(v) = v**2 + 9*v + 9. Let n be s(-2). Is -231 at most n?
True
Let m = 0.99 + -1.01. Let z = -0.08 + 0.1. Let b = m + z. Are b and 0 unequal?
False
Let w(k) = -k**2 + 2*k. Suppose 3*p - 5*h - 1 = -0*h, 0 = -5*p - 2*h + 12. Suppose p = f, -3*l + 2*f - 3*f = -8. Let m be w(l). Which is greater: 2 or m?
2
Let d be (23/76)/((-26565)/2852). Let n = d + -1/385. Is -1 greater than n?
False
Suppose 0 = 8*x - 88 + 72. Suppose 0 = -2*q + 4*s + 16, -4*q + 2*s - 12 = 5*s. Let b be q/x*(-12)/12. Which is greater: 3/10 or b?
3/10
Let s(t) = t. Let r be s(3). Suppose 0 = r*j + j - 48. Suppose -6*k + u - j = -2*k, 3*u = -2*k - 20. Is 1 != k?
True
Let h be (-2)/(24/52)*-89. Let l = h + -394. Which is bigger: -9 or l?
l
Let o be (2 - (-23)/(-10))*14. Suppose -380 = -5*x - 140. Let k be x/(-10) - 18/90. Which is smaller: o or k?
k
Let x(d) = -d**2 - 6*d + 12. Let v