+ 18 = 0. Which is bigger: g or -3/4?
g
Let t = -7.3 + 7.227. Which is smaller: t or -0.1?
-0.1
Let l = -6257/6541249 - -3/1937. Which is smaller: -1 or l?
-1
Suppose 0 = -2*s - 198 - 36. Is s bigger than -116?
False
Let x = -1 + 0.75. Let z = 6.75 - x. Which is smaller: z or 0.2?
0.2
Suppose -4*k = -3*v + 17, -v - 2*k - 3*k = 26. Which is smaller: v or 5/121?
v
Let i(p) = -2*p - 5. Let f be i(-4). Suppose k + 3*l = -f*k - 63, k + 12 = -2*l. Let u = k + 17. Is -1 <= u?
True
Let q be 9 - (8 - (-4075)/4080). Is 1 greater than or equal to q?
True
Let u be 11356/4536 - 10/4. Are -1 and u nonequal?
True
Let y be 612/(-22) + (-2)/11. Suppose -c + 4*r + 66 = 0, -3*r - 125 = -3*c + 55. Let x be y/42*(-3)/c. Which is smaller: -1 or x?
-1
Let t = -0.34 - -0.86. Let x = t - 0.51. Which is greater: x or -7?
x
Let a = -18.3 + 0.3. Let z = -27 - -50. Let m = z + a. Is m at least -1?
True
Suppose -2*h + 6 = -c, -4*c + h = -0*h + 38. Do -73/8 and c have the same value?
False
Let q = -710 + 747. Which is smaller: 35 or q?
35
Let y = -0.0359 + -7.9641. Which is bigger: y or 6?
6
Let c = 2130 + -2124. Suppose -g - 1 = -0*g. Which is bigger: g or c?
c
Let u = 217 - 208. Are 47/5 and u unequal?
True
Let x(a) = -a**3 - 29*a**2 - 32*a - 113. Let w be x(-28). Do w and 17 have the same value?
False
Suppose 4*j - d - 76 = 0, -11 = -5*j - 3*d + 101. Let p = -17 + j. Suppose p*v = -v - 4. Which is greater: v or 2/65?
2/65
Suppose q - 45 = -4*q - t, 2*q = -4*t. Let o be ((-3)/q)/((-24)/(-5)). Let d be 13/(-65) + 1/5. Is o less than or equal to d?
True
Suppose -2*c - 8 = 0, c + 8 = -3*b + 4. Suppose -5*s + 15 = -b*s. Suppose -s*f = 2*f. Is f less than or equal to 3/19?
True
Let g be (1/2)/(4/960). Let u be g/16 - (-2)/4. Let a be (-98)/(-258) - u/24. Are -1 and a non-equal?
True
Let i(r) = -r**3 - 6*r**2 - r - 4. Let m be i(-6). Let g be m/9 + (-2694)/378. Let f = g + 41/6. Is f <= 0?
True
Suppose -4*s = -2*s - 2. Let a be (-1 - (s - 2))/2. Suppose -2*q + 3*q - 2*c - 5 = a, q - 5*c - 17 = 0. Is q > -1?
False
Suppose -5*s - 155 = 5*y, 2*s + 48 = -2*y + 7*y. Let w = -27 - s. Is -5/3 greater than w?
False
Let u = -1.25 - 26.75. Is u < 17?
True
Let q = -38/5 - -22/3. Let y = 3 - 2. Which is bigger: y or q?
y
Suppose -x - 3*x = -40. Let h = -82 + 222. Suppose 30*s - 16*s = h. Is x equal to s?
True
Let k = 5 - 9/2. Let f = 56 + -31. Let t = f - 15. Is t less than or equal to k?
False
Let u(k) be the third derivative of 1/6*k**5 + 0*k + 0 - 1/3*k**4 - 3/2*k**3 - 1/120*k**6 - 10*k**2. Let j be u(9). Which is smaller: -4/25 or j?
-4/25
Let u be (18*2/(-8))/3. Let y = 107.94 + -108. Is y < u?
False
Let r be (32/(-1 - -5) - 4) + 534. Suppose -492 - r = 10*t. Which is smaller: 0 or t?
t
Let h = -264/7 - -38. Let y(z) = 3*z + 6. Let m be y(-7). Let k be (-5)/m - 2/6. Which is smaller: h or k?
k
Let t(n) = -2*n**2 - 3*n - 3. Let z be t(-1). Let k be 3 - (2 + 2) - (0 - 0). Is z >= k?
False
Let u = -32 - -34. Let g be 2/(-5) - (-4)/10. Suppose -2*k + 3*q = u*k + 54, 4*q - 8 = g. Which is greater: k or -11?
-11
Let i = -6086/11 + 554. Suppose -6 = -n + 3. Let f = -7 + n. Which is greater: i or f?
f
Let n be -5*((-132)/(-540) - 2/18). Let r be (-1 - 0)*(-1)/(-107). Let y = r + -310/1177. Which is smaller: y or n?
n
Let x = 1.7 + 28.3. Let h = 32 - x. Which is smaller: h or 1/2?
1/2
Let g be (-4)/(-3)*(-9)/(-6). Let p be g - (146*-1 - 3). Let y = p + -1047/7. Is y greater than 1?
True
Let y(c) = c**3 + 11*c**2 + 8*c - 11. Let k be y(-9). Suppose -2*s - k = -59. Which is smaller: -12 or s?
-12
Let j be ((-10)/15)/(1/(-54)). Let d = j - 145/4. Suppose 5*v - t - 6 = 0, 2*v + 0*t = 4*t - 12. Are d and v equal?
False
Let a(z) = -9*z**3 - z**2. Let l = 7 + -6. Let v be a(l). Let h be v/35 + (-2)/(-56). Which is smaller: 3 or h?
h
Suppose -8*m + 7*m - 69 = 0. Let j be (-16)/24 - (-134)/3. Let w be 8/j + m/319. Do w and -1 have the same value?
False
Let o = -263 - -262.3. Let w = 0 - 2. Which is smaller: w or o?
w
Let q(j) = 12*j**2 - 50*j - 3. Let s be q(4). Are s and -123/10 unequal?
True
Let m = -44 + 51. Let g be 47/(-329) - (-1)/(14/8). Is m less than or equal to g?
False
Let s(y) be the third derivative of -y**6/120 - y**5/30 - y**4/24 + y**3/6 + 5*y**2. Let f be s(-2). Suppose -f*w + 5 = -8*w. Which is smaller: w or 0?
w
Let p be ((-27)/(-2))/9 - (-171)/(-6). Is 7 greater than or equal to p?
True
Let b = 16 + -14. Let m(x) = -8*x + 1. Let v be m(b). Is -15 less than or equal to v?
True
Let q(t) = 3*t**2 - 6*t + 6. Let f be q(2). Is f greater than or equal to 111/23?
True
Let l be (-10)/55 + 640/11. Let h be (l/8)/(9/12). Which is smaller: 9 or h?
9
Let g be 11/2 + (-1)/(-2). Suppose -p + 100 = -g*p. Let n be (-4 - 68/p)/1. Is n greater than 0?
False
Suppose 61*p - 19*p - 210 = 0. Let i be (-1 - -12)*1/2. Which is greater: p or i?
i
Let m(d) = d**3 - 7*d + 1. Let y = -30 + 27. Let h be m(y). Which is smaller: h or -2?
h
Let u(f) = -514*f**3 - f**2 - 3*f - 1. Let i be u(-1). Let x = 2563/5 - i. Does -2 = x?
False
Let o(y) = -2 - 9 - y + 2 - 9. Let t be o(-13). Let w(m) = m**3 + 5*m**2 - 5*m + 1. Let h be w(-6). Are h and t non-equal?
False
Let r be 130/(-14) + (-8)/(-28). Let w be (-36)/r - (-84)/(-22). Is w less than 0.17?
False
Let w = -0.738 - -0.648. Let l = 3 + -1. Let c = 1.8 - l. Is c <= w?
True
Let u(z) = z**3 - 5*z**2 + z + 3. Let k be u(6). Is 136/3 less than k?
False
Let r = -30/19 + 2. Are 1 and r equal?
False
Let m be ((-82)/4)/(46/184). Is -82 at most m?
True
Let d = -24241/10 - -2419. Which is smaller: d or -5?
d
Suppose 4*w + 16 = 2*k, 2*k + 3*w = -2*w - 11. Let q be ((-299)/26)/(k/4). Let l = q + 71/3. Is 3 greater than l?
True
Let y = -219 + 251. Is 1 not equal to y?
True
Let d(m) = -m**3 + 4*m**2 - 2. Let u be d(4). Let l be (4 - u)*6/4. Is l at most 6?
False
Let m = 0 + -1. Let h = -608/15239 + -2/2177. Which is smaller: h or m?
m
Let l = -81 - -81.94. Let d = l + 0.06. Is d bigger than 11?
False
Let h = 1/2224 + 44757/2224. Which is greater: 21 or h?
21
Let n = 6.07 + -6. Let d = 0.17 - n. Which is greater: d or -1/16?
d
Let x(j) = j**3 - 5*j**2 + 3*j - 2. Let i be x(4). Let l(d) be the second derivative of d**3/6 + 3*d**2 + 11*d - 4. Let z be l(i). Is z at most as big as -3/7?
False
Suppose -2871 + 10263 = 11*l. Let u = -8732/13 + l. Do 1 and u have the same value?
False
Let a = 1.9 - 1.9. Let l = -658 - -663.19. Let y = 0.19 - l. Do a and y have the same value?
False
Let l = 2678 - 2711. Suppose -5*s - 4*m - 35 = -4*s, 4*s + 140 = -m. Which is greater: l or s?
l
Let x = 122 - 120. Suppose 70 = -5*h + 5*s, 18 = -h + x*s + s. Which is smaller: h or -16?
-16
Let a = 16 - 15. Let r(c) = 10*c**2 + c - 1. Let x be r(a). Let p = 36 - 25. Which is smaller: x or p?
x
Suppose 4*f = -4*a + 12, -5*a = -4*a - 3*f + 9. Let b = -180573/10 - -18057. Is b equal to a?
False
Suppose -111 = -w - 106. Let g be w/(-10) + 11/30. Is 0 smaller than g?
False
Let t = -52 + 21. Let s = t - -31. Which is smaller: s or 5/9?
s
Let u = -20 - -226. Is 207 > u?
True
Let r(x) = -x**2 - 3*x + 12. Let b be r(-6). Let c be -1*2/b + (-21)/63. Does 4/25 = c?
False
Suppose -j = 3*j. Let x be (20/1200)/(1/(-2)). Let c = -2/15 + x. Which is greater: c or j?
j
Let z(p) = p - 10. Let y be z(14). Let o = -8 - -24. Suppose y*u + 0 = -o. Which is greater: u or -3?
-3
Let a(y) = -y**2 + 4*y - 11. Let h(q) = -q**2 + 3*q - 11. Let f(r) = 2*a(r) - 3*h(r). Let l be f(0). Is 9 not equal to l?
True
Let p(y) = y**3 - 11*y**2 - 2*y + 25. Let q be p(11). Suppose -q*k + 139 = -2*h + 4*h, 149 = 2*h + 5*k. Which is smaller: h or 63?
h
Suppose 4*v - 3 = -19. Let w be 8/20*26/(-4). Which is smaller: v or w?
v
Let w = 2164 + -2580. Does -414 = w?
False
Let n be (7/(112/(-296)))/(2/(-6)). Which is bigger: n or 55?
n
Suppose 2*n + 2*n = 4. Let i be ((-10)/(-345)*3)/n. Let q = -1 + 0. Is q greater than i?
False
Let o(z) = -z**2 - 4*z + 2. Let h be o(-4). Let y be 9/18*h*2. Is 1 bigger than y?
False
Let i be 0/2 - (-11 + 9). Let f be i + 2 + -3 + -7. Is -4 greater than f?
True
Let a(f) = -f**3 + 10*f**2 - 11*f - 33. Let v be a(8). Suppose -2*q + v = -q + y, 4*q = 5*y + 37. Let j = -1.2 - -1. Which is smaller: q or j?
j
Let a = 0.09404 - -0.10596. Let u be 10/(-8) + 1 + 0. Does a = u?
False
Let j = 35 - -10. Let q be 3/(-5) + 87/j. Wh