= a. Suppose -2*j + 5 = -2*n + a*n, 8 = 4*j. Let v(g) = 3*g**2 - 1. Let i be v(n). Which is smaller: i or 1?
1
Suppose -7 = n - 1. Let a be (-4)/6 + (-4)/n. Let z be 13 + -8 - 22/6. Is a at most z?
True
Suppose -5*r + 16 = -4*u, -5*u + 4*r = -0*r + 11. Which is bigger: u or -2/1391?
u
Let j = 5 + -5. Suppose j*m = -5*m - 15. Let n = -1 - m. Does 4 = n?
False
Let k = -15.5 + 16. Which is smaller: -6 or k?
-6
Let q = 0.11 + -0.03. Is -4 less than q?
True
Let y = 2 + -1.5. Let l = 967 - 974. Which is smaller: y or l?
l
Let a = 2793 - 16711/6. Which is smaller: a or 9?
a
Suppose -30*z - 115 = 35. Let d be 58/(-8) + (-3)/(-12). Which is bigger: d or z?
z
Suppose 5*h - h + 16 = 0. Let s = h + 4. Let f be s + 6/63*-3. Which is bigger: f or -1?
f
Let a(v) = v**2 + 10*v - 4. Let y = -12 - -2. Let m be a(y). Let f be m*(-2 - 84/(-44)). Which is smaller: f or 0?
0
Let j(g) = -g**3 + 2*g**2 + 2*g + 3. Let l(s) = -s**2 + 4*s. Let d be l(3). Let y be j(d). Suppose 2*r - 4 + 0 = y. Is r < -1?
False
Let d be -18 - 20/8*-2. Which is bigger: -14 or d?
d
Let o be (3 + -4)/(1/9). Let l be ((-4)/(-138))/(3/o). Let v = 1624 - 1623. Is v < l?
False
Let w = -73 - -48. Let y be ((-34)/(-4))/(w/50). Do y and -18 have the same value?
False
Let q = -35 + 32. Let m be 1/q + 1/((-66)/(-40)). Suppose 5 = -3*y + p - 3, -2*y + 13 = 3*p. Is y smaller than m?
True
Let v(c) = -2*c**3 - 23*c**2 + 12*c - 1. Let j(s) = -s**3 - 11*s**2 + 6*s - 1. Let h(i) = 9*j(i) - 4*v(i). Let n be h(-9). Do n and -2/5 have different values?
True
Let l(y) = -y**3 + 7*y**2 - 6*y + 9. Let j be l(6). Let f(w) = 2*w - 9. Let z be f(j). Let g(r) = r - 12. Let b be g(z). Is 0.1 greater than or equal to b?
True
Suppose 5*q + 29 + 31 = 0. Let g(s) = s - 5. Let k be g(q). Let n be (12/(-15))/((-3)/(-60)). Which is greater: k or n?
n
Let f(z) = z**2 + 2*z - 4. Let c be f(-3). Let y be ((-2)/(-9))/((-6)/(-537)). Let j = -20 + y. Are c and j equal?
False
Let u = -4383/44 - -1093/11. Let k(q) be the second derivative of 3*q**3/2 + q**2 + q. Let f be k(-3). Which is smaller: u or f?
f
Let m = 3 + -4. Let h(t) = 11*t + 1 + 5*t**2 - 11*t. Let w be h(m). Which is smaller: w or 5?
5
Suppose 20*h + 189 - 169 = 0. Let u = 1 - 0. Which is smaller: u or h?
h
Let k be 30*(-2 + (-5)/(-2)). Let c = 15 - k. Which is greater: 9 or c?
9
Suppose 0 = 6*f + 24*f + 1980. Which is smaller: 2/3 or f?
f
Let w = 8.5 + 1.5. Let a = w - 15. Let u = -5 - a. Which is bigger: u or -11?
u
Let s = -16 - -10.1. Let j = s + -27.1. Which is smaller: -1 or j?
j
Suppose 6*d - 5 = d. Suppose 2*q = -3*o + 7, 0 = -5*q - o + 3*o + 8. Let v be q + 18/(3/(-1)). Is v > d?
False
Let s be -3 + 826/20*-2. Let p = s + 86. Which is smaller: p or -0.4?
-0.4
Suppose 3*n - 45 = 4*n. Let v = 41 + n. Which is bigger: v or 2?
2
Let r = 3 - -1. Let z(u) = 8*u + 35. Let y be z(0). Suppose y = 9*x - 4*x - 5*s, -5*x + 17 = 4*s. Is r at most x?
True
Suppose -6*q + 13 = 19. Is q bigger than -0.83?
False
Let k be (-16)/(-8) - (-4)/(-2). Suppose 15 = -3*r + 21. Suppose 0 = r*f + 2*j - 6, -2*f + j + j - 6 = 0. Is f < k?
False
Let i = -393146077/40 - -9827986. Let y = i - -666. Let p = -20 - -19. Which is bigger: y or p?
y
Let s(j) = 18*j**2 + 8*j + 2. Let a be s(-1). Are 15 and a equal?
False
Let y = 9 + -0.05. Let x = 0.15 - -8.85. Let w = x - y. Which is bigger: -1 or w?
w
Let u = 200 - 35. Let m = -821/5 + u. Which is greater: m or 0?
m
Let a = 2.76 + -1.76. Which is bigger: a or -5?
a
Let g = 0.118 - 0.018. Let m(k) = -k - 4. Let w be m(-7). Suppose -15 = -w*h, 2*x + h + 3*h - 18 = 0. Which is greater: g or x?
g
Let n = 9 - 193/21. Let r be (3*(-3)/(-36))/(13/(-52)). Is r bigger than n?
False
Let i = 130 - 1561/12. Let m = 40 - 6. Let k = 35 - m. Which is greater: i or k?
k
Let x be 10952/64 - (-8)/(-64). Is x at most as big as 170?
False
Let x = 288.6 - 288. Which is smaller: x or -1.7?
-1.7
Let y = -7 - -6.96. Let j = 9915/14 + -1417/2. Which is smaller: y or j?
j
Let k be (91/126)/13*(-10 + 19). Let v(l) = -6*l**2 - l - 2. Let i be v(2). Which is greater: k or i?
k
Suppose 2*x = -0*x - 2. Let f = 2 + x. Let j = -2087 + 2092. Are f and j equal?
False
Let x = 11 - 6. Let y = x - 6. Is y at most -10/9?
False
Let l(d) = -d. Let j(u) = -u**2 + 3*u + 1. Let b(w) = j(w) - 3*l(w). Let s be b(3). Let n = s - 19. Which is bigger: -10 or n?
n
Let j be 49/((-1 + 0)*12/(-12)). Do j and 243/5 have the same value?
False
Let v = -8 - -13. Let l be (-8 - -3)/v + (1 - 0). Are -1/49 and l equal?
False
Let s be 1/280 + 12/168*-6. Is s greater than or equal to 1?
False
Let y = 1660 - 1678.54. Let r = -0.46 + y. Are r and 0 unequal?
True
Let u = 275/12 - 89/4. Is -246 bigger than u?
False
Let n(p) be the first derivative of -p**4/4 - 7*p**3/3 - 7*p**2/2 - 2*p - 7. Let l be n(-6). Let j = 15 + l. Which is smaller: j or 18?
18
Let z be 32/240 - 74/(-45). Is 3 smaller than z?
False
Suppose 0*z = -5*z + 20. Suppose 2*x - 2 + z = 0. Let y be 1/(-3) - 31/(-75). Is x at least as big as y?
False
Let l = -11 + 10.949. Which is greater: l or -0.1?
l
Let p = 0.053 + 0.117. Which is bigger: -5/4 or p?
p
Let y = -288 + 290. Which is bigger: y or -11/5?
y
Let p(a) = a**2 - 11*a - 19. Let t be p(13). Suppose 0 = -3*g - 3, -4*w - 3*g + g = -2. Let q be w - (2 - (t + 0)). Are 6 and q unequal?
False
Let b(w) = -w - 1. Let f be b(4). Let v be (-14)/49 - (-2)/28*-59. Which is greater: f or v?
v
Let t = -0.15 - 0.05. Let h = 0.29 + t. Which is smaller: 1 or h?
h
Suppose -f - 5*o + 10 = 2*f, 3*o - 6 = 0. Suppose 0 = 4*v - 2*a + 4*a + 4, f = -4*a - 8. Let p be 22/40 + 39/(-52). Which is greater: v or p?
v
Let v = -39 - -118/3. Let b(m) = m**3 - 12*m**2 + 4. Let q be b(12). Let c = q + 0. Do v and c have the same value?
False
Let b = -312/11 + 3997/132. Let p = b - 5/3. Suppose 5*q - 7 = -2. Which is bigger: q or p?
q
Let f be (11 - -18)/(2/2). Let y = f - 86/3. Is y >= 1?
False
Let g be 6 + -2 + (-5631)/15. Suppose 4*p = 2*l + 734, -5*l + 0*p = -p + 1862. Let s = l - g. Which is smaller: -3 or s?
-3
Let d(h) = 2*h**3 + h**2 + 3*h - 1. Let t be d(2). Let v be (-5*1)/((-5)/t). Suppose -o - v = -5*i - 5*o, -2*i - 4*o + 22 = 0. Which is greater: -14 or i?
i
Suppose h - 3*t + 18 = 0, h + 15 = -t + 3*t. Let b be 382/(-6) + 3/h. Let n be b/110 - 8/(-44). Which is smaller: n or -2?
-2
Suppose 0 = -4*j - 2*m + 44, 0*j - 4*j + 44 = 3*m. Which is smaller: j or 19/2?
19/2
Let h be ((-16)/(-40))/(21/35). Is 2/97 bigger than h?
False
Let f = -2/351 + -692/1755. Which is bigger: -0.06 or f?
-0.06
Let x = 1 - 0. Let y be 25041/(-88) - 6/(-33). Let p = 284 + y. Which is smaller: p or x?
p
Let l = -1/463 - 460/1389. Which is greater: 0.0141 or l?
0.0141
Suppose 0 = -5*t - 3*c + 19, 4*c + 3 = -5. Suppose 3*v + 0*u = 5*u - 226, 2*v + 109 = -t*u. Are v and -68 equal?
False
Let j = 0.17 + 0.03. Suppose 3*v + 15 = -0*v. Let w be (130/(-12))/v + (-33)/22. Is j equal to w?
False
Let c be (12/6)/((-534)/18). Which is smaller: c or 2/7?
c
Let i(f) = 2*f - 11. Let j = 10 - -13. Let r be j/3 + (-2)/(-6). Let w be i(r). Which is smaller: w or 4?
4
Suppose 2*o + 3*b - 146 = 0, 5*b - 300 = -4*o + b. Is o at most 81?
True
Let y = 1 - 1. Let j(s) = -6*s - 24. Let x be j(-6). Let w be x/2 - 204/33. Which is smaller: y or w?
w
Suppose -m - 9473 = -4*b, -1604 - 3149 = -2*b - 5*m. Are b and 2370 unequal?
True
Let u(v) = -v**3 - 27*v**2 + 112. Let p be u(-27). Does -1 = p?
False
Let t be (-9)/1*(-22)/(-6). Let n = 2168 - 2201. Is t < n?
False
Let o = -284 + 276. Are -7 and o nonequal?
True
Let a(h) = -h**3 + 5*h**2 - 4*h + 1. Let j be a(3). Let c = 87 - j. Is 80 > c?
False
Let d = 168/113 - 412330/277189. Let o = d - 517573/12265. Let h = -42 - o. Which is greater: h or 0?
h
Let h(p) = 9*p - 4. Let z be h(1). Let r be -4 - (0 + 1)*-1. Let n be 0 + z + r + 0. Is 6 <= n?
False
Suppose -g + 23 = 16. Let q = -5 + g. Suppose 0 = -q*k + 3*k - 1. Which is greater: k or 1/12?
k
Suppose -72*o + 76*o = 0. Which is bigger: o or -3/31?
o
Suppose -1622 = -3*t + 2*y, -18*t + 2144 = -14*t + 2*y. Which is bigger: t or 539?
539
Let w be (-1)/(8/34) - -1. Let x = -9484 - -18969/2. Do w and x have the same value?
False
Let u = -219 + 5911/27. Let g = 18 - 18.2. Which is smaller: g or u?
g
Let o = -2352 + 68118/29. Is -2 not equal to o?
True
Let q be (-64)/((-4)