?
-2/51
Suppose 3*n - 3*y = 2*n + 4, -2*y = 3*n + 32. Let l(v) = -v**2 - 7*v + 8. Let b be l(n). Suppose u - 2 + 0 = b. Which is greater: 0 or u?
u
Let i be (28 + -27)/((-5)/23). Are i and -5 non-equal?
True
Let r = 44 + -34. Suppose 5*q + i = -6, -6*q - 5*i = -q + r. Is 6/17 < q?
False
Let y be (7/((-175)/10))/(1/(-5)). Suppose -3*k + y*i + 34 = 6*i, -5*k + 2*i = -74. Are k and 15 non-equal?
True
Let z = -253/260 + 9/52. Suppose -5*h - v = 11, -5*v = 5*h - 2*h - 11. Let n be h*(16/(-12) + 2). Is z > n?
True
Let x be 1/(-4 + -2) + 985/(-30). Is -31 greater than x?
True
Let c = 46 - 37. Let v = c + -6. Which is smaller: v or 2?
2
Let q = -56.25 - -3.25. Which is smaller: -2/5 or q?
q
Let j = 133 - 107. Suppose 20*k = j*k. Is -2/17 equal to k?
False
Let j be 195/140 + (-1)/7. Which is smaller: 0 or j?
0
Let l(m) = -22*m - 922. Let r be l(-48). Is 132 > r?
False
Let k be (1/2)/((-6)/60). Let p be (-45)/k*(-4)/3. Let g be 63/p - (-6)/24. Which is bigger: -4 or g?
-4
Suppose 2*v - 2*p - 52 = 0, -2*v = -0*p - 5*p - 58. Let q = 44 + -20. Is v at least as big as q?
True
Let k = -315 + 335. Which is smaller: k or 102/5?
k
Let n be (19/16)/((-1)/(2/(-4))). Let u = 3/32 - n. Is u >= -4/11?
False
Let v = -6793/253692 - -2/2187. Let w = -894496 - -726330267/812. Let b = v - w. Is 1 bigger than b?
True
Let d = -9 + 12. Let n be (-1)/((-4)/(-8)) - -3. Let r be (-4)/32 + n/(-8). Is r at least as big as d?
False
Let i(h) = -10*h**2 - 10*h - 5. Let t be i(-1). Which is smaller: 21 or t?
t
Let r = 63 - 58. Suppose -3*h - r*u + 20 = 0, -16 = 3*h - 5*u + u. Which is smaller: -1/28 or h?
-1/28
Suppose -2*g + 5 = -15. Let m be g/4*(-44)/(-5). Which is smaller: m or 21?
21
Let v = 188.03 + -188. Is -2/3 at least as big as v?
False
Let o(y) = -y - 7. Let s be o(-11). Suppose -4*b = x - 16, -3*b + 0*b + x + 19 = 0. Is s >= b?
False
Let v be (-67)/38 - 11/(-22). Is -2 less than v?
True
Let w = -63.3 - -62. Do w and 6 have different values?
True
Let d(b) = 42*b**2 - 2*b - 1. Let r be d(-1). Let o = r - 173/4. Let h = -10 - -17. Is h <= o?
False
Let x(p) = p**2 - 8*p - 10. Let f be x(9). Let d be (1/f)/(-1)*1. Let m = 987/40 - 124/5. Which is smaller: m or d?
m
Let m be (-11)/12 + 2/8. Let c = 106 + -110.01. Let b = c + 4. Is m >= b?
False
Suppose -3*q + 17 = -5*o - 32, 2*q - 51 = 5*o. Let i be (19 + -3)*o/(-2). Let j be 80/(-198) + 16/i. Is j smaller than 2/11?
True
Let a be (55/(-77))/((-8)/14). Let q = 27 - 19. Suppose 0 = o + 5*b + 19, -4*o + q*b = 3*b - 24. Is o at most as big as a?
True
Suppose 10*n - 880 = -12*n. Are 40 and n equal?
True
Suppose -3*u = 5*s + 10, -7*u + 4*s = -2*u + 29. Is 7 bigger than u?
True
Suppose 2*y - 2*s = 4, 4*y - 6*y = -5*s + 5. Which is smaller: 36 or y?
y
Let g be ((-60)/(-50))/((-4)/(-10)) + (-235)/55. Let n be ((0/1)/2)/1. Is n <= g?
False
Let x(y) = -149*y + 1112. Let d be x(7). Which is bigger: d or 78?
78
Suppose 160 - 56 = 8*k. Suppose 3*m + 4 = k. Suppose -5 = s - 2*j + 5, -s = -m*j + 12. Which is smaller: -4 or s?
s
Suppose -2*k + 4*c - c - 118 = 0, -k - 59 = -c. Let p be 1*5*(-638)/55. Is p at least as big as k?
True
Let b be 1 + 29 + 5*4/(-20). Do b and 29 have the same value?
True
Let h = 3 + -1. Suppose -o = 2*o - 3*z - 12, -h*z - 8 = 0. Suppose 2*k - 5 + 7 = o. Is k greater than 0.3?
False
Let d = 62 + -53. Suppose -d*y - 15 = 3. Which is smaller: y or -9/11?
y
Let g be 20/(-12)*3/(-5). Is g at most as big as 1/83?
False
Let r(j) be the first derivative of j**4/4 + 8*j**3/3 + 7*j**2/2 - j - 7. Let b be r(-7). Let i be 0/(b/(1/2)). Is 2/57 not equal to i?
True
Let s be (-2)/(-6)*(-90)/(-20)*10. Let v be s/(-3) - 214/(-10). Do 15 and v have different values?
True
Let g = 78 - 76. Let h be (261/4)/(12/g + -3). Which is greater: h or 23?
23
Suppose -5*h = -3*c + 67 - 9, 0 = 3*h - 5*c + 22. Does -18 = h?
False
Let v(c) = -2*c**3 + c**2 - 10*c + 1. Let f(u) = -u**2 - u. Let i(l) = -6*f(l) + v(l). Let m be i(3). Let q be (-3 - m)/(0 - -2). Is q <= -10?
False
Let p(f) = -f**3 + 4*f**2 - 2*f + 9. Let u be p(4). Which is smaller: 29 or u?
u
Let k be 82/(-3 + 2 + -25). Which is bigger: k or -3?
-3
Suppose 7*q = 8*q - t + 187, 5*q + 4*t + 935 = 0. Which is bigger: q or -188?
q
Let g = -14 - 4. Let m = 4337/15106 + -3/2158. Which is smaller: m or g?
g
Suppose -4*j = -11 - 21. Suppose -j*r + 1 = -7*r. Let y = -2/569 + 1168/8535. Is r greater than y?
True
Let d(b) = -b**3 - 14*b**2 - 13*b - 2. Let h be d(-13). Let r be -1 + (3/6)/((-2)/(-4)). Is h >= r?
False
Let y = -66/17 - -1101/34. Let d = y - 31. Let g be (-2 + 1)/(1/2). Which is smaller: d or g?
d
Let p = 20.1688 + -0.1688. Is -8 at most p?
True
Let x = -15.8 + 32.8. Is 7 at least as big as x?
False
Let o be ((-6)/(-32))/(4 - (-155)/(-20)). Do o and -1 have the same value?
False
Suppose -10*a + 5*a - 2*v + 21 = 0, -15 = -2*a - 3*v. Suppose 55 = b - q + 12, a*b - 145 = -q. Is -2/5 greater than b?
False
Let t = 33844925/2091 + -16186. Is t <= -1?
False
Let i = -639 + 3433/5. Which is smaller: 47 or i?
47
Let g = -37 + 72. Suppose g*z = 31*z + 40. Suppose -5*t - 10 = -z*t. Which is bigger: t or 3/5?
t
Let f(b) = 9*b + 55. Let s be f(-11). Let g be s/3*-3 + 6 + -8. Which is smaller: g or 43?
g
Suppose -11*h + 2 = -10*h. Let f be (-248)/(-16) + h/8. Which is bigger: 17 or f?
17
Suppose -10*z - 465 = 4*q - 9*z, -2*q - 240 = -2*z. Is q at most as big as -116?
True
Let i(u) = -u**3 - 9*u**2 + 35*u - 11. Let l be i(-12). Is -2/2743 bigger than l?
False
Let h(s) = s**2 + 6*s - 6. Let i be h(-7). Let k(n) = 2*n. Let v be k(i). Let g = -66 + 61. Which is bigger: g or v?
v
Let c = 0.08 + -0.11. Let m = c + 0.05. Let r = -1.49 + 1.39. Which is bigger: r or m?
m
Let w be (4/4)/1*-13. Let y = -10 - w. Let g be (3/2)/(y/2). Is g > -1/3?
True
Suppose 2*x + 0*x - 208 = -4*n, 0 = -5*x + 5*n + 550. Which is greater: x or 109?
109
Let v be (3/(-2))/((-15)/(-8)). Suppose 0 = -2*h + h + 3. Suppose -w - 2*n + 4 = 0, 1 = -h*n + 7. Which is smaller: w or v?
v
Suppose -3*t = 5*d + 317, -2*d - 5*t - 123 = -0*d. Let g = 95 + d. Is 31 smaller than g?
False
Let v(l) = -l - 4. Let x be v(-7). Suppose -9 = 6*s + x. Let y be s + (10/7 - -1). Is y at most as big as 0?
False
Let i = -16910/1441 + 129/11. Is 1 not equal to i?
True
Let q(k) = -6*k + 5. Let z be q(-2). Let p = z - 21. Let u = 9 + p. Which is smaller: 17/3 or u?
u
Let h be (3/4)/((-1)/(-4)). Let i = 61 - -46. Let b = i + -103. Is b less than h?
False
Let m be -4 + 160/55 + 1. Is 2/5 at least m?
True
Suppose 3*g = 5*g + 3*x + 7, -4*x = -2*g + 14. Which is smaller: g or -1/196?
-1/196
Let d be 2 + (-433)/12*-3. Which is greater: 111 or d?
111
Let s = -1 - -2. Let y = -63.2698 - -0.2498. Let w = y - -63. Is w equal to s?
False
Let f(t) = -4*t - 9. Let o be f(-3). Let c be (o/(-1) + (-11)/2)*6. Which is bigger: -50 or c?
-50
Let f = 454 - 59929/132. Let j be 70*(-2)/(-33) + 1. Let q = j - f. Which is smaller: 4 or q?
4
Suppose 0 = -r + 2*t - 7, r + 5*t = 5 + 2. Let m = 149 - 152. Is m <= r?
True
Let x be ((-2)/4*5)/((-2059)/(-58)). Is -1 != x?
True
Let n(r) = 13 - 10*r**2 - 5 - 7*r + 12*r**2. Let v be n(6). Suppose 5*j - 117 = v. Is j equal to 31?
True
Suppose 5 = 3*n - 2*a, -11 = -5*a - 1. Let t be 2/n - (-423)/(-513). Let i(z) = -z - 10. Let r be i(-9). Which is bigger: r or t?
t
Suppose -19*h + 1478 = -612. Suppose -h = -5*b + 155. Is 52 < b?
True
Suppose -3*i + 40 = 5*o, 5 = -3*i + 4*o - 0*o. Suppose 0 = 4*w + 11 + i. Let t = 3 + w. Which is smaller: -0.1 or t?
t
Let b be (-2)/5 - (-9)/(-15). Let l = -50 - -47. Let h be 1 + (l - -4)*b. Which is smaller: -6/13 or h?
-6/13
Let q be -177*(-3 + (2 - 0))*1. Suppose -10*g + 57 = q. Let p be -2*(-2)/(4/(-11)). Is p <= g?
False
Let p(c) = -c**2 + 25*c + 186. Let m be p(-6). Which is smaller: m or 497?
m
Suppose 505 = 25*h - 20. Let j(w) = -4*w + 1. Let p be j(-4). Let f = h - p. Is 4 at least as big as f?
True
Let x = 2211 + -1594. Which is greater: x or -2/5?
x
Let n = 2 + -15/7. Let x = 48 + -57. Let b = -9.1 - x. Is b != n?
True
Let v be (348 - 1)*(2 - 1)*2. Is v greater than 694?
False
Let p be (1*4)/(0 - -1). Let w = 165 - 161. Is w at most as big as p?
True
Suppose 0 = 5*z + 165 - 170. Do 11/38 and z have different values?
True
Let v be (-4)/3*18/(-34). Let b = -722 - -722. Which is greater: b or v?
v
Le