56 + 954. Which is smaller: g or -24/19?
g
Suppose 17*n = 15*n - 4. Let a = 10/11 - 171/55. Which is smaller: a or n?
a
Suppose 3*b = b. Let c be 13/(-104) - 234/48. Which is greater: c or b?
b
Let i = -9 + 30. Let b = i - 24. Is 1 equal to b?
False
Let a = -4.6 - -5. Let t = -7309/4 - -1827. Do a and t have the same value?
False
Suppose -95*n = -101*n. Is -15/22 greater than or equal to n?
False
Let q be ((-2)/(-4))/((-5)/50). Let m(u) = u**3 + 6*u**2 + 3*u - 7. Let j be m(q). Suppose -j*z - 4*y - 9 = 3, -4*z + y + 3 = 0. Is z greater than -3/20?
True
Let p = 5.285 - 5.3. Let f = -0.215 - p. Is -3 less than f?
True
Let z be (-3782)/(-4758) - (-10)/(-12). Are 21 and z equal?
False
Let z(u) = 2*u**2 + 6*u + 1. Let i be z(-3). Let l = -102/7 - -7664/525. Are i and l non-equal?
True
Suppose 0 = z + 5*q + 13, -3*q = 5*z + q + 2. Suppose -2*f - 4*a - 100 = 0, -z*f + 3*a - 94 = -29. Let x be -3 - (2 + f/12). Is -1 less than or equal to x?
False
Let b be (1/4)/(21/(-12)). Let z(o) = -o**3 + 23*o**2 - 22*o + 9. Let h be z(22). Suppose 5*u - 4 = h*u. Do u and b have the same value?
False
Let w(u) be the first derivative of 2/3*u**3 + 4*u + u**2 - 5 - 1/4*u**4. Let o be w(3). Which is bigger: 1/6 or o?
o
Let t be 3/(-9) - 1/(-3). Suppose 24*n + 7 = 103. Suppose -w = -1, w = -u - t*w + n. Does 3 = u?
True
Let s = 15634161/166 + -94181. Let v = s - -3/415. Suppose 0 = -m - 3*f - 15, -2*m + f = -3*f - 20. Which is smaller: v or m?
m
Let z be (16/(-24))/((-4)/30). Suppose z*o = 5*f - 40, f - 3*o - 21 = -f. Let d be (34/(-12) + f)*4. Which is smaller: d or 5?
d
Let x = -503 + 1511/3. Is -27/29 equal to x?
False
Let q be (-10)/(-15) - 2/(-6) - -63. Suppose -3*y + 19 = q. Is -0.1 > y?
True
Suppose 5*n + 16 = 4*g, -5*g = -n - 0*n + 1. Let w be (11/(-14) - g) + 37 + -37. Which is smaller: 0 or w?
0
Suppose -v - 26 - 4 = 0. Let l be (-2)/(-6) + 16/v. Which is greater: l or 1?
1
Let u = 397 - 1765. Which is smaller: -1369 or u?
-1369
Suppose 4*f + w + 24 = 0, 7*f = 2*f - 4*w - 41. Let a(x) = x**3 - 10*x**2 + 8*x + 11. Let h be a(9). Let n be (-5*(-2)/h)/(-1). Is f <= n?
True
Let i = 174 - 173. Which is smaller: i or 2/399?
2/399
Let j = 90023650/23247 - 158724/41. Let b = 2/81 - j. Suppose -7*w = -6 + 20. Which is smaller: w or b?
w
Let s = -141024912851/6030 - -23387216. Let z = -2/335 - s. Which is smaller: 2/7 or z?
z
Let x be 12*((-448)/63 + 7). Is x at most as big as 2.5?
True
Suppose -4*y - 2*u - 2184 = 0, 4*y + 1104 = 2*y + 2*u. Let c be y/(-2320) - 2/8. Is -1 != c?
True
Suppose 14*x = 428 - 134. Which is smaller: x or 17?
17
Let f = -426.1 + 426. Do -18/29 and f have different values?
True
Let l be (-34)/5*220/(-6532). Let j = 7/71 - l. Which is greater: j or -1?
j
Let s be (1 + -5)*((-5)/(-2) - 2). Let q be 372/(-120) + s/(-4). Which is bigger: -3 or q?
q
Let p = 30 - 30. Let x be 3/(-4) + (-379)/(-20). Let y = x - 19. Which is smaller: p or y?
y
Suppose x = -u - 6, 2*u + 12 = -0*u - 4*x. Let r = 67 - 61. Suppose -12*n + r = -13*n. Is n smaller than u?
False
Suppose -11*d = -13 - 42. Let r(p) = p**2 - 11*p + 20. Let y be r(d). Is -10 equal to y?
True
Let r = 69 - 97. Let s be -2 + 1 + (-49)/r. Which is bigger: 1 or s?
1
Suppose -26 = -4*x + v, -x - 18*v + 9 = -17*v. Is 9 < x?
False
Let c = -341 - -1025/3. Is c <= 0?
False
Let j(w) = -3*w**2 + 17*w + 11. Let g be j(6). Suppose g*m + 3*h = -2, 0*m - 4*m - 4*h = 0. Which is greater: m or 9?
9
Let o = 8.5 + 83.5. Let x = -91.9 + o. Is -35 >= x?
False
Let j = 162 - -2. Let s = j + -126. Are 37 and s non-equal?
True
Let a(o) = 1. Let c(k) be the second derivative of -k**4/12 + 7*k**3/6 - 7*k**2/2 + 10*k. Let q(g) = 3*a(g) - c(g). Let l be q(5). Which is greater: l or -2/33?
l
Let a(q) = 3*q + 25. Let n(s) = -s + 1. Let i(m) = -a(m) - 2*n(m). Let o be i(-22). Are o and -7 nonequal?
True
Let c = 27 + -25. Suppose -3*h + c*n = -8*h - 3, -4*n + 2 = 2*h. Are h and -45 non-equal?
True
Let b be 1 - ((-11 - 2) + 2). Suppose h - 8 = 5. Which is smaller: h or b?
b
Let d = -16 - -15. Let y be (d - (2 + -8))/(-1). Let b = 9 + -15. Is y >= b?
True
Let d = -0.6 - -5.6. Let i = 19.98 + 0.02. Let y = -22 + i. Which is greater: d or y?
d
Suppose 0 = 4*n - 5*u, -3*n = -6*n + 2*u. Is 1/41 at most n?
False
Let p(y) = 4*y - 112 - 3*y + 106. Let j be p(7). Let m = 1/1739 + -3533/95645. Is j != m?
True
Suppose 75 = 2*d + 3*d. Suppose -v - 4*v = -d. Suppose 6*s = v*s. Is s at most as big as 0?
True
Suppose 32*l = 23*l + 144. Which is bigger: l or 29?
29
Let p(c) = -16*c + 106. Let u be p(5). Is 155/6 at most u?
True
Let b = 1.064 + -0.064. Which is greater: b or -0.01?
b
Let o be 22005/(-4875) + 4 - 2/(-13). Which is greater: o or 0?
0
Let q be -27*(8172/744 - 11). Which is smaller: 1 or q?
q
Let j be (297/627)/(6/4). Which is smaller: j or -1/5?
-1/5
Let m(i) = 2*i**2 - 14*i - 10. Let v be m(10). Which is greater: 66 or v?
66
Let c = 704 - 687. Is 1 >= c?
False
Suppose 0 = 36*b - 24*b. Let h be 1/(-2)*28/16. Which is smaller: h or b?
h
Let m(h) = -3*h - 3. Let t(f) = 2*f + 2. Let g(c) = c**3 + 4*c**2 + 4*c. Let j be g(-3). Let s(l) = j*m(l) - 5*t(l). Let w be s(-2). Which is bigger: -1/5 or w?
w
Let g(y) = 7*y. Let o be g(3). Let p be (o/(-9))/((-2)/6). Suppose p*u = 3*u + 24. Are 5 and u nonequal?
True
Let v = -8 - -4. Let j = 4.2 + v. Let t = -89/28 - -24/7. Is j bigger than t?
False
Let m be -13 - (-48 - 1) - (-1 - 2). Which is smaller: m or 40?
m
Let s = -450 + 32848/73. Which is smaller: -1/4 or s?
-1/4
Suppose 5*s = -5*t - 10, -t - 4*s - 2 = -2*s. Let k(p) = 3*p**2 - p - 1. Let v be k(t). Are v and 6 equal?
False
Let a = 13 - 5. Let b be (-2)/(4 - 28/6). Suppose 4*w + b*i = 49 - 1, w = -2*i + 17. Are w and a non-equal?
True
Let l(m) = -6*m**2 + m - 1. Let u be l(1). Let v be (-189)/45 + -9*(-8)/360. Which is smaller: u or v?
u
Let s = -1.81 - 0.19. Let r = 15 - s. Let p = r - 16.8. Which is bigger: p or 3?
3
Let d be ((-11240)/1625)/(6/(-35)). Let o = d - 202/5. Is 1 equal to o?
False
Let v be 430/584 + (-18)/24. Suppose -48*k = 183 - 135. Is k < v?
True
Let j = 19 + -16. Let n = 13 - 8. Is j > n?
False
Suppose -13*z + 12*z - 23 = 0. Let b = z + 37. Let w be (-6)/b - 2/(-14). Is w <= 3?
True
Let y be -5*((-4)/6)/(220/30). Let b = y - 10/11. Which is smaller: b or -1?
-1
Let z = -104.1 + 104. Which is smaller: 226 or z?
z
Let o = -8 + 23. Let l be ((-95)/(-14) - 120/420)*2. Which is smaller: l or o?
l
Let j(g) = -g**3 - 10*g**2 + 23*g + 8. Let x be j(-12). Which is smaller: 6/7 or x?
6/7
Let v be (-2)/9 + 460/45. Suppose 0*h + 3*x = -3*h - 18, -3*x - v = -5*h. Let u be h/(-8)*2*4. Which is smaller: u or -4/19?
-4/19
Let s(b) be the second derivative of b**4/12 - b**3/6 + b**2/2 + 5*b. Let j = -3 - -4. Let w be s(j). Which is smaller: w or -0.2?
-0.2
Let a = 406.2 + -499. Let m = 86 + a. Let z = m + 7. Is 3 smaller than z?
False
Let x(v) = -105*v - 306. Let m be x(-3). Is m at most 2?
False
Let a = -4.9 + 5. Let p = 0.1 - a. Which is greater: 0.1 or p?
0.1
Let p = -977 + 1099.8. Let d = p + -122. Let n = 0 + 0.1. Is n != d?
True
Let z(b) = b**2 + 4*b + 2. Let m be z(-3). Let j be 12/(-8) + 690/444. Which is bigger: m or j?
j
Let h be 1 + -4 - (-5 + 2). Suppose w + 2*m - 2 = h, -2*w - m = 2*m - 1. Suppose -8 = 5*k + y, -k - 2*y - 9 = 2*k. Is k at most w?
False
Let q = -148 - -147. Let h be (((-16)/65)/q)/(2/10). Is h less than 1?
False
Let s = -292.4 - -259. Let r = s - 6.6. Which is greater: r or -1?
-1
Let j(r) = r**2 + 2*r - 2. Let m be j(-3). Let k be ((-2)/(-33))/(20/(-12)). Let w = k + -72/1045. Which is bigger: w or m?
m
Let i = -891 + 891.1. Which is greater: 1.725 or i?
1.725
Let a be ((-1)/(-2))/1*(-122 - -120). Is a at most -2/37?
True
Let w(n) = -n**2 + 57*n - 765. Let o be w(56). Which is bigger: o or -708?
-708
Let v be (-20)/(-35) - (-123)/(-7). Let d = 15 + v. Let j = d + -1. Which is smaller: -10/3 or j?
-10/3
Suppose 0 = -q + 2*o - 2 + 3, 2*q - 6 = 2*o. Suppose q*c - 5 = -70. Is c greater than -13?
False
Suppose 12*u = 7*u - 605. Is u at most as big as -120?
True
Suppose 5*o + 29 = 74. Suppose -4*n + 5*l + 7 = -5, 3*n + l - o = 0. Suppose 0 = -4*b - 0*x + 2*x + 2, 5*b = -3*x - n. Which is smaller: b or -1/10?
-1/10
Let c(r) = -r**3 + 8*r**2 - 6*r - 17. Let j be c(7). Suppose -l + 5*z - 5 = 0, 3*z = l - 0*z +