l to p?
True
Let w = 1 + 1. Let d = 21.98 - 22.03. Is d != w?
True
Let k = 16329/122 - -40/61. Let a = k + -135. Which is greater: a or -18?
a
Suppose -4*i = -0*i + 3212. Let p = 1567/2 + i. Let g = p - -19. Which is greater: -1 or g?
g
Let u(r) be the third derivative of r**4/12 + r**3 - 7*r**2. Let s be u(-3). Does -1/35 = s?
False
Let f be ((-24)/(-20))/(1796/10). Which is greater: 0 or f?
f
Suppose 3*s + 40 = -5*o + 8*s, -5*s = 10. Let m be (-1344)/(-35) + (-6)/o. Is m != 41?
True
Suppose 4*n + 3*t = -2 + 25, t - 21 = -3*n. Is n > 0?
True
Let c(l) = 4*l + 10. Let o = 9 + -23. Let u be c(o). Let g = 32 + u. Which is smaller: g or -13?
g
Let f be 6294/15*(2 - -3). Let a = f + -27304/13. Let r = -317/143 - a. Are r and 0 unequal?
True
Let y = -1.14 + 1. Let z = 31.64 + -31.5. Let q = y + z. Which is greater: -1 or q?
q
Let k = -277 + 263. Is -2 at least as big as k?
True
Let v(o) = 2*o - 33. Let k(b) = -2*b + 32. Let m(h) = 2*k(h) + 3*v(h). Let p be m(14). Is -7 bigger than p?
False
Let j be (4 + -2 - 29/58)/(3/4). Let v be (8/(-30))/(6/(-65)). Is v greater than j?
True
Suppose -5*l + 6*l - 78 = 0. Suppose -31*o + 37*o - l = 0. Which is smaller: 15 or o?
o
Let y be (-8)/52 + -41*2/(-26). Let r be 2/(-21)*y + (-24)/(-70). Is 1 equal to r?
False
Let r(x) = x**2 + 5*x - 10. Let q be r(-7). Let y be q + 3/4*4. Suppose 2*z + 5 = y*z. Which is greater: z or -2/57?
z
Let i = -99 + 233. Is i equal to 0?
False
Let q be 2/(-5) - (-10 + 172/20). Which is smaller: -7/20 or q?
-7/20
Let q = 70 - 70. Suppose x - y = q, -7*y = 2*x - 6*y + 3. Which is greater: x or 1/76?
1/76
Suppose -4*p + 0*y + 4*y = -124, -2*p = -4*y - 68. Is p less than or equal to -4?
False
Let f = -46 + 23. Let y = 26 + f. Suppose 5*a = y*u - 0*u + 15, 2*u + 10 = 2*a. Are -1 and u nonequal?
True
Suppose 3*i + 0*i + 2 = r, 0 = -4*r + 4*i. Let m be (995/10 + -4)/(-2). Let k = m + 47. Is k at least as big as r?
True
Let x be 2*-1 + (-136)/(-7). Let j = x + -17. Are 2/7 and j equal?
False
Let v(g) = g. Let c(w) = -w**2 - 18*w - 47. Let x be c(-15). Let o be v(x). Is o at least -16/7?
True
Suppose -2*n + 70 = -5*g + 3*n, 30 = -g - 3*n. Suppose -19*w + 1366 + 298 = -123*w. Is g < w?
True
Let w = 44/13 - 419/143. Which is smaller: w or -1?
-1
Let o = -8383/10 + 837. Is 0 at most as big as o?
False
Suppose 6*w - 5*k + 378 = 2*w, 2*k - 464 = 5*w. Is -93 not equal to w?
True
Let n(k) = k**2 + 3*k + 2. Let d be n(-3). Suppose -6*h + 3*h = d*y + 19, 2*y + 21 = -5*h. Let j = -1986 - -1984. Is y greater than j?
False
Let u be 0 - -4 - -1 - (0 - 352). Is 357 < u?
False
Let x(c) = -c**2 - 2*c + 3. Let q be x(3). Let p be (-3)/q - (-158)/8. Suppose -r = r - p. Do 11 and r have the same value?
False
Let g be (-14)/(-4) - 21/14. Suppose 0 = -g*i + 6*i. Let a be ((-27)/(-18))/(i + -6). Which is smaller: a or 0?
a
Suppose -5*i = -5*d - 1465, 7*d = -5*i + 4*d + 1441. Which is smaller: 291 or i?
i
Let c(r) = -7*r + 7. Let v(n) = n + 10. Let q be v(-5). Let u(p) = 6*p - 7. Let f(z) = q*c(z) + 6*u(z). Let d be f(6). Is d greater than -2/19?
False
Let x(k) = -k**3 + k**2 + 4*k - 3. Let c be x(-6). Let j be (-30)/c - (-26)/(-30). Let h be j*3/((-12)/(-4)). Is -8/9 bigger than h?
True
Let a = -43/83 + -2377/1660. Let p = a + 7/4. Which is smaller: 5 or p?
p
Suppose 2*g + 3*g = 145. Let z = g - 29. Let l be (-6)/(-15) - (-24)/(-15). Which is greater: z or l?
z
Suppose 0 = -172*x + 160*x + 12. Which is bigger: x or 2/169?
x
Let d = -53 - -15. Let y be 4 - ((-12)/d + 4). Do y and 1 have the same value?
False
Let k = -104.9 - -103.937. Let c = k + -0.037. Are -22 and c equal?
False
Let k = 23.949 - -0.051. Let g = -24 + k. Let n = -1 - g. Which is smaller: n or -25?
-25
Let u be (2 + (-159)/6)*-2. Let q = 27 - u. Let r = q + 18. Which is greater: -5/2 or r?
-5/2
Let i = -4.52 - -4.48. Which is greater: i or 0?
0
Let f be (241/60 - 4)*(-15)/54. Which is greater: 1 or f?
1
Let o = 314 - 314. Is 1/112 at least o?
True
Let o = 469 - 466. Suppose 4*b - 26 - 78 = 0. Do b and o have the same value?
False
Let g be (-6 + -328)*(0 + (-1)/(-2)). Is g <= -167?
True
Let t = -592 - -488. Which is bigger: t or -106?
t
Let t be (9/(-6) - -1)/(30/(-900)). Is t less than 2/91?
False
Let s = 35203 - 45517481/1293. Is s equal to 1?
False
Let k be 2/(-7) + 111/161. Let x = -4/161 - k. Which is smaller: 1 or x?
x
Let r be (3 - -3) + (-9)/3. Suppose 4*x + 1 = -2*s - 25, -r*x = -4*s + 3. Let c(y) = -y**2 - 4. Let u be c(s). Which is greater: -12 or u?
-12
Suppose -139 - 411 = 5*u. Let g = 1872/17 + u. Is 1 at most g?
False
Let v = 2722 - 2722. Which is smaller: 5/404 or v?
v
Let z = 10578 - 10313549/975. Are z and 0 unequal?
True
Suppose 0 = 3*a - 12, -a = -n + 12 + 7. Let m = 15 - n. Let d(w) = -2*w**3 + 12*w**2 - 10*w - 8. Let t be d(5). Is t bigger than m?
False
Let m be (-12)/24*((-39)/(-21) + 3). Suppose 1 = 5*u + t + 10, 0 = 5*u - t + 1. Is m bigger than u?
False
Suppose 504 = 6*u + 504. Which is bigger: -1/84 or u?
u
Let c = 9 + -7. Suppose 0 = 5*k + c*k - 98. Is 1 at most k?
True
Let d = -1/734 - 547/2569. Are d and -3 non-equal?
True
Suppose 5*n - 5*s + 3*s - 21 = 0, 0 = n + 4*s + 9. Suppose -n*i = i - 4. Do 3/37 and i have different values?
True
Let q = 118 + -832/7. Suppose 1 = -2*m - 3. Is q less than m?
False
Suppose 0 = -a - 2*a + z - 661, -4*a - 888 = -3*z. Let q = a + 1741/8. Which is smaller: q or -2?
-2
Let c = -1091/3 + 496. Suppose 6*k = -n + k - 121, -5*n - 663 = -4*k. Let d = c + n. Which is smaller: d or 1?
1
Suppose -3*v - 15 = w, -5*w + 0*w = 3*v + 15. Which is bigger: w or 2/487?
2/487
Let z = 0 - -1. Let h = 1411/5335 + 4/485. Which is greater: h or z?
z
Let f be (-512)/1230 + (-36)/(-90). Is -4 <= f?
True
Let s = -19 - -21. Suppose 3*q = s*l - 23 - 9, 24 = -2*q + 2*l. Which is smaller: q or 1/2?
q
Let i be (-13)/13*(2 - 1 - 3). Suppose 2*v + 3*h + i*h + 6 = 0, -v = h. Are 0 and v unequal?
True
Suppose -5*v + 240 = 11*v. Which is smaller: 25 or v?
v
Let j = -35 + 20. Let d = -1376 - -1375. Which is greater: d or j?
d
Let p = -7.08 - -6.8. Let t = -0.101 + -16.179. Let j = t - p. Is j smaller than 1?
True
Let o be 28/(-4) + -55*(-10)/75. Which is bigger: 571 or o?
571
Let g be 382 + 1 + (-4 - -1). Is 380 at least as big as g?
True
Suppose 252 = -20*v + 24*v. Let r be 2*1/(-9) + 77/v. Is -5/26 at least r?
False
Let j be (-1 - (-5)/(-10))*12. Let w = 16 + j. Are -2 and w equal?
True
Let v(p) = p**3 + 5*p**2 + 6*p + 8. Let a be v(-4). Suppose a = 2*r - 10, -2*r + 0*r = -2*y + 60. Let x = 63 - y. Which is smaller: x or 29?
x
Let f(t) = t**3 - 11*t**2 - 123*t - 43. Let c be f(18). Is c less than 10?
False
Suppose -3 + 43 = -5*k. Which is smaller: k or -15?
-15
Let d be 1085/(-315) - (-3)/1*1. Does 6 = d?
False
Let y(n) = -n**3 + 4*n**2 + 5*n. Let m be y(5). Let t(p) = p - 15. Let d be t(12). Let r be (74/(-75) + 1)*d. Is r greater than m?
False
Suppose 39*t - 33*t = -36. Let g be (9/t)/(-1 + (-3)/(-12)). Let h be (0 - 0) + -1 - -5. Are g and h unequal?
True
Suppose 4*u + 4*h = -u - 35, -5*u = -3*h. Let c = 197 + -200. Is u > c?
False
Suppose 3*z - 8*z - 145 = 0. Let a = z - -33. Which is greater: 1 or a?
a
Let w = -2241 + 2277. Which is smaller: -0.07 or w?
-0.07
Let h = 5 + -1. Suppose -h*l + 12 = -0*l. Suppose 3*a - 2*r + 0 = -l, -r = 2*a - 5. Do 0 and a have different values?
True
Suppose 0 = -4*d + 5*a - 265, -5*d - 4*a = -5*a + 326. Let h be ((-26)/d)/(1 + 18). Is 0 at most h?
True
Suppose -93*a = -106*a - 13. Let l be 0 + -1 - 24/(-28). Which is bigger: l or a?
l
Let j = 887.2 - 783.34. Let d = j - 103. Let i = 1 - d. Does i = 1/4?
False
Let z = -48.1 + 40. Let s = z - -9.1. Which is smaller: 0.061 or s?
0.061
Let w be (112/2)/(-7) + 9. Is w bigger than 889?
False
Let d = 539 - 540. Which is smaller: 0 or d?
d
Suppose 3*n + 1 = 7, -114 = 3*p + 3*n. Let k be 5/p*(-36)/(-15). Suppose 0 = 4*m - 2 - 2. Which is bigger: m or k?
m
Let a = -1 + 1. Let z = 22 + -47. Let j = -26 - z. Which is smaller: j or a?
j
Suppose -2*i - 2*l + 7 - 1 = 0, 9 = 4*i + l. Let u be i/2 + (-8)/7. Suppose -2*t - 4*y + 6 = 0, y = -5*t - 0*y + 6. Which is greater: t or u?
t
Let k(z) = 24*z + 6. Let c be k(6). Let m be 0 + 3 - c/42. Suppose 7*r = 4*r. Which is bigger: m or r?
r
Let u = -29.7 - -31. Let s = 3.5 - 2. Let c = s - u. Is c at mo