-2. Are r and g non-equal?
True
Let d = 0.16162 - 0.02962. Is -3/4 smaller than d?
True
Let d = -4/411741 - -2314807978/7823079. Suppose -p - 4*m = -276, -5*m + 1490 = 5*p - 7*m. Let k = p - d. Which is greater: k or 1?
1
Let i = -209 - -192. Let t be (-5 - 2) + i + 19. Do t and -6 have the same value?
False
Let f be 4 - -9 - (-60312)/(-28). Is f at least as big as -2138?
False
Let u be (-2)/(7/((-35)/(-30))). Let a be ((-2)/5)/((-4)/(-20)). Is u > a?
True
Let v = 7 + -5. Suppose 0 = -5*i - 3*y - 50, 0 = -i - i + 3*y - 41. Let m = -18 - i. Is m at most as big as v?
True
Let r be 52*((-2)/161)/(44/(-154)). Let a = -43 + 44. Is r smaller than a?
False
Let q be (-2)/(-3) + 2 + (-13823)/5175. Is 1 less than q?
False
Suppose -5*c + 6*l = 2*l + 2730, -3*l + 2185 = -4*c. Is c bigger than -1646/3?
False
Let a = 17668.1 + -17579. Which is smaller: a or 7?
7
Suppose -6*v - 72 + 54 = 0. Let t be v/((-75)/110)*(2 - 87). Is t greater than -374?
False
Let m be 1*49*320/(-2240). Which is bigger: m or -186?
m
Let u = 4202 - 4201. Is u != 2/9171?
True
Let r(b) = -b**3 - 16*b**2 - 13*b + 29. Let w be r(-15). Suppose -3*k + i = -14, 5*i - 15 = -4*k + 10. Let g be k/15 + 7/(-39). Is g smaller than w?
False
Let y be -4 + (-264)/270*-3. Let i = 19/15 - y. Is i <= -1/6?
False
Let i be (4 - 1) + (-4 - -9) + 2060/(-259). Which is smaller: 1 or i?
i
Let w(r) = -r**2 + 18*r + 1. Let f be w(16). Suppose -i - 82 = 3*n, -17 = 2*n - 4*i + f. Which is smaller: -25 or n?
n
Suppose -150*g = -148*g + 14. Let o be g/(35/155) - 10/(-2). Is -26 less than o?
False
Suppose 0 = -3*f + 4*s + 14191, -10*f - 2957 = -5*s - 50252. Is f at most as big as 4730?
True
Suppose x - 2832 = -2*x. Suppose -940*s + 4 = -x*s. Is -106/3 not equal to s?
True
Let u(c) = -c**3 - 3*c**2 + 17*c - 7. Let y be u(-6). Let s = 16/421 + -5419/153665. Which is smaller: s or y?
y
Let s(x) = -3*x**2 - 5*x + 3. Let t(p) = p + 12. Let h be t(-9). Let b be s(h). Let a be 76/(-3)*(-15)/(-10). Which is smaller: b or a?
b
Suppose -n - 728 = n. Let m be (6275/(-50) - -16)*(-20)/(-6). Which is smaller: n or m?
m
Let r be -1*(-6)/24*(2 - 84/54). Does -0.77 = r?
False
Let q be 2/((4/14)/(28/49)). Suppose -d - 2 = q. Let z be 1/(27/d + 2). Are z and 0 equal?
False
Let p be (-6)/4*(-22736)/348. Let g be ((-15)/(-1))/(-5) + p/10. Is 7 at least g?
True
Suppose -15*v - 5*v = -30*v + 1000. Which is bigger: 120 or v?
120
Let v = 6 - 17/3. Let i = 317.4 + 14.6. Let g = i - 332.21. Is v less than or equal to g?
False
Let i = -2.1 + 2. Let h = -1.138 + 1.1294. Let b = -16.0086 - h. Which is bigger: b or i?
i
Let v = -20 - -24. Suppose 76 = -2*f - v*n, 6*f + n + 166 = 2*f. Let w be (-2)/5 - (-203)/(-5). Which is smaller: w or f?
f
Let r be (37 - 9867/264)/(2/(-16)). Are r and 101/37 equal?
False
Let j be 2 + -5 + 2/(8 - 7). Is j greater than -3/20?
False
Let y(w) = 15*w**2 - 2. Let q = -52 + 51. Let t be y(q). Suppose -16*u = -t*u. Does 6 = u?
False
Let v = -52 + 40. Let d be (496/v)/(-2) + (-1)/(-3). Let j be 2/12*-7*(-4)/d. Is -31 at most j?
True
Suppose 883 = -9*z + 8578. Is 857 greater than z?
True
Suppose 0 = 3*f + 9, 5*o - 5*f + 6 = -4. Let i be (o - -4)/(25 - -1). Let p be (-28)/16*-4 - 64/8. Is p < i?
True
Let y(g) = 5*g - 3. Let t be y(3). Let w = -0.0468 - -0.3497. Let v = 0.1029 - w. Which is smaller: t or v?
v
Suppose 55*m - 36*m = -41743. Is m smaller than -2198?
False
Let x be (-8)/(-1) - 3/(9/(-41844)). Is 13957 != x?
True
Suppose 168 = -6*g - 0*g. Let y = g - -30. Suppose 0 = 5*v - 17 + y. Which is greater: 1 or v?
v
Suppose 3*t - 4*j + 62 = 0, t + 1557*j - 1 = 1554*j. Which is smaller: t or 196/15?
t
Let m = 2388 - 2388. Which is bigger: -18/17 or m?
m
Let i be 0/(((-65)/39)/((-25)/15)). Do i and -3/236 have the same value?
False
Let b be 17/(-1) + 16/4. Let p be 2/b + 163910/(-130). Let c = 58009/46 + p. Is -1 less than c?
True
Let n be (83706/3514 - 14) + -10. Is n at most as big as -1?
False
Suppose -u + 493 + 1720 = -2*i, 2*u - 4411 = i. Is u < 2203?
False
Let z = 145297 - 1449777/10. Let m = -319 + z. Let p = m + -119/30. Which is smaller: -4 or p?
-4
Let w be 12*(-1)/((1 + 4)/5). Let h be ((-21)/(-9) - 2)*w/(-490). Is h < 1?
True
Suppose -58*o = -29*o - 812. Which is greater: 15/14 or o?
o
Suppose -2*f - 2 = -3*f. Let k(s) = s**2 - 21*s + 20. Let i be k(20). Suppose i = -5*d - 5*g + 45, 0 = f*g - 4*g + 6. Which is smaller: d or 21/4?
21/4
Let h = -91 + 238. Let o = h - 148. Which is bigger: 2/9 or o?
2/9
Suppose 4*a + 0*f = -f + 4, -a = 5*f + 18. Let r(w) = w**2 + 78*w - 160. Let k be r(2). Which is greater: a or k?
a
Let r = 0.01 - -1.99. Let z = r - 1.91. Let y = 0.17047 - 0.17047. Are z and y unequal?
True
Let x(q) = -q**3 - 10*q**2 - q - 10. Let h be (10/(-8))/((-7)/(-56)). Let v be x(h). Suppose 5*p - 4*t = 21, v*p + 11 = 3*p - 2*t. Is 1/33 greater than p?
False
Let t(w) = w**2 - 69*w - 565. Let r be t(77). Is r bigger than 53?
False
Let p(x) be the third derivative of 1/6*x**5 + 0 + 23/24*x**4 + 13/6*x**3 - 1/120*x**6 + 0*x - 41*x**2. Let v be p(12). Are 13/6 and v equal?
False
Let z(v) = -3*v - 34. Let g be 1/((-136)/44 - -3). Let m be z(g). Which is greater: m or -14/53?
-14/53
Let b = -67 - 44. Let v = 1491 - 1600. Are v and b unequal?
True
Let p(a) = a**2 - 29*a + 29. Let h be p(29). Let w = 7.5 + -7.325. Let r = w + -0.075. Is h greater than or equal to r?
True
Let p be -8 - ((-8)/((-88)/55) + (-466)/30). Is p at most -0.1?
False
Let x(i) = -5*i**2 + 10*i - 10. Let o be x(8). Let h = -63/208 - 362519/1456. Let l = h - o. Which is smaller: l or 0?
0
Let r(l) = l**2 - 16*l + 64. Let u be r(9). Let f be 15/75*(0 - -1 - u). Does 11/19 = f?
False
Let z = 254591 + -255058.649. Let i = z - -468. Is i at most -1?
False
Let n be 1800/400*(-3)/(402/4). Are n and 4/11 equal?
False
Let b be (22/16*-2 + 3)/(22/(-88)). Is -7/951 equal to b?
False
Let i = -39 + 13. Suppose 3*h = -3*a - 87, 7*h + 5*a = 8*a - 143. Is i not equal to h?
True
Let k(l) = l**3 + 8*l**2 + 6*l. Let u be k(-5). Suppose -8*c - u = 411. Let j be 70*(-2 + 12/10). Which is bigger: c or j?
j
Let i(t) = -t**2 - 53*t - 111. Let q be i(-49). Which is greater: 80 or q?
q
Let v be (((-45)/(-10))/(-9))/((-7)/42). Suppose -v*h - 9 = 0, -3*h = g + 28 - 22. Is -9 > g?
False
Let p be 315413/(-28665) + (-8)/64*-88. Let z be 4/2 + -1 - 0. Which is smaller: p or z?
p
Let z(h) = -h**3 + 5*h**2 - 2*h - 7. Let o be z(5). Suppose u + 5*x + 6 = 0, -1967*u - 9 = -1966*u + 4*x. Which is bigger: u or o?
o
Suppose -3 = i + 4*n, 2*i + 5*n - 4 + 1 = 0. Let b = -15 + 24. Is b smaller than i?
False
Let s be 4 + (-6 + 766)/(-5). Which is smaller: -146 or s?
s
Let q = 319.56 + -341. Let y = -0.3 - 0.26. Let p = y + q. Which is smaller: p or -0.1?
p
Let h = 9908 - 9908.14. Do h and 0.05 have the same value?
False
Let g be (-30)/((-16)/((-320)/6)). Let p(c) = -4*c**2 + 13*c + 5. Let x be p(7). Does g = x?
True
Let y = -175.2 + 19.2. Let s = 74 + y. Is s smaller than 0?
True
Let x be (-35 + 35)*1/3. Which is smaller: 2/40917 or x?
x
Let q be 4066/814 - 26/(156/30). Is q equal to 1?
False
Let d(r) = -8*r**3 + 7*r - 2*r**2 - 2*r + 4 + 7*r**3. Let v be d(-3). Is 27 at most as big as v?
False
Let s = -31 - 88. Let j = 115 + s. Which is smaller: -46/11 or j?
-46/11
Let g(n) = n**3 - 39*n**2 - 66*n + 2. Let s be g(41). Suppose -329 = 7*m + s. Is m < -143?
False
Let a be (-39)/(-2)*(-4)/(-2). Let c be (3 + -1)*3/(-2) - -32. Suppose 0 = 3*u - b - c - 89, 5*u + 3*b = 206. Which is greater: a or u?
u
Let m be (-295191)/1305 - 1/10*-2. Is 0.05 >= m?
True
Suppose -117*q - 10 = -106*q + 276. Let m be ((-28)/(-10))/(1/(-10)). Which is greater: m or q?
q
Let x = -654 - -654. Let q(m) = -3*m - 9. Let u be q(-4). Suppose 0 = t - 1, -3*t - 24 = -u*o + 42. Which is smaller: o or x?
x
Let o be (-120)/(-2)*((-2122)/(-193) + -11). Is o greater than 1?
False
Let q(h) = -h**2 + 9*h - 11. Let y be q(8). Let n be ((-7)/(-35)*15)/(y/4). Which is smaller: n or -0.28?
n
Let u be 156 + 30/9 + 4/6. Suppose -q - u = 4*t, 130 = -2*q + q + 2*t. Let z = 146 + q. Which is smaller: 62/9 or z?
z
Let n(l) = -l**2 + 13*l + 40. Let k be n(-18). Let j = -177801/7 - -2264037/91. Let y = j - k. Is y bigger than -2?
False
Let z(l) = -4*l - 9. Let i be z(-6). Let m = -832 + 494. Let t = -325 - m. Which is bigger: t o