Let u(i) = 124*i - 115. Let n be u(6). Suppose 6*r - n - 577 = 0. Do 201 and r have the same value?
True
Let v be (320/176)/((-276)/(-132)). Which is greater: v or -0.2?
v
Let z = -597.85 - -99.85. Is z > -4?
False
Let l(t) = -t**3 - t**2 - 1. Let b(j) = -j**3 + 2*j**2 + 2*j + 6. Let v be b(3). Let s be l(v). Let y = s - -24. Are -13 and y equal?
True
Let c = 2.697 - -0.053. Let r = c - 1.94. Let m = 3/20 - -1/4. Which is greater: m or r?
r
Let x(b) = b**3 + 80*b**2 + 44*b - 208. Let u be x(-79). Is 2556 >= u?
False
Let g be ((-5580)/(-552) + -10)*(-6 + -624). Which is bigger: -69 or g?
g
Let b = 2851 + -2849. Which is smaller: 27/35 or b?
27/35
Suppose 2*p = 5*s + 25 - 51, 4*p - 3*s = -10. Which is smaller: p or -6617?
-6617
Let z be (-4 - -170)/(8 - 9). Let y = z - -547. Is 381 > y?
False
Suppose 109*b - 105*b - 49 = 3*r, r - 3*b + 28 = 0. Which is greater: 11 or r?
11
Let z = 8 - -101. Let f = 195 + z. Let l be (-16)/(-24) - f/474. Which is greater: 1 or l?
1
Let h = 48 + -80. Let c(l) = -4*l**2 + 16*l - 36. Let d be c(6). Let n = -114 - d. Is h <= n?
True
Let c = -579.7 - -646. Let n = 481.4 + -417.4. Let u = c - n. Is 1 <= u?
True
Suppose 0 = 3*h, 4*c + 63 = -4*h - 541. Let x = -150 - c. Which is smaller: -5/154 or x?
-5/154
Let d = -63 - 7. Let k be d/168 - 2/(-8). Let w be (-2 - (-12)/7)/((-2)/14). Which is smaller: k or w?
k
Let w = -239 + 232. Let r be (-3 - (w - 6)) + -6. Is r less than 25/9?
False
Let q be (((-189)/(-14))/(-9))/((-6)/(-8)). Let k be 70/245*(0 + q/20). Suppose 3 = g, 7 = -5*l - 2*g + 18. Is l at most as big as k?
False
Let h(b) = 7*b + 31. Let s be h(-4). Suppose -s*g = o + 9 + 11, -3*o + 12 = -3*g. Let a = -15 + 10. Is a at most as big as g?
False
Suppose -2*v + v = 24. Let p be 450/72*(-1 - 3). Which is greater: v or p?
v
Let n = 35572 - 35471. Are n and -85/4 non-equal?
True
Suppose 3*h = -6, -4*a + 65*h = 64*h - 610. Is 160 greater than a?
True
Let v be (-34)/(-12)*6/15*-4. Let u = 886/255 + v. Which is smaller: u or 0.1?
u
Let l = -66 - -82. Suppose h - 18 + l = 0. Let s be 1/21 + (h/3 - 1). Which is smaller: -2/17 or s?
s
Let d = -2.9 - -3. Let m = 23.8 - 23.882. Let z = -19.082 - m. Is d at most as big as z?
False
Let w = 2410249/12978 + -3343/18. Let o(f) = f + 5. Let b be o(-6). Is b less than or equal to w?
True
Let l be (3/(-12))/(7/333340*25). Is l at most as big as -475?
True
Let p be -18*(6 + (-1 - 3)). Which is smaller: p or -21?
p
Suppose 9*b - 124 + 34 = 0. Suppose 18*c + b = 19*c. Suppose 22 = c*d - 9*d. Which is bigger: d or 21?
d
Let h(d) = d**3 + 10*d**2 - 9*d - 20. Let i be h(-8). Suppose -a + 2*w - i = 4*a, 3*w = a + 36. Let y be 19/(1/2*-1). Which is greater: y or a?
a
Let p = 5.33 - 4.48. Let t = 171 + -170. Which is greater: p or t?
t
Let d(k) be the second derivative of -k**5/20 - k**4/2 - 7*k**3/6 - k**2/2 + 9*k. Let o be d(-4). Let y be (2 + 28/(-20))*o. Is y at most as big as -4?
False
Let s be (-77850)/1179285 + ((-48)/(-87))/8. Are s and 0 equal?
False
Let d = 20 + -58. Let a = 23 + d. Let m be -1 + (-168)/(-16)*(-2)/a. Which is bigger: m or -3/47?
m
Let r = 683186/26827375 - -2/170875. Let g be (-2*1 + 0)/(-2). Which is smaller: g or r?
r
Let f(n) = -n**3 - 4*n**2 + n - 1. Let b(o) = -o**2 + 16*o - 5. Let r be b(16). Let t be f(r). Let k = t - 18. Is 7/4 greater than k?
True
Let i(c) = -2*c**3 + 11*c**2 - 6*c + 9. Let z be i(6). Let d = 70 + z. Let b be 1*-7*d/(-5 + -2). Which is smaller: 10 or b?
b
Let d = -34665/9881666 + -9/7702. Is d smaller than -1?
False
Let b be 175/30 - 6 - (-70)/(-12). Let f(o) = -o**2 - 7*o - 2. Let q be f(-5). Let l be (-4)/q*(-3)/((-9)/b). Is l >= 5/6?
True
Let x(g) = -g**3 + 56*g**2 - 127*g - 56. Let f be x(54). Is -1082 smaller than f?
False
Let m = -702 + 1200. Let g be ((-52)/156)/((-2)/m). Is -2 < g?
True
Suppose -6*h + 7*h - 3 = 0, q - 9 = 4*h. Let l be -2 + (-17)/(-7) + 33/q. Is l >= 47/14?
False
Suppose -4*k = 28*k + 3*k. Let t be (6/8)/((-285)/(-16)). Is t at least k?
True
Let j = -182.3 - -195.57. Let z = j + -14.27. Let k = 5 + 1. Which is smaller: k or z?
z
Suppose 186*b = 222*b. Let s be (-458)/(-460) + 6/(-6). Are s and b equal?
False
Suppose a + 48 = 4*a. Let c(j) = -j**2 + 7*j + 45. Suppose 12*l + 55 = 17*l. Let o be c(l). Is a bigger than o?
True
Let v = 4204/13 + -1282168/3965. Suppose -q + 0 = 1. Which is smaller: v or q?
q
Let y = 25 - 24. Let g be 1 + 0 + (-2539)/3540. Let c = -19/60 + g. Which is smaller: y or c?
c
Let i be (-10)/(-5) + 6 + 25152/(-3024). Does i = 0?
False
Let i(u) = u**3 - 47*u**2 + 31*u - 158. Let r be i(46). Which is smaller: r or -849?
-849
Let n(r) = r**3 + 11*r**2 + 10*r - 18. Let q be n(-9). Suppose -2*k = 5 - 27. Suppose -k*w + q = -10*w. Is 55 > w?
True
Let k be 1170/180*24/546. Let a = -224 + 247.6. Which is bigger: a or k?
a
Let c = 310106/32203645 + -63/6515. Which is greater: c or 0.1?
0.1
Let a be (-672)/(-60) - 4/(-5). Let o be a/(-114) - (11560/2812 + -4). Is 0 != o?
True
Let l be -6 + 6 + 1 + -3 + -19. Let h be 4/2 - (21 + -1). Let a be (27/h)/(2/28). Is l smaller than a?
False
Let h = 84 - 165. Let o = h - -37. Suppose -3*a + 25 - 157 = 0. Do o and a have the same value?
True
Let n(u) = -u**2 - 7*u - 3. Let v be n(-6). Suppose g + v*y = -4*g - 83, g = 4*y - 12. Suppose -j - 11 = p + 1, -2*p - 15 = 5*j. Is p > g?
True
Let u(f) be the first derivative of -5*f**4/4 + f**3/3 + f**2/2 + 2*f - 9. Let p be u(2). Let k = -30 - 2. Is p > k?
False
Let b(m) = 15*m**2 - 117*m - 23. Let a be b(8). Is a < -2/39359?
False
Let c = -9.07 + 9. Let x = -234 - 81. Let s be ((-27)/x*7)/(6/4). Is c greater than s?
False
Let l = -2 - -2. Suppose -77 + 107 = -5*f. Let a be (1 - 4) + -2 + f. Are l and a non-equal?
True
Let a be -22 - (166496/209)/(-22). Which is smaller: a or -7?
-7
Suppose -53*r + 16 - 70 = -1. Which is smaller: -23/584 or r?
r
Let v = 61 + -62. Let d = 561/38 + -29/2. Is v bigger than d?
False
Let c(b) = -b**3 - b**2 + b + 2. Let f(r) = -5*r**3 + 7*r**2 + 27*r + 46. Let a(s) = -6*c(s) + f(s). Let n be a(-7). Which is bigger: 182 or n?
182
Let z(i) = 154*i - 37. Let x be z(-2). Let p(q) = -32*q**2 - 22*q + 9. Let k be p(3). Is k at most x?
True
Let j(n) = n**2 - 139*n - 1331. Let w be j(-9). Which is smaller: w or 1/9582?
1/9582
Let h(j) = 2*j**2 + 24*j + 18. Let c be h(-10). Let k be (-160)/(-209) - 4/c. Which is smaller: k or 1?
k
Let i be 0 - ((-12)/9)/(-4). Let j be 30/(-81)*(-9726)/10. Let u = j + -361. Is u <= i?
True
Let g(p) = 2*p**2 + 2*p - 4. Let u be g(-3). Suppose -u*j - 73 = -7*j. Is -74 < j?
True
Let o = 4 + -2. Let r = -1261 + 1203. Which is smaller: o or r?
r
Let l be (566/564 + -1)/(-7 + (-7210)/(-1029)). Which is smaller: 0 or l?
0
Let r be (-27)/6*(-4)/(-3). Let h = -182 + 181.8. Let n = h - 0.8. Which is bigger: n or r?
n
Let z(s) = 4*s + 37. Let t be z(-6). Suppose 21*q = t*q - 112. Let c be 0/(q/14*2/2). Are c and 1/68 nonequal?
True
Let j = -13937/22711 + -3/1747. Which is bigger: 1 or j?
1
Suppose 0 = -2*c + 10 - 50. Let x be (c - 1)*(-88)/132. Which is smaller: 0 or x?
0
Suppose 3 + 109 = 4*n. Let w(s) = s + 5. Let t be w(0). Suppose 0 = t*k - 11 - 134. Are n and k non-equal?
True
Let f(m) = -6*m + 141. Let t be f(24). Let o be 12/(-8)*(t + 4 + -5). Let b = -37 + 109/3. Is b greater than or equal to o?
False
Let r be -1*((-144)/12 + 11). Are -1/2050 and r non-equal?
True
Let n = 864 + -864. Let v = 3/55 + -53/165. Which is smaller: n or v?
v
Suppose 33*h - 69 = 24*h + 6*h. Is h less than or equal to -41?
False
Let s be (2 + -1)*(0 - 790). Let n = 13426/17 + s. Which is smaller: n or -1?
-1
Suppose 2 = -17*n + 19. Let j be n/((-45)/6 - -6). Let u = -37 + 110/3. Is j at least as big as u?
False
Let k = 93204 - 93113. Let r(v) = -v + 3. Let s be r(3). Suppose 3*t - 2*t = c + 92, 3*c + 3 = s. Are k and t unequal?
False
Let o(r) = -14*r - 13. Suppose -13 = t - 3*h, -3*t - h - 2 + 13 = 0. Let y be o(t). Let j = y + 46. Is j equal to 5?
True
Let z = 1507/11439 - 1/369. Suppose -9*o = 3 - 21. Suppose 2*t - 3*b + 0*b = 2, -3*t + o*b = -3. Which is smaller: z or t?
z
Let r be (-144)/(-288) - -2*(-218)/(-8). Suppose 24 = f + 78. Let k = f + r. Do k and 5 have the same value?
False
Suppose 22*o + 210 - 188 = 0. Let l = 5 - -2. Let i be 232/910 + (-2)/l. Which is bigger: o or i?
i
Suppose 5