7.907 + i. Let r = c - -0.593. Which is greater: r or 2/13?
r
Let r be (2/(-2))/(11/(-3982)). Let p be (32/9)/(4 + r/39). Let w = p - -2/111. Does w = 1?
False
Let l = 16130 - 16129.949. Let z = -2257 + 2253.949. Let w = z + l. Which is smaller: w or -5?
-5
Suppose -3*t + 6*t = 219. Let o = 31 - t. Let u be (-2 - -4)/(((-72)/o)/(-2)). Which is bigger: -3 or u?
u
Let z = 727/6 - 123. Let q(j) = -14*j + 125. Let u be q(9). Which is bigger: z or u?
u
Let j = 64 - 61. Let l(h) = -h**3 + 6*h + 7. Let o be l(j). Is o less than or equal to 4?
True
Let x(c) = -c + 4. Let p be x(4). Suppose p = 4*u - 12 + 16. Let n be u/((-42)/(-20) + -2). Which is smaller: -12 or n?
-12
Let m(j) = j**3 + 2*j**2 - 4*j + 9. Let g be m(-3). Let p be -118*(g/(-8) + 0). Suppose 0 = 2*u + 2*q - p - 59, 594 = 5*u + 4*q. Which is smaller: 121 or u?
121
Let c = 0.1305 + -642.1305. Let t = -638.9 - c. Which is smaller: -6/5 or t?
-6/5
Suppose 4*t + 10 = -5*w + 44, 5*w = -30. Suppose -m - 48 = -3*m. Let j = m + -9. Which is smaller: t or j?
j
Let j be (-2 + (-4 - 3))/((-21)/(-14)). Let p be ((-1)/(j/(-9)))/((-2794)/44). Is 0 at least p?
False
Let b(t) = t**3 + 6*t**2 - 3*t + 10. Let k be b(-7). Let q be 30/(-9)*(-12)/8. Suppose -q*x + 10 = 0, 0 = g + 2*x - 6*x + 26. Is g > k?
False
Let u = 9536 + -9439. Which is smaller: 100 or u?
u
Suppose 18*h - 35 = 37. Suppose 6 = 3*a - 5*a. Let s be (66/(-18) + a)/(h/(-6)). Is 8 < s?
True
Let h be (2*1/(-2) - 102)/((-85)/765). Which is bigger: 2 or h?
h
Let w = 9923683/582 - 17051. Which is smaller: 1/4 or w?
w
Let q = 63297.93 + -64394. Let p = q + 1113. Let n = p - 17. Are n and -2/7 equal?
False
Let k be (-1171)/(-6) - 7/(-14). Suppose 19*q - 15*q = 784. Which is smaller: q or k?
k
Let r(v) = 5*v - 39. Let l be r(3). Let m(j) = -j**2 - 30*j + 66. Let u be m(l). Is u not equal to 210?
False
Suppose -4*p + 24 = 3*d - p, 0 = 3*p - 9. Suppose 0 + 2 = 3*i - b, 4*b - 6 = d*i. Which is bigger: i or 0.6?
i
Let c be ((-316)/20 - -5) + (-4)/(-5). Is c > 50?
False
Let t be 4/(-14) - 150/(-35) - -1. Suppose t*a = -10*z + 6*z - 52, 3*a + 5*z + 39 = 0. Which is bigger: a or 1?
1
Suppose 271*v + 283*v = -100*v - 85020. Is -779/6 bigger than v?
True
Let x = 757/44 + -745/44. Do 1.08 and x have the same value?
False
Let y(c) = -2*c**3 + 21*c**2 - 7*c - 30. Let z be y(10). Suppose z = -5*d + 2*s - 59, s - 4 = -2. Which is smaller: d or -71/6?
-71/6
Let s be -2*27/(-564)*(93/(-9) - -13). Which is greater: 1.1 or s?
1.1
Let d be 2/5 + 2/(-5). Suppose 3*n - 4*f = n + 28, -3*n + 5*f + 42 = d. Let j be ((-7686)/(-4758))/(6/52). Is j <= n?
True
Let f be (-5 - (4 + -45)) + 6. Let q be (-6)/(-21) - 12/f. Is 1/97 less than q?
False
Let z(p) = 3*p**2 - 6*p + 24. Let d be z(7). Suppose 140 = -125*h + d*h. Which is bigger: 38 or h?
38
Let k be (23476/(-35) - 207/(-483)) + 2/(-7). Does k = -671?
False
Suppose -47 = -8*p + 33. Suppose 6 = -4*b - 5*j - 19, 0 = b + 2*j + p. Suppose 11*n - 14*n + 30 = b. Which is greater: 4 or n?
n
Let w = -8912 + 8913. Is w <= 2.519?
True
Let x = -1 + 1. Let w be (-11 - (-456)/40) + 909/15. Let d = 1399/23 - w. Which is smaller: d or x?
d
Let r be (-2 - 7/(-5))*-10. Suppose 2*l + 2*l = 36. Suppose r*w = -l - 213. Which is bigger: w or -38?
w
Let u = -6.27 + 6.6. Let d = -414 - -416.33. Let k = u - d. Which is bigger: 1.3 or k?
1.3
Let y(l) = 0*l**2 + 126*l + 2*l**2 - 240*l + 123*l + 19. Let r be y(-6). Which is greater: 39 or r?
39
Suppose -4*u + 55*r - 51*r = -916, 0 = 2*u - 4*r - 468. Suppose 0 = u*o - 222*o + 200. Which is greater: -99 or o?
-99
Let h be (-126)/(-5481)*102/(-20). Are h and 1 non-equal?
True
Suppose -3*o - 27 + 3 = 0. Let g be (2 - o/(-4))*1. Let b be 6/8*-10*16/320. Which is smaller: b or g?
b
Let u(r) = -8*r - 120. Let y be u(15). Let c be ((-4)/(-3))/((-4)/y). Are 79 and c unequal?
True
Let l = -293/4 - -73. Is l less than -4955?
False
Suppose 0 = 2*c - 52 + 20. Suppose -c*x = -4*u - 12*x + 168, -3*u - 2*x + 101 = 0. Which is greater: u or 5?
u
Let z(y) = y**3 + 10*y**2 - 51*y - 31. Let q = -913 - -900. Let m be z(q). Does m = 125?
True
Let t = -1810 - -2220. Does -2 = t?
False
Let a(p) = -2*p**2 - 2*p - 1. Let b be a(-1). Let i be 11/9 + (-10)/45. Let m be i + 586/(-194) - (16 + -18). Is m greater than or equal to b?
True
Let r(b) = 3*b - 13. Suppose 5 - 14 = -5*x + 3*u, 0 = 3*x + u - 11. Let v be r(x). Let f be (63/14)/(2/v). Does -3 = f?
False
Let u = -0.086 + 1.086. Let d = -326 - -277. Which is greater: d or u?
u
Let v = -151 - -76. Let q = -112 - v. Let p = -36.9 - q. Is p smaller than -25?
False
Let x = -12524 - -12524.009. Is 15 greater than or equal to x?
True
Let r(f) = 2*f + 15 - 2*f**2 + 1 - 13. Let q be r(-7). Let o be ((2 - -3) + q)/(1 - 2). Which is bigger: 105 or o?
105
Suppose -2*a + 9*l - 4*l - 845 = 0, 420 = -a + 2*l. Let z = a - -429. Which is bigger: 4 or z?
z
Let c be 2*((-58)/(-30) + -2). Let q = -135745/7 + 19392. Which is greater: q or c?
c
Let l = -322131 + 322134. Suppose -t = 2*t - 45. Suppose 35 - t = 4*f. Are l and f unequal?
True
Let t = -8047 - -8046.9. Which is greater: t or 5.702?
5.702
Let l = -2301249/284 + 8103. Suppose 3*g = 8*g + 2*g. Which is greater: l or g?
l
Let z(m) = -44*m**2 - 21*m + 58. Let g be z(3). Which is smaller: g or -2816/7?
-2816/7
Let g be ((-2)/(-4))/((-199)/(-1592)). Is g at least as big as -2415?
True
Let l(m) = 9*m - 97. Let x be l(10). Let h = x - 3. Suppose 5*i + 18 = z, -2*i + 6*i = -5*z - 55. Which is smaller: h or z?
h
Suppose 25*u = 21*u - 8. Let f be (10 - -1)*(u + 1). Which is greater: -12 or f?
f
Suppose -5*q + 648*v = 650*v + 934, 5*q - 3*v = -924. Which is smaller: -0.035 or q?
q
Let r = 3346 + -3335. Suppose 6 + 27 = 3*z. Is r less than z?
False
Let j = 30663/7 - 4393. Let f be (-14)/4 + (-133)/14. Is j equal to f?
False
Let n be (-1 - -15) + (-16 - -11) + 745. Is 758 equal to n?
False
Let t be (-170)/22*21*23/805. Are 8 and t equal?
False
Let x be -4 + 3/3 - (-8 - 5). Let d = -1135 - -5722/5. Is x at least as big as d?
True
Let z = 46 - 44.56. Let j = z + -0.44. Let q = -656 + 613. Which is smaller: j or q?
q
Let b = -4965.5 + 4964.8. Let h = -0.02 - 4.98. Is b less than or equal to h?
False
Let g = -807/731 - -14048911/12724517. Is g < -1?
False
Let t be (-27)/(10/(-162) - (-1 - -1)). Let n = t - 172772/395. Let a = -25678/1185 + n. Do -21 and a have the same value?
False
Let a = -12.177 + -0.123. Let m = -19.3 - a. Is m greater than -10?
True
Let a(c) = 4*c**3 + 5*c**2 + 40*c + 5. Let l(f) = 7*f**3 + 8*f**2 + 79*f + 9. Let g(b) = -11*a(b) + 6*l(b). Let d be g(-7). Which is greater: 103 or d?
d
Let a be ((-1589)/49 + -5)/(15/(-105)). Which is smaller: 265 or a?
a
Let p = -1135/3 + 382. Let n(b) = -b**3 + 28*b**2 - 27*b + 5. Let l be n(27). Which is smaller: p or l?
p
Suppose 4*q = 5*k + 47, 5*k = -5*q - 0*q - 20. Let o = 38406 + -202014/5. Let u = -2005 - o. Which is smaller: u or k?
u
Let f = -1653.4 - -1651.5. Let v = -2873/11 + 261. Which is smaller: f or v?
f
Let v = 90441 + -90391. Let s = -5 + 6. Is s > v?
False
Let g = 460 - 371. Let h = g + -130. Which is smaller: h or -0.1?
h
Let s(o) = 109*o + 1706. Let y be s(-24). Is y less than or equal to -918?
False
Suppose 5*i + 20 = -5*h, -5*h - 89*i + 85*i = 17. Is 10/587 at most h?
False
Let k = -1/283599 + -554959/3470968161. Which is smaller: k or 0?
k
Let o be -33*(165/11 + -14). Which is bigger: o or -369/11?
o
Let u be (956/(-5) - 0)*(-50)/20. Let s = u - 479. Are 1/83 and s equal?
False
Let q(f) = f**3 + 10*f**2 - 5*f + 59. Let c be q(-11). Let j(n) = 16*n + 128. Let k be j(c). Is 19 less than k?
False
Let m(x) = 7 - 3 - 6*x - 4 - 3. Let w(u) = 3*u + 2. Let a(v) = 3*m(v) + 5*w(v). Let i be a(3). Do i and -9 have the same value?
False
Let t = -2298.1216 + 2298. Is t at least 0?
False
Let v = -10646 + 10646.08. Which is bigger: v or 29/3?
29/3
Let h = 0.32 + -0.22. Let d = 8585.8 - 8603. Which is smaller: d or h?
d
Let k(o) = -o**3 + 3*o**2 + 4*o + 3. Let t be k(5). Let w be 4/18 + 6/t. Let n be (-103)/171 - ((-50)/45 - (-4)/6). Is n less than or equal to w?
True
Suppose 2*x - 150 = 4*g, 0 = -326*x + 330*x - 5*g - 285. Is x < 5?
False
Let i be 0/(10/(-5)) - -13. Suppose 0 = -2*z + 5*h, z + 4*h = -0*z + i. Let r = 6 - 7. Is r at least as big as z?
False
Let j(t) = -t**2 + 33*t - 87.