or b?
d
Let i = 3 - 1. Suppose -4*g = i*n - 4, 2*g + n + 13 = 5*g. Let p be 2/(-3)*(-12 - g). Is p at least 11?
False
Let d = 3.2 - 2.1. Let g = -0.85 + 0.75. Is g equal to d?
False
Let o(y) = y**2 - 22*y - 2. Let d = 51 + -29. Let h be o(d). Let f = -83/15 - -16/3. Which is greater: f or h?
f
Suppose -66 = -d - 63. Suppose -2*s = 2*s - 5*y + 15, 0 = d*s - 5*y + 10. Which is smaller: s or -3?
s
Let f be 18/20*(-210)/72. Let l = 709/48 - 195/16. Let v = l + f. Is v not equal to -1?
True
Let k = 0.98 + -0.9. Let i = -0.18 + k. Let x(m) = -m**2 - 6*m - 8. Let v be x(-5). Which is smaller: i or v?
v
Let i(z) = z**2 - 19*z + 28. Let l be i(18). Suppose 0 = -3*p + p - 2*q + 10, 0 = 4*p - 2*q + l. Which is bigger: p or -4/17?
p
Let p = -11/4 - -249/28. Is p < 7?
True
Let a = -0.3 + 4.3. Does 11 = a?
False
Let y = -17/41 + 1153/2583. Is 1 at most y?
False
Let v = -58 + 32. Let d be (v/(-4))/(6/(-12)). Which is smaller: d or -15?
-15
Let a = 4 - 0. Let s = 6 + -10.1. Let w = a + s. Which is smaller: -2/9 or w?
-2/9
Let d = 513 + -524. Which is bigger: 1 or d?
1
Let i = -1674 - -1671. Is -132 at most as big as i?
True
Let x = -200 + 200. Which is smaller: x or -3/14?
-3/14
Let i be -4 + (-4 - -3)*-2. Let l be -1 - (126/(-40) - i). Is l smaller than 0?
False
Let h = -31 + 30.7. Let s = 55.98 + -56. Which is greater: h or s?
s
Let j(u) = -u**2 - 4*u - 2. Let s(t) = t**3 - 7*t**2 - 8*t + 2. Let w be s(8). Suppose 6 = -w*p - y + 6*y, 3*y = 0. Let i be j(p). Is i > -2/19?
True
Suppose 6*d - 195 = 183. Is 185/3 bigger than d?
False
Suppose 2*z - 2*l - 14 = 0, 5*z + 0 + 5 = -5*l. Suppose -4*d + 20 = -z*a - 0*a, -2*a - 8 = 0. Is 13/5 at least as big as d?
True
Let v(h) be the first derivative of h**5/10 + h**4/3 + h**3/3 - 5*h - 7. Let w(l) be the first derivative of v(l). Let c be w(-2). Is -7/2 greater than c?
True
Let t(x) = -x + 4. Let c be t(18). Let s = -30 - c. Let u = s + 26. Is 11 less than u?
False
Let s(q) = -q**3 + 5*q**2 + 3*q. Let p be s(5). Let x = -6302.2 + 6302. Do p and x have the same value?
False
Suppose 7*d - 11*d = 0. Suppose 2*x = -5*a + 23, 5*a - 31 = -4*x + 10. Let r be x/(-20) + (-2)/(-5). Which is greater: d or r?
d
Let g be (-24)/(-3) + (-1752)/216. Which is bigger: g or -45?
g
Let g = -462/65 - -43/13. Let x = -1 - 8. Let p(c) = c**3 + 10*c**2 + 8*c - 12. Let a be p(x). Which is smaller: g or a?
g
Let u(m) = m**2 - 8*m - 63. Let q be u(13). Which is bigger: q or 4/3?
q
Suppose 4*v = -40*q + 44*q - 924, 4*q + 2*v - 954 = 0. Which is smaller: 231 or q?
231
Let l = -34.04 + 34. Let h = l + 1.04. Which is smaller: 5.4 or h?
h
Suppose 5*o = 8*u - 5*u - 1268, -u + 2*o + 424 = 0. Suppose -88 = -8*n - u. Is -41 at least as big as n?
True
Let s = 39948/91 - 439. Let y = -361/273 + s. Which is smaller: y or 0?
y
Let d = -65.9 - -216.9. Which is smaller: d or 0.4?
0.4
Let t = 30045/58 + -518. Is t less than or equal to 1?
True
Let p(z) = -z**2 - 26*z - 132. Let c be p(-10). Which is smaller: c or 4?
4
Let v = 19.28 - 1629.28. Let q = 1618.99 + v. Let h = q + -9. Is -0.1 less than or equal to h?
True
Suppose 28 = -4*a + 4*k, -66*a + 23 = -70*a + 3*k. Let c be 36/(-56) - 2/4. Are c and a equal?
False
Let w = -40675/43 - -946. Which is bigger: w or 0?
w
Let h(b) = b**3 + 10*b**2 - 10*b + 5. Let s be h(-11). Let y be s/15 + (-66)/(-90). Which is bigger: 1/4 or y?
y
Let n = -0.085 - -0.185. Let c = 0.04 + 2.96. Is c equal to n?
False
Let q = 0.5 - 8.5. Let i = 21.2 - 45.3. Let x = -24 - i. Is q at most as big as x?
True
Suppose -l + 2*w + 8 = -2*l, 4*l - 4 = w. Is l smaller than 2/731?
True
Let v = -18 - -11. Let s = -35 + 41. Suppose n + 7 = -s*n. Is n equal to v?
False
Let p(f) = 2*f + 18. Suppose -2*o = -7*o - 40. Let r be p(o). Which is greater: r or 21/8?
21/8
Let b(t) = -t - 4. Let w be b(0). Let r(z) = z**2 - 3*z - 7. Let k = 51 - 47. Let q be r(k). Is q at least w?
True
Suppose -8*v - 12 = -12*v. Let z be -1*v*(-1)/3. Are z and 8 nonequal?
True
Let b = -1062/7 + 152. Which is smaller: 0 or b?
0
Let d = -226.1 + 228. Is d less than 1/4?
False
Let n = 14 + -13. Let m = -1 - -4. Which is bigger: m or n?
m
Let k = 3150 + -21989/7. Which is smaller: k or 8?
8
Let q = -4 - -3. Let h be 165/(-114)*2 - (-13 + 10). Do h and q have different values?
True
Let l = 3 + -9. Let c(p) be the third derivative of -p**5/20 - p**4/3 - p**3/6 - 31*p**2. Let j be c(-3). Which is greater: j or l?
j
Let s(g) = g**3 - 9*g**2 - 16*g - 9. Let x be s(10). Which is bigger: -68 or x?
-68
Suppose q + 2*k = 0, 4*k + 30 = 5*q - k. Suppose -3*i - 4*z = 0, 3*z = -q*i + 8*z. Let t be 1/6 + (0 - 1). Is i >= t?
True
Let g(a) = -2*a - 20. Let i be g(-12). Suppose 0 = -i*n - 0*n. Which is smaller: -5 or n?
-5
Let n = -105.544 + 0.544. Which is bigger: 0.3 or n?
0.3
Let o = 0.07 + -8.07. Let k = 6 + o. Is k less than or equal to 7?
True
Let o = -2 + 2. Let n = -445 - -449. Suppose o*f + 2*f - n = 0. Which is greater: 3 or f?
3
Suppose -2*p + 4*p - w = 71, 4*w - 112 = -3*p. Let r = -22 + p. Which is smaller: 15 or r?
r
Suppose m - 20 = -4*w, -16*w = -2*m - 19*w + 15. Let n = 4826/13 - 371. Do n and m have different values?
True
Suppose -2*s - 4*c - 22 = -c, 3*c = 3*s + 33. Let r be 13 + s - (2 + -1). Is r less than -2/47?
False
Let a = -1.82 + -0.08. Let u = 2.1 - a. Let l = u - 8. Is 1/2 equal to l?
False
Let u(o) = -o**2 - 9*o + 3. Let n(z) = -2*z**2 - 17*z + 7. Let y(t) = -6*n(t) + 11*u(t). Let f be y(6). Suppose 6*p - p = f. Is p smaller than 10?
True
Let g be 12/(-9)*3*-1. Suppose 0 = -0*b - g*b. Suppose b = -9*u + 6*u + 6. Is u smaller than -2/13?
False
Let t = 30/19 + -52/57. Is 2/3 not equal to t?
False
Suppose 2*h = 3*m + 6 - 907, -2*m + 588 = 5*h. Are 299 and m nonequal?
False
Let p = -192 + 136. Is 1 >= p?
True
Let q = 4.1 + -4. Let j be 1 - ((-6)/(-10) - 177/(-1180)). Are j and q nonequal?
True
Let q be 4 + 161 + (-7)/(-14)*6. Which is smaller: 160 or q?
160
Let z(a) = -a**2 - 7*a - 14. Let c be z(-3). Is 2/19 bigger than c?
True
Suppose -24 - 16 = 2*c. Which is greater: c or -24?
c
Let y(r) = -r - 3*r**3 + 7 + 4*r**3 + 0*r**2 + 6*r**2 - 13*r**2. Let w be y(7). Which is smaller: -1/16 or w?
-1/16
Suppose -27*m + 340 = -659. Which is greater: 0.08 or m?
m
Suppose 5*m = -79 + 24. Is -12 greater than m?
False
Let r be (-4)/12*(-3)/1. Let t be (-7 - -13)*r/2. Let a(k) = k**2 - 2*k + 1. Let n be a(t). Which is smaller: -1 or n?
-1
Suppose -g - 3 = 4. Let u be (-14)/(-10) + g/7. Which is bigger: 0 or u?
u
Let z = 3972919 + -929669497/234. Let h = z - -8/117. Which is smaller: h or -29?
-29
Let u = 36.979 - 37. Let m = 0.179 - u. Is 9 equal to m?
False
Suppose 3*f = 4*g - 105, -66 = -3*g - 2*f + 17. Suppose -g*k + 22*k = 35. Is -4 <= k?
False
Let n = -41/3 - -281/21. Which is smaller: n or 188?
n
Suppose 0 = -4*x - 2*a + 2, x - 3*a - 28 = 2*a. Let z be -45*(-3 - (-11)/x). Let t be z/9*36/(-15). Is 8 at least as big as t?
True
Let a = -1019/130 + 39/5. Let u be (-3 - 21)/(-6) + 3*-1. Which is greater: a or u?
u
Let u = 18/11 + -68/55. Let h = 19 + -19. Is u > h?
True
Let c = -12.9381 - 0.0619. Let i = -11.95 + -0.05. Let q = c - i. Is q equal to -6?
False
Let i = -250.02 + 250. Which is smaller: 2/27 or i?
i
Let v = 871 - 1100. Is v at most -231?
False
Let i = -62 - -67. Let s be (i/(-925))/((-8)/2980) + -2. Which is bigger: s or 1?
1
Let y(f) = -2*f**2 + 57. Let w be y(6). Let q = -31 + 31.1. Which is bigger: q or w?
q
Suppose -m - 5*a - 8 = 0, -2*m - 3*m - 5*a = 0. Suppose 2*d + m*d = 0. Suppose d = 3*c + c. Which is greater: 4 or c?
4
Suppose 33 - 9 = 4*h. Let j(d) = -d**3 + 6*d**2 + 4*d - 4. Let n be j(h). Let a = n + -22. Is -0.5 at least a?
True
Let s be (2/(-15))/(12/15 - 1). Which is smaller: -50 or s?
-50
Let x = -393 + 392. Is 1/102 less than or equal to x?
False
Let w(k) = -2*k - 9. Let i be w(-6). Suppose -i*p = p. Let j be (-375)/(-123) + 40 + -43. Which is smaller: j or p?
p
Let y = -128/189 + 26/27. Which is smaller: -305 or y?
-305
Suppose -5*y - 4*i = -25, 0 = -y - 4*i + 3 + 2. Suppose -4*h + 6 = 3*k - 2*k, -4*k - y*h + 46 = 0. Is 15 < k?
False
Let z = 2503/35768 + -9/136. Is -1 at least as big as z?
False
Let l(f) = -f**3 - 17*f**2 + f + 21. Let r be l(-17). Suppose 0 = r*a - 10 - 134. Which is greater: 37 or a?
37
Suppose -2*i = -6, 4*t + 1488 + 1639 = 5