 be 2/(-12)*-2446 - 3/(-9). Suppose 11*s - h = -6*s. Let g be (10/8 - 1) + s/32. Which is greater: -4/51 or g?
g
Let i be -1*(-1)/4*185*(-3)/(-30). Is 4 at least as big as i?
False
Let z(j) = 28*j + 110. Suppose -16*a + 16 = -20*a. Let q be z(a). Which is bigger: 0 or q?
0
Let i(g) = 20*g**3 + 6*g**2 + 12*g - 3. Let c be i(-3). Let v be (-1)/(-4) + (c/20)/(-7). Let u = -2.9 + 3. Which is smaller: v or u?
u
Let x = -26.613 - 0.087. Let h = -729 - -2917/4. Do h and x have the same value?
False
Let m be (11/(-12) + 1)*-2*20/21040. Is 0 less than or equal to m?
False
Let h be 6/(-36) - 3/(-6). Let z = 0.13812 + 301.86188. Are z and h unequal?
True
Let q = -3.1 + 2.9. Let g = -0.02 + 0.248. Let f = -0.178 + g. Are q and f equal?
False
Let w be 4 + 19/(2907/(-425)). Let b(g) = g + 8. Let z be b(-8). Let m be (-1)/(-3)*(3 - z). Which is bigger: m or w?
w
Let f be (8/(-15))/4 + (-12 - (-415930)/(-150)). Which is bigger: -2784 or f?
-2784
Let y = -12503 + 12501. Suppose 3*b = -3 + 9. Let g be (-69)/90 - b/5. Which is bigger: y or g?
g
Suppose -4*z = -i - 39, -1583*i + 1578*i - 348 = -3*z. Suppose -5*g - 40 = 5*o - 0*o, 5*o + 40 = 4*g. Let d(a) = -a**2 + a - 3. Let l be d(o). Is l equal to i?
True
Let c = 254 - 137. Let r = c - 172. Let m = r - -54. Which is greater: m or -2/5?
-2/5
Suppose -12*c + 15*c - 177 = 0. Let h = -56 + c. Suppose 5*m = -2*u + u + 21, -4*u + h*m + 153 = 0. Is 36 not equal to u?
False
Let v be ((-1)/2)/(-2 - 29). Suppose -118 - 100 = -2*m. Let b = m - 110. Which is smaller: v or b?
b
Suppose b = -2*i - 18, i + 7 + 2 = -b. Let p = i - -9. Which is smaller: 2/33 or p?
p
Suppose -68*u - 5*w = -63*u - 280, 0 = -3*u + 5*w + 168. Let n be 502/9 - 2/(-9). Is u bigger than n?
False
Suppose -3*t - 63 = -2*u, t - 34 = 3*t - 4*u. Let l be ((-76)/8 - 3)*-2. Let h = t + l. Is 6 at least as big as h?
True
Let z be (-1)/(-3)*(-180)/2628. Which is smaller: z or -1?
-1
Let n(w) be the first derivative of 6*w - 12 - 10*w + 23*w + w**2. Let m be n(-11). Do -15/4 and m have the same value?
False
Let p(f) = 9*f**2 - 14*f + 16. Let v = 360 + -358. Let h be p(v). Is h not equal to 149/6?
True
Suppose 5*r - 2*x - 453 = -3*x, -3*r - 5*x + 285 = 0. Let j = r - 136. Suppose 160 + 3 = -3*s + 5*w, 0 = -2*s - 3*w - 77. Is s at most j?
True
Let r = -83 - -37. Let p(a) = -a**3 - 37*a**2 + 359*a - 92. Let h be p(-45). Which is smaller: r or h?
h
Let m(w) = 13*w**3 - 6*w**2 + 9*w - 3. Let c be m(2). Is c at most 95?
True
Let q(i) = 10*i + 2 + 0*i + i + 3*i. Suppose -4*r + 3*o + 3 - 21 = 0, 0 = r - 3*o + 9. Let p be q(r). Is p at most -40?
True
Suppose -22*k = 13*k - 23*k - 108. Let c(j) be the first derivative of -j**4/4 + 3*j**3 + j**2 - 19*j + 1. Let i be c(k). Are 2/79 and i nonequal?
True
Let o = 7/83 - -711/1411. Let z be (-2 + 4 + 36)*-1. Let y = 75/2 + z. Which is smaller: y or o?
y
Suppose -s + 2*y + 493 = 0, -4*s + 2128 = 5*y + 169. Let r = s + -493. Which is smaller: 3.86 or r?
r
Let d(i) = 187*i + 1308. Let k be d(-7). Which is smaller: k or -4/495?
k
Suppose 2*m = -4, -3*m + 1 = -d + 6. Let i(g) = -3*g - 25. Let h be i(-13). Suppose -10*x = 46 + h. Is d bigger than x?
True
Let o be (-7 + -1)*1 - -5. Let m be o/(-9)*3 + (-100)/(-35). Is 3 at most m?
True
Let q be (2593 + 1)/(590/(-413)). Is -1816 not equal to q?
True
Let h = 38 - 25. Let c = h - 11. Suppose -r - 48 = c*r. Which is bigger: -18 or r?
r
Suppose 0 = 4*h - 16, 5*h = 15*n - 19*n - 32. Which is bigger: -446/31 or n?
n
Suppose 14*i + 3438 = 1142. Let v be 86/i + 22/44. Let q = 9 + -9. Is q equal to v?
False
Let u(j) = -61*j + 210. Let s be u(-8). Is s > 699?
False
Let k = -13687077/143 + 95715. Which is greater: 0 or k?
k
Suppose 2*z + 7 = b, 11 = -22*z + 18*z + 5*b. Let v be (-18)/(-15)*((-656)/(-159) + z). Is v smaller than -1?
False
Suppose -10 = 2*k - 2. Suppose 164*f - 170*f = 3 + 3. Which is greater: f or k?
f
Let i be -13 + 11 - (-1 - (2251/457 - 4)). Is 0 at least as big as i?
True
Let v = -47.327 - -2.987. Let g = v + 46. Let y = -2 + g. Which is smaller: -0.1 or y?
y
Let c = -28.36 - -29. Let y = 0.75 - c. Is y greater than or equal to -6?
True
Let m = 18 - 13. Let t = -21 + 24. Suppose -5*b + 55 = m*d, -t*b + 5*d + 35 = b. Which is smaller: 2/7 or b?
2/7
Let h = 69 + -51. Let r = 21 - h. Suppose -n = -r*n - 10. Which is smaller: -10 or n?
-10
Let s be 9/(-27)*(-4 + 4360)/(-6). Which is bigger: 49 or s?
s
Let v = 109 + -123.4. Let w = v + 5.7. Let h = -7.7 - w. Is h > 0.05?
True
Let d = -7017/8 - -877. Let j(m) = -3 + 2 + 4*m**2 - 16*m**2 - m**3. Let i be j(-12). Which is smaller: i or d?
i
Let p = -0.6 + 33.6. Let s = -853 - -819.8. Let r = p + s. Is r greater than or equal to 4/7?
False
Let a = 87.7 + -13.7. Let t = -467 - -546. Let q = t - a. Is q at most as big as -11?
False
Let x = 239 - 210. Suppose -q - 2*i = -6, -x = -3*q + 5*i - 0*i. Is 7 greater than q?
False
Let t = -3223.53 + 3224. Is t at least -3/5?
True
Let z = -30563/2 + 15293. Which is smaller: -158 or z?
-158
Let g = 10307/3 + -3434. Is 32 greater than or equal to g?
True
Let q = 34.092 - 0.092. Let y = 41 - 8. Let d = y - q. Which is bigger: d or 0.1?
0.1
Let m = 99673/2 - 49836. Let k be (-9)/(-3) + 2988/8. Which is greater: k or m?
k
Let z = 14013 - 14353. Which is smaller: -342 or z?
-342
Let p = 24168/7 - 3452. Which is bigger: p or 57/4?
57/4
Suppose r - 5*z + z + 12 = 0, 0 = r + 2*z - 6. Let l be (-1 + 0)*(-7 + 157113/(-126)). Let a = l - 1255. Which is smaller: a or r?
a
Suppose 0 = 1881*w - 1874*w. Is 5/17 less than w?
False
Let z = -83.059 - -83. Let b = z + 0.009. Which is smaller: -0.06 or b?
-0.06
Let m = -1 - -9. Suppose 3*o + 2*j = -40, j = -o - j - m. Which is smaller: o or -13?
o
Let n = 416 - 439.1. Let s = -21 - -21.9. Let b = s - n. Is b >= -3/2?
True
Let q be (-199 + 197)*(-1)/14578. Which is smaller: 1 or q?
q
Let p be (-15864)/3936 - (1/8)/(1/(-2)). Do -4 and p have the same value?
False
Let g be (-5)/24 - (-2)/6. Let r be (9 + 2 + 0)/((-2)/(-2)). Suppose 5*w + 16 = -r*w. Which is smaller: w or g?
w
Let x(d) = 4*d**2 + 16*d + 21. Let g(u) = -u**2. Let q(k) = 3*g(k) + x(k). Let v be q(-11). Let c be 316/(-26) - v/221. Are c and -13 equal?
False
Let j(a) = a**2 - 6*a - 7. Let t be ((-140)/(-16) + -4)*(-4)/1. Let u = t - -26. Let w be j(u). Which is smaller: w or -3?
-3
Let l(t) = -2*t - 15. Let a(x) = -x**2 + 7*x - 5. Let g be a(5). Suppose 0 = -2*k + 2*v + 4, -1 = -2*k - g*v - 32. Let i be l(k). Are i and -7 non-equal?
True
Let j = -45.811 - -3.701. Let p = 3.81 + j. Let z = p - -7.3. Which is smaller: z or 0.1?
z
Suppose 2*a + 2225 = 3603. Let w = 688 - a. Is -13 at most as big as w?
True
Suppose 0 = -4*j + 26 + 2. Suppose d + 6 = j*d. Let a = -597/4 - -150. Which is smaller: d or a?
a
Let x be (-16089430)/(-1149260) + -1 + -13. Is x <= 1?
True
Let n = -310.7 - -314.7. Which is smaller: 16 or n?
n
Let m be 5661/3451 - 30/(-21). Which is greater: m or 3?
m
Let b = 44 + -8. Let u = 1330 - 1294. Let f = b - u. Which is smaller: f or 2/19?
f
Let m = 31 + -32. Let a = 263 - 113. Let n be ((-3)/(27/4))/(a/45). Is m bigger than n?
False
Suppose 2*h = -2*p + 2490, -3759 = -3*h - 36*p + 41*p. Which is greater: 0 or h?
h
Let t = -0.2996 - 6466.7004. Is 2/3 less than or equal to t?
False
Suppose 4*p - 189 = 111. Let d be (p/(-21) - -3)*-60. Let c = 249/7 - d. Which is smaller: -1 or c?
-1
Let d = 42 - 42. Suppose -54 + 55 = -5*x - 2*p, -4*x - 5*p - 11 = d. Let c = 6/377 + 1801/5278. Is c < x?
True
Let r(m) = 719*m + 1090. Let d be r(-5). Is -2/3 greater than d?
True
Let p(b) = -b**2 + 21*b + 84. Let l be p(22). Let y be (-1)/(-22)*1*(-29264)/l. Which is greater: -21 or y?
-21
Suppose -7*a + a + 237 = 9. Is 13 less than a?
True
Let a be -8*29/232 + (-2)/(-4). Which is greater: 42/47 or a?
42/47
Let n = -2 - -1. Suppose 2024 - 1114 = 70*y. Are n and y nonequal?
True
Let a = -256 - -170. Let z = 84 + a. Does 0.002 = z?
False
Suppose -2*b + 25 + 7 = 5*q, 4*q - b = 23. Suppose 15 + 3 = -q*w. Let r be (2/14)/(w/105*-5). Does -3/68 = r?
False
Let l = 105 + -111. Let c be 4/18 + l/27 + -1. Let f(u) = -2*u**3 - 2*u**2 - u + 1. Let j be f(c). Is 15/16 > j?
False
Let x be (19 - 320/20)*2/(-12). Which is smaller: x or -470?
-470
Suppose 2*t + 310 + 41 = -3*w, w = 5*t - 134. Let k = 2383/20 + w. Let n = k + 1/10