ual?
True
Let w be (-42)/(-70) + (-54)/(-10) + 36. Which is smaller: 41 or w?
41
Let t(w) = -w**3 + 7*w**2 - 6*w + 4. Let o be t(6). Let j(h) = h**3 + 15*h**2. Let c be j(-15). Suppose c = -p + 15 - 10. Which is smaller: p or o?
o
Suppose -i = 2*d + 4*i - 396, -5*d = 5*i - 960. Do d and 189 have different values?
True
Let v = -147 + 144.24. Let f = 430.76 - 431. Let s = f + v. Which is smaller: -3/4 or s?
s
Let c(p) = p**3 + 15*p**2 + 11*p - 4. Let g(v) = -2*v**3 - 31*v**2 - 22*v + 7. Let k(w) = 7*c(w) + 3*g(w). Let t be k(-11). Which is bigger: -5 or t?
-5
Suppose -2*k - 42 = -4*h, 0 = 2*h - 5*h - 2*k + 14. Let p be 26 - (0/(-2))/1. Suppose q - 4*x + 13 = -0*q, x = -3*q + p. Which is smaller: q or h?
q
Let j(x) = -8 + 5*x - x**2 + 21 - 14. Let a be j(3). Suppose 23 = -a*y - k + 6, 0 = -2*k - 4. Is -3 at least y?
True
Let d = 18 - 17. Let w be (-22)/8 + (d - -1)/(-8). Which is smaller: w or -5?
-5
Let w be 1/((-286)/42826) - (-2)/(-11). Let j = 150 + w. Does j = 1?
False
Suppose -3*h = 2*b - 6*b - 356, 5*h + 5*b - 640 = 0. Let k be -2 - (-3 - h/(-4)). Let p = k - -36. Is 6 < p?
False
Let z = 0.27 + -0.13. Let r = 0.06 + z. Is r < 2/37?
False
Suppose 32 = 2*z + q - 3*q, -2*z + q = -34. Suppose -6*g + 152 = 2*g. Is g greater than or equal to z?
True
Let v(t) = -12*t - 10. Let x(h) = -4*h - 3. Let w(c) = 6*v(c) - 17*x(c). Let b be w(3). Which is greater: -22 or b?
b
Let d = -23 - -93/4. Is -24 != d?
True
Let u(p) = -24*p**2 + 2*p - 3. Let c be u(3). Let q be (-1)/6 + c/(-954). Are 1 and q nonequal?
True
Suppose -4*a - 4*f = 4, 2*a + 4*f + 5 = 1. Let m = 2089248 - 913001763/437. Let n = m + 16/19. Which is smaller: a or n?
n
Let x = -1 + 4. Suppose -6*i + x*i = 0. Is i greater than 0?
False
Let t(m) = 45*m - 180. Let f be t(4). Is 6/53 <= f?
False
Let h = 84113/805 + 18/161. Let p = 104 - h. Which is smaller: -2 or p?
-2
Let r(h) = 13*h - 8. Let p(t) = 2. Let k(b) = -6*p(b) - 2*r(b). Let v be k(-1). Is 29 <= v?
True
Let o = 22.5 + -47. Let h = o - -21. Let r = -2.5 - h. Which is smaller: -4/9 or r?
-4/9
Suppose 0 = 11*v - 7*v - 16. Let i be (-138)/24*(2 + (-6)/v). Which is greater: -2 or i?
-2
Let s be 30*(-8)/(-60)*3. Suppose -2*u + s = c - 2*c, -40 = -5*u + 5*c. Let t = u + -5. Is 3/10 greater than t?
True
Let q = -0.199 - -0.499. Are -1/44 and q equal?
False
Let v = -1205/3 + 404. Suppose k - 1 = 1. Let p be 1 - (0 + -1)*k. Which is smaller: p or v?
v
Let c(p) = -4 - p**2 - 1 + 2 - p. Let s be c(3). Let d = s - -22. Is 7 at least as big as d?
True
Let n(a) = -10*a + 15. Let s be n(3). Which is bigger: s or -16?
s
Let v(y) = -y**2 - y + 3. Let z(g) = -g + 2. Let c(s) = -2*v(s) + 3*z(s). Let t be c(1). Does -1 = t?
False
Suppose -4*n - 108 = -31*n. Let y be 14 + (1*-2)/(-1). Suppose 0*b - y = -4*b. Does n = b?
True
Let z = 38 - 33. Do 43/9 and z have the same value?
False
Let s(x) = 4*x + 17. Let b be s(-4). Let i = -2 - -4. Suppose 0 = 4*g - 5*g - i. Is b greater than or equal to g?
True
Let u = 6 + -6. Let y be (1/(-2) + u)*0. Suppose -3*w = -y*w. Which is smaller: w or 1?
w
Suppose -3*v + 3*m = -51, m - 8 = -3*v + 23. Suppose 38*s + v = 34*s. Which is greater: s or -16/9?
-16/9
Let d = 185 - 212. Which is greater: -132/5 or d?
-132/5
Suppose 2 = 2*i - 3*i. Let k be 3 - (-2 + -1 + 4). Suppose -15 = k*p + 3*p. Is i at most p?
False
Let a = 1966/55 - 176/5. Suppose 139*c - 16 = 137*c. Suppose c = 4*j + 2*b + b, -2*b + 2 = j. Which is bigger: a or j?
j
Let p = 217/5 + -219/5. Suppose 0 = 2*s - 3*s - 3*u + 4, -3*s = 2*u - 26. Which is greater: s or p?
s
Let h(z) = -z**2 - 9*z - 4. Let j be h(-8). Let f be (-12)/6*(-3)/2. Which is bigger: j or f?
j
Let r = 48.08 - 47. Let u = 0.08 - r. Does -16 = u?
False
Let v = -11 - -14. Suppose v*g + 11 = 14. Are g and -2/7 equal?
False
Let g = 477/26 + 28/13. Let l = g - 20. Let y = 268 - 1878/7. Is y at least as big as l?
False
Let n be (13410/(-44))/(-15) - 2/(-11). Let i(f) = -18*f**2 - 1. Let k be i(1). Let b = k + n. Which is smaller: b or 2?
b
Let w be (-4 - (-50)/30)*-3. Let x(z) be the second derivative of -z**5/20 - 5*z**4/12 - z**3/6 - 3*z**2/2 + z. Let a be x(-5). Which is bigger: a or w?
w
Let r = 82 - 84. Let y be (-154)/99*(-1)/r. Which is bigger: y or -2?
y
Let p(m) = m**3 - 2*m**2 - 2*m - 4. Let q be p(4). Suppose -9*y = -14*y - q. Does y = -4?
True
Let v be -8*14/(-12544)*4/(-11). Is v at least -1?
True
Let j = -1 + 17. Let n = -16 + j. Is 5 > n?
True
Let k(x) = -30*x - 180. Let u be k(-6). Is u at least as big as 4/625?
False
Let u = 1.7 + 0.3. Let v = -0.85 - -0.45. Let c = u + v. Are c and 0 equal?
False
Let g(r) = -r**3 - 2*r**2 + 2. Let n be g(-2). Suppose n*z + 13 = 5. Is z at least -26/9?
False
Suppose -4*v + 3*d - 16 = 0, 5*v + 2*d + 0*d + 43 = 0. Let u(k) = k**2 + 7*k - 3. Let z be u(v). Let w be (-128)/(-22) + z - 3. Is w at most as big as 1?
True
Let y = 242.1 + -242. Which is smaller: -7 or y?
-7
Let a = -16 + 16. Which is smaller: 2 or a?
a
Let t = -26 - -26. Is t >= -1/120?
True
Let d = -5/409 + 44207/2863. Is d bigger than 14?
True
Suppose -12*q = -17*q + 30. Suppose 3*b - 3 + q = 0, 3*u - 39 = -3*b. Is 13 bigger than u?
False
Let s = -3/10 + 41/70. Let t = -4 - -22. Suppose 2*o - 2*l = t, o + 22 = -5*l + 1. Which is smaller: s or o?
s
Let m = 8.82 + -9.02. Which is bigger: 167 or m?
167
Let m = -1.5 - -25.5. Let o = m + -24.04. Does o = -0.06?
False
Let n be (-9)/36*-8 - 458/232. Let u be -3*2/3 - -1. Are n and u non-equal?
True
Let w(j) = -j**3 + 6*j**2 + 3*j + 10. Let h be w(7). Let o = h - -25. Are 4 and o unequal?
True
Let p be 1/(((-2)/6)/(13/221)). Which is smaller: p or -1?
-1
Suppose -f + 36 = -3*f - 5*x, -3*f - 3*x = 63. Let d = f + 37. Let n = d - 13. Is 8/11 greater than or equal to n?
False
Let s be 2 + 154/(-35) - 2/(-5). Which is smaller: s or -34/11?
-34/11
Let s = 33 - 45. Let l = s - -36. Are l and -1 nonequal?
True
Let n(w) = -2*w**2 - 18*w + 8. Let o be n(-9). Let c = -4 + o. Which is bigger: c or 0?
c
Let t = -76503/68 + 1125. Let a = t - -151/340. Which is smaller: -16 or a?
-16
Suppose -412 = 3*d - 2*p, 2*d + 244 = -4*p - 4. Which is smaller: -133 or d?
d
Suppose 0 = -5*u - 10 - 10. Let x(r) = -r**3 - 18*r**2 + 40*r. Let m be x(-20). Which is bigger: u or m?
m
Suppose -8*l + 52 = -2*x + 338, -5*l - 429 = -3*x. Is 140 less than x?
True
Suppose 7*n - 3*n = -4. Let i be -4 - (-2 - (1 - n)). Which is smaller: i or 2/19?
i
Suppose 0 = 2*a - 4*g + 106, -5*a - 6*g = -2*g + 251. Which is smaller: -49 or a?
a
Let f = -0.591 - -0.661. Is 53 smaller than f?
False
Let r be (-507)/(-12) + -15 - 1/4. Is 336/13 > r?
False
Let f(c) = 2*c - 5. Let j be f(6). Let u(h) = -h**2 - 13*h + 3. Let i be u(-13). Let o = j - i. Which is smaller: 3 or o?
3
Suppose -30*j = -23*j + 791. Let p = j - -102. Which is smaller: -1/5 or p?
p
Let y = 20.8 - 20.7. Which is greater: -72 or y?
y
Let k be -97 - (-3)/(-2)*12/(-9). Let b be 2/5 + 78/k. Which is bigger: b or 1?
1
Suppose 2*j - 2*w - 66 + 96 = 0, 5*j + 65 = -5*w. Let u be 0 + 0 - (13 + 1). Is j at most u?
True
Let f = 546 + -709. Which is smaller: -162 or f?
f
Let b = 324 - 228. Let t = -63 + b. Which is smaller: t or 1?
1
Suppose 2*y + 7 = -2*k - 1, -5*k = -4*y - 25. Let v be 22/77*(0 - k). Which is smaller: v or 1?
v
Suppose -4*p - 22 = 2*j, 2*j - 4*p = -2*j + 16. Let v = 150 - 63. Let z = v + -77. Is j at most as big as z?
True
Let q be (-2)/5 + 819/1760. Let c = 5/32 - q. Is -1 not equal to c?
True
Suppose 4*j - 9 = j, -4*k + 3*j = -7. Suppose -5*l + 23 = -67. Let f be l/5 - (-2)/5. Are k and f nonequal?
False
Let h = -1210 + 52. Which is smaller: h or -1157?
h
Let z(p) = 7*p**2 + 4*p - 23. Let n(w) = -3*w**2 - 2*w + 11. Let x(a) = -5*n(a) - 2*z(a). Let h be x(-8). Let b be (-4)/26 + 45/h. Which is smaller: 1/15 or b?
1/15
Let p be 6/(-2) + 11 + -3. Let k be 0 - (p + (-261)/51). Is -1 greater than k?
False
Let l = 61249/96 - 638. Which is greater: l or -1?
l
Let t = 2 + -2. Let r = 6419/5 - 1279. Let n = 5 - r. Which is smaller: t or n?
t
Let k = -0.0002 + -0.0998. Is k smaller than 43?
True
Let n = 2147/11 + -195. Suppose 3*a = -2*r - 9 + 3, 3*r = -a + 5. Let x be (a/(-12))/(-1) + (-2)/3. Is x less than or equal to n?
True
Let t = -3.01 + 0.81. Which is greater: t or -0.2?
-0.2
Suppose 3*n + 5*y + 81 = 0, -5*n = -4*y + 33 + 1