Let u be d(-44). Is -5 < u?
True
Let o be -2 - (-448)/10395 - 6/(-10). Let z be (0 + 1)/(297/2). Let i = z - o. Which is smaller: i or 1?
1
Let c be 2*(1/4 + 0). Let j = -8306.307 - -8306. Which is greater: j or c?
c
Let v = 131/9 + -1061/63. Let n be 16/(-10) - (-3 - 51/(-15)). Which is smaller: n or v?
v
Suppose -2*v - 5*z = -v + 19, 0 = -5*v + 2*z + 13. Let c(u) = 3 + 1 + 9*u + 24*u. Let a be c(v). Which is bigger: a or 36?
a
Let k be 176/(-110)*(-60)/(-8). Let q be (k - 29) + 2 + -8. Is -91/2 greater than q?
True
Suppose 85*h + 3873 = 3958. Let v = 118/203 - 2/203. Which is bigger: v or h?
h
Let s(d) = 8*d**2 - 23*d + 116. Let w be s(7). Suppose -52 = -5*l - w. Which is greater: -58 or l?
-58
Let q(b) = 4*b + 84. Suppose 7*r + 97 = -50. Let m be q(r). Which is smaller: -1/20 or m?
-1/20
Let n(j) = 2*j**3 - 9*j**2 - 15*j + 46. Let o be n(5). Let a be -39*(o - 2)/18. Which is greater: -6 or a?
a
Let t = -1 - -1. Suppose 3*x + 9*f - 7*f - 34 = 0, -5*x + 35 = -f. Let d be ((-2)/20)/(5/x). Which is smaller: t or d?
d
Let y be 1 + -1 - (0 + -4). Let x = 564572 - 1129139/2. Is x not equal to y?
True
Let k = -115/229 + -227/916. Let w = 37.6 - -2.4. Is w less than or equal to k?
False
Let x(i) = -46*i**2 + 14*i - 41. Let q be x(4). Let f = q - -13704/19. Which is greater: f or 1?
1
Let h = -776 - -346. Let u be h/(-550) + (-2)/(-5). Is u equal to 1?
False
Let g be (24/(-10))/((-3)/(-90)). Suppose -4*a = x - 4*x - 244, 3*a = 9*x + 669. Is x at most g?
True
Let p be (-4)/28 - (1 + 9639/(-8477)). Is p at least -0.09?
True
Suppose -5*j = -896 + 126. Suppose 7 = -5*r - 3, 5*r - j = -y. Is y less than 164?
False
Let a = 2801 - 3234. Is a greater than -435?
True
Let d be (-180)/825 - (-4)/(-22). Which is smaller: d or -17?
-17
Let c = 8546 + -7962. Is c equal to 581?
False
Let z = 62.1 - 62.3. Which is smaller: 1.474 or z?
z
Let c be -13 + (12/(-1) - -43). Suppose i = -2*q + 25, 72 + 19 = 4*i + 5*q. Is i at least c?
True
Let w = -3315 + 10763. Which is bigger: w or 7447?
w
Let p = 6.1 + 3.9. Let v = p - -4. Let l = -12 + v. Are -0.9 and l non-equal?
True
Suppose -883*u = -895*u. Is 2/123 at least u?
True
Let h = -1.13 - -1.0608. Let l = -2.7308 + h. Let q = 0.8 - 1. Which is greater: q or l?
q
Suppose -4*j = -4*u - 32, -2*u - 5*j + 14 = 2. Let h be u/14 - 1014/(-21). Suppose h = -q + 24. Is q at least as big as -26?
True
Let g = -4853 + 4858. Let h = 26231 + -30034497/1145. Let t = h - -37799/8015. Which is greater: g or t?
g
Let d(c) be the first derivative of -c**4/4 - 13*c**3/3 + 7*c**2 + c - 11. Let u be d(-14). Let i be ((-119)/34)/(u/(-2)). Is i less than 7?
False
Suppose -6*r - 762 + 3126 = 0. Suppose 2*f - r = -5*o, 7*f = 2*o + 3*f - 148. Which is bigger: 77 or o?
o
Let m = 601 + -600.518. Let i = m + -0.382. Which is greater: 0.08 or i?
i
Suppose b = 5, 2*h + 8 = 4*b - 14. Which is bigger: h or -1/5971?
-1/5971
Suppose 5*c = 5*r - 735, 5*r + 368 = -4*c + 1094. Which is smaller: r or -44?
-44
Let d = 6759 - 6775. Which is bigger: -4/85 or d?
-4/85
Let s(c) = c**3 + c**2 - 3*c - 7. Let x(y) = 2*y**3 + 3*y**2 - 7*y - 13. Let l(t) = -5*s(t) + 2*x(t). Let k be l(0). Suppose 158*a = 200*a + 168. Does a = k?
False
Let s(u) = u**2 - 9*u - 11. Let x be s(-1). Let i be ((-6)/(-105))/x*(-540 + 10). Is i at most as big as 29?
False
Let y = 0.35 - 0.27. Let v = -0.1 + y. Let n = 2.109 - 0.109. Is n > v?
True
Let y(a) = -a**2 + 59*a - 275. Let m be y(5). Which is smaller: -53 or m?
-53
Let j = -13169 + 11278. Is -2/7 greater than j?
True
Let c(n) = -n**3 - 5*n**2 - n + 2. Let j be c(-5). Suppose 74*b = 69*b + 480. Let o = -87 + b. Which is bigger: o or j?
o
Let z(t) = t**2 - 17*t + 52. Let f(d) = -d**2 + 7*d + 1. Let r be f(4). Let g be z(r). Let j be (60/595)/((-1)/7). Is g greater than j?
True
Let i be -1 + 3 + 1 - -30. Let q = 33 - i. Let o be 7/(-160) + 3/15. Is q >= o?
False
Let x = 698.4 - 496. Let r = 203 - x. Which is smaller: r or -1/7?
-1/7
Suppose -22*c + 24*c = 36. Suppose -13*z + c*z - 10 = 0. Suppose 142 = z*t + 3*g, -g + 208 = 3*t + g. Is t at least as big as 69?
False
Let g(v) = 47*v**2 + 7*v - 5. Let u be g(3). Let l = -5703/13 + u. Is -0.1 less than or equal to l?
True
Let l(o) = o + 19. Let r be l(-23). Let c be 3 + 16/(-6) + (r - -27). Is 23 bigger than c?
False
Let g(y) = 3*y - 25. Let n(k) = -5*k**2 + 52*k - 11. Let i be n(10). Let d be g(i). Suppose -3*m = -d*b - 9, 4*b + 4*m = 6*m - 22. Is -0.05 less than b?
False
Let v = -2 - 536. Let j = -537.6 - v. Which is bigger: 38 or j?
38
Let o be 4/7 + 93200/37800. Which is greater: 3 or o?
o
Let m = -22 + 45. Suppose 0 = -64*y + 74*y. Suppose y = -m*l + 25*l - 2. Do 0.07 and l have the same value?
False
Let o be 1*8 - (-114)/(-57). Suppose -8 = -6*h - 4*w + o, 3*w = -5*h + 11. Which is greater: 1/200 or h?
h
Let k = -8.73 + 8.2. Let x = -85.5 - -137.97. Let i = x - k. Which is bigger: i or 0.1?
i
Suppose 15*j - 12*j - 84 = 0. Suppose 21*h = 28*h - j. Suppose -h*z = 4*z + 48. Which is smaller: z or -7?
-7
Let l = -54931/71977341 - -5/16673. Is l equal to 0?
False
Suppose 20 = -5*p + 15*p. Suppose 5*y - 102 = p*y. Let k = y + -34. Which is smaller: 2/31 or k?
k
Let m = -84 - -88. Let d be ((-96)/(-18))/m*(-1 + 4). Suppose -4*f + 0*a - 4 = -2*a, -3*f + d*a - 8 = 0. Which is bigger: -1/94 or f?
f
Suppose -28*s + 86*s = 290. Let u = -8 - -11. Suppose -5*y = -4*t - 18, -s*y - 2*t = u*t. Is y != -2/7?
True
Let t = -261.964 + 21.994. Let b = t - -240. Which is bigger: 45 or b?
45
Let h = -0.981 - 8.852. Let q = h - -10.88. Let t = 0.047 - q. Is -8 >= t?
False
Suppose h - 7*h = 0. Suppose -2030 = -5*w - h*w. Let n be (-3 + w/134)/1. Is n <= -1?
False
Let c be (-2)/(-9) + (-111)/135. Let d = 579 + -224.8. Let h = d + -355. Which is smaller: c or h?
h
Let w = 24963 + -24966.59. Which is smaller: -0.04 or w?
w
Let j = 45 + 196. Suppose -7*x = -512 - 1175. Do x and j have different values?
False
Let r(a) = -a**2 + 7*a + 24. Let h be r(7). Suppose 4 = 2*p + 4*t, 0*p - 5*p + 4*t = -h. Suppose -p*k = -5*k + 13. Which is greater: k or 14?
14
Let z = -3716 + 3715.6. Which is smaller: 19 or z?
z
Let s be 2*(-2 + 1) + -381 + 1. Let v = s - -380. Are 0 and v unequal?
True
Let y be (51/(2601/8194))/(2/(-90)). Is y bigger than -7229?
False
Let s = -0.27 - -0.37. Let p = -100423907/140 - -717322. Let g = -59/7 + p. Is s bigger than g?
True
Let q = -776 - -788. Let p be 29/(-4) + 2 - q/(-48). Which is smaller: -6 or p?
-6
Let i = 2676 + -3824. Is i >= -1148?
True
Let y be 95/1330 - (-65)/70. Let n = 2/5 - 9/10. Which is greater: y or n?
y
Let b(v) = v**2 - 2*v + 4. Let j be b(-5). Suppose 0 = 98*k + 112*k + 225*k - 19575. Is j > k?
False
Let s(c) = 4 - c**2 - 11*c + 2 - 16. Let p be s(-9). Let k be (-7)/14 + p/10. Is k equal to -1?
False
Suppose 27*t - 6286 = 13154. Let f = t - 724. Is f equal to -2?
False
Let k be 48/14 + (-12)/28. Suppose 2*t = 5*b + 172, 2*t = k*b + 7*t + 128. Let n be (-2)/3 + 381/b. Which is smaller: -12 or n?
-12
Let y be 3/(3128/(-628) + 5). Let l = -105 + y. Suppose 18 = -3*g + 171. Does l = g?
False
Suppose 0 = 69*m + 82*m - 44323 + 143228. Is -656 smaller than m?
True
Let j be (70/(-9))/(442/(-30) - -14). Is j bigger than 11?
False
Let h be -2 + 12 + (-102)/17. Suppose -h*b - 2 = 3*p, 46 - 44 = -b. Do 5 and p have the same value?
False
Let f = 0.2 + -0.3. Let n be -16*2/112*(-21)/(-1572)*4. Is f < n?
True
Suppose 2*z + 126 + 178 = 0. Let u be (68/(2 - 16/18))/((-40)/100). Is u bigger than z?
False
Suppose -273 = -2*r + 5*h, -5*h = -5*r - 3*h + 735. Suppose 0 = 5*x - 7 + 2, -3*c + x = -r. Which is greater: c or 49?
c
Let y be 2/(4 - 14)*28/(-14). Is -421 at most as big as y?
True
Suppose 0 = -w - 0*w - f - 11, 2*w = 4*f - 52. Let b be ((-2)/5)/(w/40). Let a be (b + 8)*-15*6/(-27). Which is greater: a or -0.1?
a
Suppose -4*b - 3*a = -107, 2*b + 128 = 7*b - 2*a. Let n be (-3)/(-6) + b/(-12). Are 4 and n equal?
False
Let r = -465 - -332. Let f = r - -111. Which is smaller: -162/7 or f?
-162/7
Let l = 6.8972 - -32.3218. Let r = 0.219 - l. Let p(s) = s**2 - 7*s + 1. Let i be p(7). Which is bigger: i or r?
i
Let q = -10685 + 1100442/103. Is q equal to 0?
False
Let k = -130 - -143. Suppose 30 = -16*s + k*s. Is -9 not equal to s?
True
Let f = 192 - 191. Let c be -3 + ((-84696)/(-154))/(1 - -1).