-3*r - 4 = -8*i + 3*i. Do i and k have different values?
True
Let u be 6/(16/(-6) + 1066042/399408). Which is greater: 2511 or u?
u
Let q(b) = 46*b + 11. Let v be q(2). Let w = v - -38. Let z be 9 + -13 + (-1)/((-36)/w). Which is smaller: -1 or z?
-1
Let q(i) be the first derivative of -2*i**3/3 + 20*i**2 + 210. Let o be q(20). Is o less than -2/839?
False
Let r be 70/(9 + -23)*(-1054)/10. Which is smaller: r or 524?
524
Suppose c + 8 = -3*c. Let h be (((-4)/10)/((-734)/(-133955)))/1. Which is greater: c or h?
c
Let p be 4/(2 + 5/(-2)). Let o(w) = -w - 6. Let r be o(-6). Suppose -4*d + 0*f + 5*f - 35 = r, -5*d - f = 51. Does d = p?
False
Let w = -9787/77 - -989/7. Let a = w + -4502/319. Is a smaller than -11?
False
Suppose 3*g = 7*j + 2687 + 12701, 5*j + 2*g + 11008 = 0. Which is smaller: -2203 or j?
-2203
Suppose 8*w = 9*w - 68. Let l = w + -31. Let c be 48/6*l/4. Which is bigger: 75 or c?
75
Suppose 0 = -4*k - 4*m, -15*m = -14*m. Suppose k = -17*x + 645 + 766. Is 83 greater than x?
False
Suppose 9 = -14*y + 37. Let x be 1*(-32)/3976*(-7)/y. Which is bigger: x or -1?
x
Let b(y) = 51 - 52 - 4*y + 3*y. Let m = -334 - -334. Let o be b(m). Is 10 bigger than o?
True
Let y be (-100770)/(-2700) - 37 - (-4)/(-18). Let m = -8 + 14. Suppose -3*n = -5*n + m. Is y at least as big as n?
False
Suppose -7*v - 60 = -32. Let h be 46/(-22) + 8/v. Which is smaller: -4 or h?
h
Let p = -2 - -3. Let u = 4219377/14 - 301384. Is u equal to p?
False
Let m = 0.4792 + 2.5208. Which is smaller: -0.459 or m?
-0.459
Let u = 96 + -137. Let l be (u - 17)/((-28)/(-6)). Which is smaller: l or -12?
l
Let u(z) = -9*z + 174. Let n be u(22). Let v be 8/(n/45) + -7 + 8. Do v and -79/6 have different values?
True
Let p = -29.11 + 40.7. Let m = -10 - 1. Let q = p + m. Is q greater than 0.1?
True
Let i = 53.5 + 0.5. Let t = -76 + i. Let h = 0.009 - -0.091. Is t not equal to h?
True
Let j be ((-32)/(-40))/(2/10). Suppose 5*n - 12 = -4*y - 4, -j*y = 2*n - 20. Let r(d) = 5*d**2. Let g be r(-1). Which is bigger: y or g?
y
Let u = 6316259/459 + -13761. Is u != 1?
True
Suppose 2*f - x = -5, 36 = -3*x + 63. Is f less than or equal to -0.3726?
False
Let r = -118.51 - -117.01. Are -5 and r unequal?
True
Let z = 899 - 899. Suppose -l = 5*w - z*l - 30, -25 = -5*w - 2*l. Suppose 2*m - 12 = -0*m. Is m >= w?
False
Suppose -5*y - 727 - 1635 = -3*z, 5*y = -3*z + 2372. Which is bigger: 790 or z?
790
Let b = -13 - -10. Let h be 6*(3 - (-2)/b). Suppose 15*r + 10 = h*r. Is -10 bigger than r?
False
Let z be 600 + -13 + (-72)/(-9). Which is smaller: 599 or z?
z
Suppose -22*q = -23*q - 27794661. Let g = q - -377590469411/13585. Let o = -4/247 + g. Which is bigger: 0 or o?
0
Suppose -24*p - 6*p = 18*p. Is -25/54 at most as big as p?
True
Let w be 59/13 + 5/(6/(-6)). Let a = 12 + -12. Which is smaller: a or w?
w
Let c = 4.17973 + -4.25973. Let q = -0.9 - -3.8. Let y = q - -0.1. Is y bigger than c?
True
Let w be 2060/2472 + (-1 - (-14242)/(-12)). Does -1187 = w?
True
Let b(s) = -23 - 32 - 33 + 116 + 37*s - 30. Suppose -a + 5*a = 2*o - 2, -4*a = o + 11. Let d be b(a). Is -75 at least d?
True
Let q = 19908.00743 + -19908. Which is smaller: -0.3 or q?
-0.3
Let s = 3352/11858095 + -6/5185. Is 0.04 greater than or equal to s?
True
Let m be ((-2)/(-68))/((-12)/(-696)). Is -0.3 at least as big as m?
False
Let u(c) = -c**3 + 35*c**2 + 111*c + 65. Let j be u(38). Let q = -37 - j. Is q at least -10?
True
Let f be (5/((-25)/36))/(26/(-65)). Let g be (-15 + -2)*8*(-9)/f. Which is smaller: g or 67?
67
Let q be ((-4 - -1)/(-12))/((-4)/(-80)). Suppose 4 = q*r - 6. Let a be (-30)/(-8) + (0 - 1). Is a != r?
True
Suppose l - 22 = -4. Let d be -3 + 58/l - (-1480)/(-18). Let w = 58 + d. Is w > -25?
True
Let s be -7 + ((-6)/(-14) - (-12 + 450/70)). Is -3/8386 at least s?
True
Let b = -92 + 163. Suppose k - 93 = 5*k + 3*z, 2*z + b = -3*k. Suppose -4*c = -3*l + 120, -5*l - 15 = 2*c + 19. Do c and k have the same value?
True
Suppose -689*k - 74209 = 5*i - 685*k, 14825 = -i + 2*k. Is i >= -14836?
False
Let p = -5937.8 - -5938. Which is smaller: p or 12.881?
p
Let y(h) = -h - 162. Let x be y(0). Let o = 155 + x. Suppose 6 = -2*j + j. Which is smaller: o or j?
o
Let c be (-57)/(-152)*128/(-144). Which is bigger: -6/3107 or c?
-6/3107
Suppose 2*s + 60 = -4*q, -565*s + 569*s = -4*q - 72. Is q greater than -155/13?
False
Let z be 1/(-3) - (-8)/(-12). Let x be (-65)/(-1106) - ((-136)/448 + 12/32). Which is smaller: x or z?
z
Suppose 4*a + 50 = 14*a. Let u be 8 + ((-40)/4)/a + -5. Which is bigger: u or -4/29?
u
Suppose -4*q - 15440 = -4*r, -2*r - 5*q = -6683 - 995. Are r and 3854 equal?
True
Let p = -8.266 - -8.5. Let y = p + -0.034. Let u = 19.95 + -20. Is u >= y?
False
Let d(i) = -i**2 - 14*i + 12. Let c be d(-13). Suppose -x = -3*k - c, -x + 2 = x. Is -6 less than or equal to k?
False
Let p be (-2)/(((-12)/180)/((-6)/(-10))). Suppose 5*n = 2*i + 19 + 17, -3*n + i + 21 = 0. Let u be n/p*3/1. Which is bigger: u or -3/68?
u
Suppose -2*s = -s. Let r = -476 - -558. Let v be 18 - 14 - -3*r/(-57). Which is smaller: s or v?
v
Let i = 0.1141 + -0.8211. Let d = i - -0.607. Is -116 < d?
True
Let m(x) = -5*x - 79. Let a = 390 - 406. Let n be m(a). Which is greater: 25/14 or n?
25/14
Let c = 926 - 923. Suppose -4*l + 4*x + 17 = x, -4*l - x = -5. Let i be ((-1)/(-2))/(c/l). Is i > 1?
False
Suppose -2*p - 142 = -4*n, -5*n + 2*p = 4*p - 182. Let d = -177136 - -177172. Is d at most as big as n?
True
Let u be (0 + 1/3)*64602/10878. Let l = u - 16459/245. Which is smaller: -66 or l?
-66
Let i = -1321 - -1322. Which is bigger: -31 or i?
i
Let m(s) = -2*s**2 - 5*s + 13. Let h be m(-4). Suppose a = -3*q - 8, -3*q = 2*a + 8 - h. Let v be 2/(-4)*(-8)/(-12). Which is smaller: a or v?
v
Let a = 154 + -141. Suppose 65 + 390 = a*o. Let b = 38 - 4. Is o at least b?
True
Let t be 10/(-125)*-5*-65. Let q = 68 + t. Is q not equal to 42?
False
Let f(i) = i + 1. Let h(u) = 3*u + 2. Let x(m) = 2*f(m) - 2*h(m). Let p(z) = 4*z + 1. Let r(l) = -4*p(l) - 3*x(l). Let o be r(0). Which is greater: 10/9 or o?
o
Suppose 2512 = 3*k - 140. Suppose -3*z = -z - k. Let n be 4/(-10) - z/195. Is n > -4?
True
Suppose 5*i + 2959 - 10959 = 0. Let z = 62417/39 - i. Is -1 at least z?
False
Suppose -31268 = -20*u - 9968. Is 1064 > u?
False
Suppose 0 = 22*w - 159 + 27. Suppose 0 = 26*s + w + 20. Is s bigger than 3/100?
False
Let u = -3.06 + 1.91. Let h = 18.35 + u. Is h greater than -0.1?
True
Suppose -58*x + 216 = -22*x. Let n(u) be the third derivative of u**6/120 + u**5/12 + u**4/8 - u**2. Let c be n(-3). Are x and c unequal?
True
Suppose 26*i + 282 = -23*i + 233. Which is smaller: i or -2/16583?
i
Let g(l) = -24*l + 3. Suppose 0 = -0*u - 7*u - 10*u. Let p be g(u). Let w(f) = -f**3 + 4*f**2 + 7*f - 6. Let j be w(5). Is j smaller than p?
False
Suppose -121674 + 121636 = -38*m. Let i be ((-25)/(-195))/(28/(-6)). Which is greater: m or i?
m
Suppose 0 = -7*z + 39 + 17. Let y = z + -71. Let v = 105 + y. Which is greater: v or 43?
43
Let j(o) = 2*o**2 + 134*o + 381. Let r be j(-64). Suppose 2*p + 3*p = -2*d - 16, -3*p = -2*d. Let w be ((-2)/(3 + p))/1. Is w at least r?
True
Let i be 133/392 - (-2)/(-7). Let j be ((-16)/(-24))/(2/(-3)) + 288. Let c = j + -288. Is i less than c?
False
Let o be (1 - 9 - 85/1)*38/36. Is -98 less than or equal to o?
False
Let k = -1664 + 2914. Let z be ((-4)/k)/((-279)/465). Let g = -1 - -1. Is g bigger than z?
False
Suppose 0*n = 5*n - 5, -2*n - 4 = -j. Suppose 145 = -j*a + 133. Which is bigger: a or -3/137?
-3/137
Let q(h) = h**2 - 19*h + 17. Let n be q(23). Let i = 104 - n. Let j be (i + 5)/(5 + -4). Is -2 at least j?
False
Let v(d) = -12*d**2 + 5*d + 126. Let z(o) = 7*o**2 - 3*o - 63. Let h(a) = 3*v(a) + 5*z(a). Let s be h(8). Is s >= -3/23?
False
Let w be ((-3060)/400)/((-2)/(-8) + (-2)/7). Which is smaller: w or 0?
0
Let m be 518756/(-792) - -4 - 2/(-9). Let h = 18163 + -37633/2. Let t = m - h. Is 3 bigger than t?
True
Let q be ((-140)/15)/((-2)/3). Let i be 6/q - 496/112. Let c = 51 + -56. Which is smaller: c or i?
c
Let t be 10 - 89986/(-29991) - 13. Which is smaller: t or -1?
-1
Suppose -25*y + 24*y - 18 = 3*x, 0 = y + x + 12. Let n be 12/(-8)*(7 + y). Which is smaller: n or 19/6?
n
Let u = 303 + -306. Let y(x) = -13*x - 44. Let j be y(u). Is -9 not equal