er than w?
False
Let s = -40 - -55. Let r be 3/(-1) + 55/s. Do -8/23 and r have different values?
True
Let p = 12100 + -14502. Is p greater than -2399?
False
Let f(q) = q + 3. Let a be f(-3). Suppose -3*p + 0*k = -k - 2, 2*k = 8. Let z be a - 3 - (p + -5). Is 2/13 greater than z?
True
Let o(g) = 2*g - 4. Let k be o(4). Suppose 29 = k*r + 25. Which is bigger: 1/70 or r?
r
Let i = 224 + -225.103. Let w = 0.097 - i. Let g = 0.74 + -0.74. Which is bigger: w or g?
w
Suppose 5032 = -10249*l + 10215*l. Is l < -168?
False
Let r = -556/5 - -1736/15. Are r and 5 non-equal?
True
Let f = 32/8055 + -576818/149251095. Is 1 less than f?
False
Suppose 5*j - 8 = -u, -9*u + 5 = 2*j - 8*u. Let k be j + 0 - (-19 + 21). Does 1/14 = k?
False
Let a = 504 - 504. Suppose -6*z - 244 + 586 = a. Which is smaller: 225/4 or z?
225/4
Let t = -11 - -8. Let z be ((-585)/(-75))/(t/(-14)). Is 37 at least z?
True
Let x be (-60)/36 + (-1)/3. Let c(l) = l + 9. Let f be c(-6). Suppose b + 35 = 4*d, 5*b - 28 = -f. Is d at least x?
True
Let p = -4444 - -26693/6. Suppose -5*x + 49 = 2*i, -6*i + 2*i - 23 = -x. Let k = -5 + x. Which is bigger: k or p?
k
Let i be 29 - 0 - (-2 + -1). Let l = i - 476/15. Suppose 67*y - 76*y = 9. Is y bigger than l?
False
Let j = 2.2396 + 0.7604. Let q = 53.71 - 54. Which is smaller: q or j?
q
Let a be 447456/80 + -1 + (-12)/(-15). Is a greater than 5593?
False
Let y = 1490 - 1485. Let h = -1 + 1. Suppose 0*b = -3*t + b - y, 5*b - 25 = h. Is t at least -2/13?
True
Let z = 0.0372 - 0.1372. Are z and -1460 equal?
False
Let o be ((-4)/8*4)/((-1)/3). Let x(j) = 3*j**2 - 19*j - 1. Let m be x(o). Is m not equal to 0?
True
Let o(m) = 2*m**3 + 38*m**2 + 21. Let t be o(-19). Let b be (-8640)/(-70) - (-12)/t. Which is smaller: 122 or b?
122
Let i be (-8)/3*(-3)/4 - -13. Let v be 40/i*(-1)/((-4)/6). Suppose v*k - k = 4*c - 9, -9 = 3*c + 3*k. Is c less than or equal to -4/9?
False
Let t = 50 - 276/5. Let i = t + 801/155. Let p be (-2)/4*17/((-119)/14). Which is smaller: p or i?
i
Let k be 190 - (0 + 0 - 0). Let c = 18217 + -18028. Which is smaller: k or c?
c
Suppose -163 = -312*q + 1397. Let n(x) = x**2 - 5*x - 2. Let k be n(6). Is q < k?
False
Let t(r) = -4*r**2 + 140 + 146 - r**2 - 283 - 5*r - r**3. Let n(f) = f**2 - f - 3. Let m be n(0). Let c be t(m). Which is bigger: -16 or c?
c
Let y be 21/2*3/(18/(-4)). Let k be (2 + 20/y)/(2/14). Which is smaller: 0 or k?
k
Let i = -1979.6 + 1979.6. Does i = 0.411?
False
Let j = 4711 - 4710. Let b = -1.03 + 5.13. Is j > b?
False
Let g = 71.7 - -37.3. Let s = -109.58 + g. Which is bigger: s or -2/5?
-2/5
Let c = 281 - 268. Let v be c/84 - 31/124. Is -1 at most as big as v?
True
Let n be -4 + (10196/288 - (-6)/16). Which is smaller: 33 or n?
n
Suppose 3*p + 0 - 30 = 2*b, -4*b = -p. Let c = -259/22 + p. Let z be 7/(-14) - (-1)/2. Is c less than or equal to z?
False
Let s be (-464)/(-6)*(73815/148)/(-35). Which is greater: s or -1103?
s
Let f(o) = -40*o - 171. Let d be f(-4). Let y(t) = 28*t + 245. Let q be y(d). Are q and -62 non-equal?
True
Let o = 3844951 + -3556575496/925. Let w = 3506 + -87767/25. Let b = w + o. Is b at most -1?
False
Let d = 23367175/706 - 33098. Does 0 = d?
False
Suppose -29071 + 120423 = -65*i - 16093. Is i less than -1652?
True
Let p = 55318/5 + -11102. Let a = 55 + p. Which is greater: a or 16?
a
Let z = 7 - 7. Suppose -21 = 5*t - 4*k - 5, z = -t - 2*k + 8. Let m = -64/15 - -11/3. Which is greater: t or m?
t
Let b = 391 - 291. Let a = b + -99. Do 0.12 and a have different values?
True
Let r(y) = -y**3 + y**2 + 76. Let g be r(0). Suppose -4*h = t - 2*h + 22, 4*t + 4*h = -g. Let d = t - -129/8. Is d greater than or equal to -1?
True
Let d = 86268 - 86268.13. Let t = 0.3 - 0.5. Which is smaller: d or t?
t
Let w = -2283 - -2278. Which is greater: 192 or w?
192
Let r = -59 - -39. Suppose 816 + 413 = 2*v + d, 5*d + 15 = 0. Let u be v/(-35) + ((-15)/(-3) - 6). Is u greater than or equal to r?
True
Let l(r) = 2*r + 17. Let w be l(5). Suppose 3*h + 3 = -5*i, 3*h = -0*i + 5*i + w. Let x be 232/238 + h/(-34). Is x > 1?
False
Suppose -44*p - 996 = -46*p + t, -2*t - 507 = -p. Is 1/3 bigger than p?
False
Let u(q) = 18*q + 51. Let m be u(-3). Let d be 4 + 60/32 + m + 0. Which is greater: d or 2?
d
Suppose -20*o + 35*o + 41 = -26*o. Which is greater: 1/2558 or o?
1/2558
Let q = -486 + 479. Let n be 4*(-9)/252*q. Is 2/113 equal to n?
False
Suppose 0 = -293*y + 296*y + 5*w + 9, -5*w - 30 = 0. Is y bigger than 61/9?
True
Let t be (6140/12)/(-12 - -11) + (-6)/(-9). Is -2548/5 > t?
True
Suppose 5158*s - 5148*s = 0. Let z = 1/330 - -1169/49830. Is s != z?
True
Let a(d) = 5*d + 35. Let z be a(-16). Let x be 258/(-360) + 9/z. Let s(o) = -o**2 + 5*o + 6. Let h be s(6). Which is bigger: x or h?
h
Suppose 5*y + 25 = -2*s, -4*y - 40 = y + 5*s. Let p be 0 + 1*y - (-115)/(-20). Let h be 10/(-2*(5/(-2))/(-5)). Is h at least p?
False
Suppose -8 = 28*d - 26*d, -2*x - 3*d - 14 = 0. Suppose t = 3*f + 406, f + 65 + 77 = -t. Let r be 4/(-2) + f/(-68). Is r not equal to x?
True
Let i be (-9*9)/(-3) + -1. Suppose 3*a = 5*h - 142, -h - 3*a + 10 = a. Let t = i - h. Which is smaller: -2 or t?
-2
Let l be -66 + 3/(3/(-2)). Let g = -50346 + 50346. Is g greater than or equal to l?
True
Let h(b) = b**2 + 9*b + 8. Let n be h(-7). Let x be 2/4*(-512)/36. Is n > x?
True
Let t(o) = -o**3 - 13*o**2 - 19*o - 84. Let d be t(-12). Which is bigger: d or -15/11?
d
Let k be (-12)/((-24)/(-350))*3/3. Is -1932/11 smaller than k?
True
Let x = -3716781/26435 - -4/5287. Let i = x + 135. Which is smaller: i or -6?
-6
Let f = -8042 - -5711. Let z be (438/44)/(2/468). Let r = z + f. Is r smaller than -3?
False
Let f be 11/(-5) - -2 - 312/(-60). Suppose l = f*x - 44, 2*x - 20 = l + 3*x. Is l greater than or equal to -73/3?
True
Let c be -2 - (-5 + (0 - -1)). Let j be 10 + 4 + (18 + 0)/(-18). Is j at most c?
False
Let p = 0.1 - 0.09. Let c = 0.2385 + -0.2685. Is c at least as big as p?
False
Let d(w) = 8*w**2 + 59*w - 26. Let i be d(-8). Suppose 0 = 6*s - 7*s. Suppose s = -j - j + 24. Is j at least i?
False
Let x(w) = -w**2 - 2*w + 5. Let j be x(5). Let t = -36 - j. Let g be (-15)/t*69/(-15). Which is greater: -13 or g?
g
Let j = -10360 + 10360. Are j and 49/50 equal?
False
Let o = 0.207 - -169.793. Let p = o + -169.8. Is -0.12 at most as big as p?
True
Suppose 10*c + c = 22. Let n be c/10 - (44/20 - -1). Let l be (-66)/30 - n - (-2)/10. Which is greater: l or 1/16?
l
Let y be (0 - 15/(-9))*(-48 + (-6)/(-2)). Is 2/11 at most y?
False
Let m be (-113864)/(-32508) + (-4)/(-486)*3*-3. Which is greater: -0.01 or m?
m
Let r = -9140 + 9140. Which is smaller: 2/17707 or r?
r
Let v be (-8*(-10)/320)/(1/(-1))*0. Is v greater than 2/1457?
False
Let h = -122 - -120. Is -51.86 at most h?
True
Let w be 2416/(-3) - (-32)/(-48) - -1. Let u = -232646/289 - w. Is u != -1?
True
Let k(n) = n + 8. Let a be k(-8). Suppose 0 = -2*r - 2*x + 18, a = -5*r - 0*x + 5*x + 45. Suppose -r*j + 6*j = 45. Does -13 = j?
False
Let q be 26/(-101)*((-1020)/648 - 2/(-27)). Is 0 at least q?
False
Let c = 0.98 + 50.12. Let w = c + -50.1. Let y be ((-9)/20)/((-2)/(-8)). Is y greater than w?
False
Let t be (-6)/27 - 260/(-36). Suppose -t*v - 13 = 1. Let a be (v/4)/((5/(-2))/5). Which is bigger: 2/83 or a?
a
Let l be (-2)/4*30/(-9). Let q be (-177)/(-4)*48/18. Let d = 121 - q. Which is greater: d or l?
d
Suppose -4*a - 18 = -9*a - 4*s, 4*a = -3*s + 15. Let m = 9072 + -117873/13. Is a bigger than m?
True
Suppose 0 = b + 2*r - 31, 3*b - 11*r - 63 = -7*r. Let l be b/(2 + 3) - (-5504)/40. Which is smaller: l or 144?
l
Let n(r) = -25*r + 302. Let j be n(0). Suppose -4*t = -8, 0 = 3*m - 8*m - 4*t - j. Is -59 <= m?
False
Let n be ((-60)/(-70))/((-26422)/77). Is n greater than 0.06?
False
Let i = -1752.2 + 1958.2. Does 42 = i?
False
Suppose 2*y + 5*y = 0. Let n be 2 + y*(-1)/4. Suppose 0 = 32*l - 38*l + 126. Which is smaller: n or l?
n
Let k = 101.6 + -121. Let o = -19 - k. Which is greater: 1.6 or o?
1.6
Let t be 4/14 + 6/(-21). Let s(f) = -4*f**3 + 4*f**2 + 15*f - 9. Let j be s(5). Let i = j - -5680/17. Do t and i have the same value?
False
Suppose 88*f - 244 = -34*f. Which is greater: f or -96/13?
f
Let q(s) be the third derivative of -s**5/60 - s**4/4 + s**3 + 2*s**2. Let l be q(-6). Let m be ((-4)/(-50))/(l/60)*