80 - 109/104. Which is bigger: 1 or z?
1
Suppose -1274*c + 1277*c = 156. Is c greater than or equal to 51?
True
Let x = -189 - -123. Let l = -65.9 - x. Is l equal to 56?
False
Let p be -4 + -2 + 8*(-2292)/(-3057). Let y = p + -1984/27513. Is 0.2 bigger than y?
True
Let s = -4 - -17. Let v = -77 - -78. Is v smaller than s?
True
Suppose -v = 5*m - 15, -m + 5*m = -3*v + 23. Suppose 5*w = 6*w - 4. Which is bigger: w or m?
w
Let i = 163.9 + -175. Let l = i + -0.9. Let q = -12 - l. Which is smaller: 0.5 or q?
q
Let g = 194.4 + -194. Is 40 bigger than g?
True
Let o(x) = x**3 - x + 6. Let f be o(0). Suppose f*j = 9*j. Suppose 0 = -5*t + 5*w - 5, j*t = 3*t - 4*w. Which is greater: t or -2?
-2
Let z(q) = q**3 - q**2 + 2*q + 2. Let t be z(3). Let y = -22 + 47. Are t and y non-equal?
True
Let u(l) = 4*l**2 - 3*l + 2. Let g be u(2). Suppose -g = -8*t + 4*t. Let x be 3/(-6) + 10/4. Which is bigger: t or x?
t
Let r be 1/2 + (-5954)/11700. Which is bigger: r or 1?
1
Let d = 1509 + -1508.6. Which is bigger: -0.55 or d?
d
Let g be ((-4)/10)/(1/(-5) - 0). Do g and 5 have the same value?
False
Suppose -2*x + 75 = -t, -2*t + 185 = 4*x + 3*t. Let j be (-802)/(-16) - 5/x. Let q = j + -35. Is q equal to 16?
False
Let n be -3 + 18/(-3) + 8. Which is smaller: n or -45?
-45
Suppose 0 = -5*k - 0*k. Suppose 8*j - 4*j - 40 = k. Let m be (8 - 8) + 26/3. Is j smaller than m?
False
Let y(b) = b**3 + 10*b**2 + 3*b + 27. Let o be y(-10). Which is smaller: -42/11 or o?
-42/11
Let t be (-2)/(-3) - (-1628)/(-66) - 2. Do t and -33 have the same value?
False
Let l = -2.4 - -1.1. Let s = -1 - l. Let z be -1 - 4/((-40)/6). Which is smaller: z or s?
z
Let q(t) = 2*t - 9. Let s be q(6). Let r(f) = 3*f - 3. Let p be r(s). Suppose 2*g = -2*g + o + 12, -2*g = -3*o - p. Which is smaller: 2 or g?
2
Let r = 16/28655945 - 803220410329/5673877110. Let z = -1274/9 - r. Which is smaller: 0 or z?
0
Let n be 3/6 - (-226)/(-4). Let i(c) = -c**2 + 54*c + 241. Let j be i(-5). Is n greater than j?
False
Let g = 0.19 + -0.2. Let o = 12 - 12.09. Let m = g + o. Is m smaller than -8?
False
Let a be 2/4*(9/(-186))/(-1). Is a smaller than 0?
False
Let j = -13 + 18. Suppose g + 18 - 48 = -3*u, -4*u - j*g + 29 = 0. Suppose 12*c - u*c = -1. Is -2/5 not equal to c?
True
Let v(u) = -u**2 - 7*u + 5. Let o be v(-9). Suppose 0 = t + 4*x + 15, 6*x - 5*x + 30 = -2*t. Does t = o?
False
Let m be 2/(-12) - (-8)/(336/(-917)). Which is greater: m or -21?
-21
Let d(l) be the first derivative of -l**3/3 - 7*l**2/2 + 3*l - 10. Let f be d(-7). Suppose 4*v + 17 = -3*k, 0 = -k + 4 - f. Is v bigger than -5?
False
Let y(x) = -x**3 - 17*x**2 - x - 17. Let m be y(-17). Suppose m = 7*q - 9*q + 2. Which is bigger: q or -3/65?
q
Suppose 2*x + 9 - 51 = -4*h, 3*x + 3*h - 69 = 0. Let i be (15/x)/((-1)/5). Which is bigger: i or 0?
0
Let u(w) = 3*w - 1. Let k be u(-1). Let n = -17.4 + -83.6. Let a = n + 103. Which is smaller: a or k?
k
Let o = -7032984/335 - -20994. Is o greater than 1?
False
Let u be (2 + -1)*2 + (-86)/42. Do u and 0 have different values?
True
Let j = 13.3 - 12.69. Let x = 0.39 + j. Is 10 greater than x?
True
Let l = 2 - -2. Suppose -4*x + 5*a = x - 15, -l*a - 13 = -5*x. Let k = 281/420 + -15/28. Is k less than or equal to x?
True
Let t = 1.0187 - 0.0187. Which is smaller: 31 or t?
t
Let g = -2.02 - 1.98. Do -7 and g have different values?
True
Let d be (-1)/(-4) + (-51)/12. Let l be ((-6)/(-165))/(d/3). Which is smaller: l or -1?
-1
Let h = -13 - -34. Suppose b = w - 3*b + h, -4*b + 50 = -2*w. Is -29 > w?
False
Let p(a) = -15*a - 3. Let c be 1 + 3 + (-25)/5. Let t be p(c). Let q be (-4)/(-18) + 345/27. Which is smaller: q or t?
t
Suppose 2*t = 5*t + 3. Let n = 10238/19 + -539. Which is smaller: n or t?
t
Suppose 8 = 3*s + s + 4*d, -5*d = -s - 4. Suppose -j + 2*h = 6, -3*j + 0*j = 2*h + 2. Are s and j non-equal?
True
Let n be ((-102)/24)/((-2)/(-8)). Let d be n/289*(-2)/1. Which is smaller: -1/4 or d?
-1/4
Let t = -83.4 - -83. Is t >= -15/8?
True
Let b(o) = o**2 + 3*o + 2. Let d be b(-2). Let i = 230/9 + -3725/144. Let z = -37/144 - i. Which is smaller: z or d?
d
Let k = 49.4 + -51.4. Is -2/27 smaller than k?
False
Let b(n) = -n**2 - 5*n + 14. Let d be b(-6). Suppose 5*k = 13 - d. Is k <= -1/18?
False
Let d(p) = -p**2 - 10*p + 8. Let i be d(-5). Suppose 0 = -10*q - q + i. Is 13/3 bigger than q?
True
Let m = 1.168 + -2.168. Is m greater than or equal to 124?
False
Suppose 2*n = -3*t + 48, -t + 81 = 4*t + 3*n. Let l = t - 73/4. Which is greater: 0 or l?
0
Let x = 38 - 20. Suppose -y - 2*y = x. Which is bigger: y or 1?
1
Let l = 118 - -40. Let r = 1144/7 + -187/28. Let p = l - r. Are 2 and p unequal?
True
Let x be 6/(3 - (-690)/(-232)). Suppose -72 + x = 20*d. Let t = 0 - -1. Is d > t?
True
Let n = -2 - -2.5. Let c = -3.4 - -3.14. Let i = c + 0.16. Is n <= i?
False
Suppose -98*f + 89*f = -324. Which is bigger: f or 110/3?
110/3
Let p be (2 - -5)*(-72)/(-84). Is 14/3 less than or equal to p?
True
Let g = -12 + 9. Let r(q) = -q**3 - 3*q**2 + q + 2. Let k be r(g). Let y = -193 - -4438/23. Are y and k non-equal?
True
Let h = 974 - 974.0887. Is h greater than or equal to 2/7?
False
Suppose 0 = -5*a - 10. Let z be (a/(-4))/((-104)/(-32)). Let y(s) = -s + 4. Let r be y(5). Are z and r nonequal?
True
Let q = -0.0346 + 66.0346. Which is smaller: -6 or q?
-6
Suppose 3*g + u = -84, 4*g + 2*u = -32 - 82. Let j = g - -32. Is 5 greater than or equal to j?
True
Let f(t) = 86*t + 40. Let d be f(-2). Which is smaller: -129 or d?
d
Suppose -5*j = -p - 17 + 74, -4*j = 2*p + 54. Let k(h) = -5*h + 3. Let f be k(-6). Let y = f + -46. Does j = y?
False
Suppose -5*n + 4 = -3*y - 20, -3*n - 3*y + 24 = 0. Which is smaller: n or 83/18?
83/18
Let h = 17 - 52. Let v be h/(-50)*5 - (-1 + 4). Which is smaller: 48 or v?
v
Let u be ((-146)/15)/((-56)/(-6)). Let f = 9/14 + u. Are f and 0.2 non-equal?
True
Suppose 907 + 2051 = -34*m. Are -0.06 and m nonequal?
True
Let p be 3/(-1*9/114). Let k = p + 116/3. Which is bigger: 1 or k?
1
Suppose 2*w + 0*u + 3*u = -9, -w = -u + 12. Let n be -1 + 25/(-9 + 4). Which is bigger: w or n?
n
Let j = 50 - 47. Let y be (-15)/25 - 2/((-10)/j). Which is greater: -1 or y?
y
Let k = 109 - 104. Which is bigger: 16/3 or k?
16/3
Let l be (-762)/(-72) - (-3)/12*-3. Are 10 and l unequal?
True
Suppose 3*w - h - 6 = 0, 5*w - 4*h + 3 = 2*w. Suppose -u - 4*m + 8 = 0, -5*u + w*m = -5 - 12. Suppose u*c + z - 4 = 0, z - 4*z = -2*c + 16. Is c less than 2?
False
Suppose 4*n - 16 = 12. Let o = n - 5. Let r be 12/o*(-1)/(-3). Which is bigger: r or 3?
3
Let r = 1522/5 - 304. Is r less than or equal to 114?
True
Let v = -6 + 5. Let y be 10/2 + 116/(-22). Which is smaller: y or v?
v
Suppose 0 = -0*h - 3*h. Let g(r) = 0*r**3 - r**3 + 1 - 126*r + 127*r + 1. Let a be g(h). Is a bigger than 6/7?
True
Let n be (-4 - 2)*2 + 4. Let z be 10/n + (-6)/8. Let d be 0 + ((-8)/(-2))/z. Which is smaller: d or -2/3?
d
Let s = -6 + 7. Let h = s - 0.93. Let q = 0.03 + h. Which is greater: 2 or q?
2
Let y be 854/870 + (-1)/(-3). Let r = y - 10/87. Let m = -1 + r. Is -1 at least as big as m?
False
Let c(o) = -o**3 + 4*o**2 - o + 4. Let a be c(3). Suppose -2*q - 426 = -q. Let t = q + 869/2. Which is greater: t or a?
a
Let g = -219 + 225. Is 12 greater than g?
True
Let v(q) = 11*q**3 - q**2 - q. Let o be v(-4). Let x be 3 - 384876/(-216)*2/5. Let s = o + x. Which is smaller: s or 0?
s
Let z(v) = -3*v + 6. Let x(n) = -2*n + 7. Let j(b) = 4*x(b) - 5*z(b). Let s be j(4). Let w(h) = h**2 - 10. Let p be w(6). Is s at most as big as p?
True
Suppose 0 = 4*q - 3*n + 4*n - 68, 4*q - 84 = 3*n. Let x be (8 - -2) + (-32 - -30). Let c be (-7)/14 + q/x. Which is greater: c or 3?
3
Let s = 24/161 - 17652/1771. Let v = -3 - 8. Is v less than s?
True
Let n(p) = p**2 + 5*p + 5. Let z be n(-4). Let g = 1353/28097 + 34458689/95445509. Let q = g + -36/79. Which is smaller: z or q?
q
Let p(t) = -t**2 + 6*t + 41. Let s be p(-4). Let x be (-2)/3 - ((-710)/(-15))/s. Is x <= -50?
False
Suppose -7*r - r = -8. Do r and 0 have different values?
True
Let s = -720 + 729. Let r = -14 + 24. Let k = -3 + r. Is k at least as big as s?
False
Let d be 3 + -2 + (-1)/(-3). Let r = d - 26/15. Let p = 2 - -1. Is p >= r?
True
Let a(t) = -t**2 - 16*t - 61. Let n be a(-10). Let j be 1/11*2/(-2). Which is sm