 is bigger: a or x?
a
Suppose -n + 141 = -4*n. Let k be -1 - (n/9 - 4/(-18)). Is k not equal to 2?
True
Let n(l) = 7*l**2. Let o = -17 + 19. Let u(g) = g**3 - 3*g**2 + 3*g - 1. Let p be u(o). Let a be n(p). Does a = 7?
True
Let n be ((-266)/(-90) - 3)/4. Let p = n + 139/360. Let r be 1 + (-1 - (-1 + 0)). Is r < p?
False
Let d(i) = -13*i**2 - 82*i - 18. Let v be d(-6). Let m be (8/10)/((-3)/(-15)). Is v <= m?
False
Suppose -76 = -2*q + 20. Let g be ((-2)/(-2))/((-6)/q). Do -5 and g have different values?
True
Let c = 30497/46 - 663. Let a(n) = n**2 + 6*n + 9. Let b be a(-2). Which is bigger: c or b?
b
Let j be (-160)/(-15) - ((-20)/(-12))/1. Which is smaller: 11 or j?
j
Let t be 1*1/(-10)*(-10 - -6). Are -13 and t non-equal?
True
Suppose 4*s - 5*r = 31, 3*r = 4*s + 6*r - 7. Let g be (-190)/80 + s + -2. Let k = g + -1/8. Is -1/5 greater than k?
True
Let y be -2*(-1 - -2) - -6. Suppose y*s = -11 + 51. Suppose -3*l - s = -4*t, 3*l + 0*l + t + 5 = 0. Is -4 greater than l?
False
Let o = 30 + -38. Which is smaller: -9 or o?
-9
Let x(b) = 2*b**2 - 3*b + 6. Let n be x(2). Which is bigger: -26 or n?
n
Let v = -5.056 + 0.056. Suppose -6 - 2 = 4*o. Which is smaller: v or o?
v
Let b = 4.4 + -4.299. Let z = b + -11.101. Which is greater: 6 or z?
6
Let f = 541 + -541. Are f and -58 equal?
False
Let f be -1*(-9)/((-9)/2). Let n be (-415)/(-770) + f/11. Which is smaller: 1 or n?
n
Let g be (-28)/8*56/(-49). Suppose g*l = 3*t - 28, 2*t = 2*l + 23 - 9. Let s(f) = -f**2 - 4*f + 4. Let u be s(-6). Which is bigger: l or u?
l
Let b = -41 - -43. Suppose 3*r = -4*z - 49, z - 5 = b*r + 13. Are r and -12 equal?
False
Let q = 3.03 - -0.37. Let g = -0.4 + q. Is g <= 2?
False
Let b = -742 - -742. Let k = -1591/32760 + 3/728. Which is greater: k or b?
b
Let y = -232 - -224. Let u(f) = f**3 - 5*f**2. Let x = -5 + 10. Let w be u(x). Which is smaller: y or w?
y
Let p be (-72007)/(-10295) - (2 + 5). Which is greater: -1 or p?
p
Let p = 1.61 - 8.51. Let o = -4.1 + p. Do 0 and o have different values?
True
Let j = 61.2 + -61.5. Which is smaller: 220 or j?
j
Let s = -30 + 30. Let x = -2.92 + 3. Let z = x + -0.68. Is s > z?
True
Let q(d) = 1 + d**3 + 6*d + 5*d**2 - 3*d**2 + 4*d**2. Let s be q(-4). Let v be 6/27 - 5/s. Which is greater: v or -3?
v
Let p be (-9)/56*70/175. Is 1 at most p?
False
Let x = -2 + 23. Let r = 12 - x. Let z = 8.9 + r. Is z less than 0.8?
True
Suppose 4*f - 1536 = 2*o - 3968, 5*f = 5*o - 3035. Is -609 greater than f?
False
Let t(o) be the second derivative of o**5/60 - o**4/6 - 3*o**2/2 + 6*o. Let v(g) be the first derivative of t(g). Let w be v(6). Is w <= 13?
True
Suppose -3202 = -5*v + 4*i, 12*i - 11*i = 5*v - 3193. Is 638 smaller than v?
False
Let c = -29 - -29. Suppose c = -2*p + 7 + 1. Is p bigger than 2/7?
True
Let l = 33 - 40. Let w be ((3 - 1) + l)*1. Let c be 24/(-30) + 1/w. Which is greater: -6/5 or c?
c
Let z = -7/37 - -239/481. Do 10/11 and z have the same value?
False
Let o = -81/11 + 87/11. Suppose -4*v = 2*v - 4*v. Suppose -d = -v*d + 4, 5*d + 23 = 3*u. Which is bigger: u or o?
u
Let n be (-6)/4*(-4012)/(-51). Which is greater: 2/9 or n?
2/9
Let m = 23 - 17. Let q be (-5 + m)*3/3. Suppose -p = -0*p + 5*r - 22, p = 2*r + q. Is p bigger than 9?
False
Let a be (-2 - 2)*(-2)/(-8). Let c = -1 - a. Suppose -t - 3*n + 8 = 0, -n + 6 = t + n. Are t and c unequal?
True
Let x = 3.3 + -22.3. Let w = -14 - x. Which is greater: -2 or w?
w
Let n(m) = 4*m + 44. Let x be n(-21). Do -35 and x have the same value?
False
Let m be -2 - 19/(37791/(-4050)). Is 1 >= m?
True
Let c = 824 + -79103/96. Which is smaller: 0 or c?
0
Let j(g) = -g + 1. Let u(b) = 2*b**2 - 6*b + 5. Let q(f) = 5*j(f) - u(f). Let m be q(-2). Let n be 23*2/(-4) - (-2)/4. Do n and m have the same value?
False
Let i = 1.99 + -1.7. Let p = 0.09 - i. Let x = 3/2 + -13/10. Which is greater: x or p?
x
Let s be ((-544)/20)/(5/25). Let h = s + 138. Let v be 4/(-10) - 21/(-15). Which is smaller: v or h?
v
Let q = -1733 - -1734. Which is smaller: q or -86?
-86
Suppose -1 = -5*f + 4. Suppose 0 = -t - f + 3. Suppose -t + 1 = -m. Which is greater: m or 1/13?
m
Let r = 18.7 + -18. Let t be (-461)/(-8) - 3/(-24). Let c = 58 - t. Do c and r have different values?
True
Let m be (-35)/11 + (-6)/(-33). Let t be (-136)/28*8 - m. Let b = t - -36. Is b less than or equal to 1?
True
Let p = 579993/7 - 83008. Suppose 0*y + 296 = 2*n + 3*y, -3*n + 3*y + 459 = 0. Let u = p + n. Which is smaller: 1/4 or u?
u
Let d = 1/5354 - 406925/112434. Which is smaller: -4 or d?
-4
Suppose 187*g = 194*g - 7. Let s = 402 + -3614/9. Which is bigger: g or s?
g
Let n be (-2)/16*-2 - (-822)/(-24). Let c be (-51)/n + 11/(-10). Do -7/4 and c have different values?
True
Let y be 1/((-15)/4933) - 2. Let m = -331 - y. Suppose -9*h = 41 - 32. Which is smaller: h or m?
h
Let p be 13/((-91)/14) + (-302)/(-5). Let c = p - 1854/35. Which is smaller: c or 4?
4
Let i = -82 + 133. Is i less than 54?
True
Suppose -5*q + s - 9 = 0, 0 = -q + 5*s + 3. Are q and -40/13 non-equal?
True
Let v(y) = -2*y**3 + 6*y**2 - 8. Let z be v(2). Is z at most -18/13?
False
Let z be 2 + 1043/(-1041) + -1. Let a = z + -6224/11451. Suppose 29*t - 11 = 40*t. Do a and t have the same value?
False
Let g(p) = p**2 - p + 1. Let y(a) = 5*a - 6. Let r(h) = g(h) + y(h). Let j be r(3). Which is greater: 17 or j?
17
Let d = 828 + -846. Which is smaller: -22 or d?
-22
Let q = -0.1 - 0. Let n = 8.019 - 0.019. Let o = -8.2 + n. Which is greater: o or q?
q
Let o be (-102)/136 + 683/4. Are 170 and o equal?
True
Suppose -4*r = 4*t - 64 - 128, 0 = -3*t + 2*r + 124. Which is greater: 214/5 or t?
t
Suppose 11 = -u - 5*y, -1 = 2*u - 0*u + 3*y. Suppose w = -u*w - 30. Let q be ((-1)/3)/((-2)/w). Is -1 greater than q?
False
Let n = 5.2 + -23. Let w = 2.2 - n. Let m = w - 19. Is m at least as big as 3?
False
Let s be 2/((84/(-49))/(-6)). Which is greater: s or 5?
s
Suppose 3*a - 3 = -0*a, 0 = 2*s + a - 17. Let w(u) = 3*u - 16. Let l be w(6). Suppose -h + 22 = -5*d - 5, -l*d - 8 = 0. Are s and h nonequal?
True
Let j(r) be the second derivative of r**4/6 + 4*r**3/3 + 5*r**2/2 - 7*r. Let d be j(-4). Which is bigger: 2 or d?
d
Let x = -34/139 - -8615/556. Which is smaller: 15 or x?
15
Suppose -3*d + t - 7 = 10, -4*t = -4*d - 28. Which is smaller: -4 or d?
d
Let q = -754 + 816. Is q greater than or equal to 3?
True
Suppose 6*f + 658 - 5014 = 0. Which is bigger: 0 or f?
f
Let j(p) = p**3 - 7*p**2 - 9. Let q be j(7). Let r = 0.062 - -0.938. Are r and q equal?
False
Let s be (-687)/21 - (-3 - 276/(-84)). Let j = 58 - 89. Are j and s unequal?
True
Let m = -3 + 3. Suppose m = -10*h + 16*h - 30. Which is smaller: 11 or h?
h
Let h be (2 + (-21)/6)*-2. Suppose h*o + 4 = 5*o. Suppose -o*v + 4*v = 0. Which is bigger: v or -1/8?
v
Let n = -58 - -64. Let u(k) = 2*k**2 - 9*k + 6. Let s be u(n). Is s less than or equal to 24?
True
Suppose 2*n = 3*q - 150, 0*n - 5*n + 5*q = 375. Is -75 bigger than n?
False
Suppose -1155 = -10*v - 5045. Which is smaller: v or -390?
-390
Let y be (-176)/(-192)*-6 - 7/(-2). Is -28/9 at most as big as y?
True
Suppose -71 + 575 = -8*v. Let n = v - -313/5. Is n at most as big as 0.5?
True
Let t = 0.04 + -0.04. Let v = 1 - t. Let b(r) = 2*r**2 - 2*r + 2. Let n be b(2). Which is bigger: n or v?
n
Let d = 32 + -21. Suppose -w + 3*b - d = 3*w, 27 = -3*w - 4*b. Let y = w + 14/3. Is -1 greater than y?
False
Let t = -28/12115 + -42438369/205955. Let y = 206 + t. Does y = -2/7?
False
Let s be (6/(-212))/((-55)/110). Is -1 greater than or equal to s?
False
Let x = -424 - -450. Is x < 8?
False
Let w = 0.474 - 0.394. Let d be (-48)/(-21) - 1*2. Which is smaller: d or w?
w
Let t be ((-2)/(-2))/((-2)/(-4)). Let v be (-42)/(-4) + -3 - 1/t. Is v at most as big as 11?
True
Let x = 0.0501 - 0.3511. Let i = x + 0.801. Let d be 2/10*(-5)/(-4). Do d and i have different values?
True
Suppose -p = 5*w + 35, -p - 19 = -w + 4*p. Let l be -4 + 1/(2/668). Let x be 6/10 + l/(-50). Is w at most x?
True
Let u = 14 - -5. Let o = 22 - u. Which is smaller: -5 or o?
-5
Let y be (-10552)/28 - (-1)/(-7). Let i = y - -6412/17. Is -1 <= i?
True
Let w = 1/395 - -2761/1580. Let k = -11 + 16. Suppose 6 = k*y - 2*y. Which is smaller: y or w?
w
Let j = 204 + -177. Is 30 <= j?
False
Let y = 374 + -375. Is y at most as big as -2