 10 - 0. Suppose -2*y = -2*b - b + 13, 0 = 2*b + 3*y - 13. Suppose 2*f = 3 - b. Which is smaller: j or f?
j
Let v = 0 - -6. Let r(w) = -w**3 - 11*w**2 + 2*w - 115. Let t be r(-12). Is t <= v?
True
Let b(a) be the second derivative of a**4/12 + 2*a**3 - 6*a**2 + 11*a. Let v be b(-12). Which is smaller: -11 or v?
v
Let i be (-36)/(-21)*(-7)/(-2). Let x = 16 + i. Let u be (14/21)/(x/(-6)). Which is smaller: 0 or u?
u
Let j be (-114)/209 + (0 - 7060/(-12903)). Is 1 at least j?
True
Suppose 0 = -2*b + 3*w + 2, 6*b + 5*w - 4 = 2*b. Which is greater: 8 or b?
8
Let p be (1/(-1))/((-1)/(-29)). Let y be -1 - p/8 - 3. Is 1 != y?
True
Let i be ((-15)/3)/((-3)/(-6)*-2). Suppose -4*v + i*g - 80 = v, -v - g = 24. Do -20 and v have different values?
False
Let x = -3 - 3. Let o = -14 - x. Let p = o - -7. Which is bigger: -1/2 or p?
-1/2
Let j = -74.6 + 77. Let d = 2.5 - j. Which is smaller: -8 or d?
-8
Let m = -7 - 10. Suppose -1264 = 99*o + 518. Is o less than m?
True
Let a(n) = -12*n + 129. Let m(x) = -x + 10. Let i(l) = -2*a(l) + 27*m(l). Let g be i(9). Let h be g - -13 - (-10)/6. Are -1 and h equal?
False
Suppose 400 = -4*j - 0*j. Suppose 0 = 17*a + 95 + 41. Let o be 3/6 + j/a. Is o smaller than 13?
False
Suppose 5*v + 5*k - 2095 = 0, -7*k + 1671 = 4*v - 2*k. Let i = -8058/19 + v. Which is bigger: i or -1?
i
Let b be ((-68)/102)/(((-8)/(-39))/(-2)). Is b smaller than 1?
False
Let x = 11 + -16. Let r(z) = z + 10. Let c be r(x). Suppose -k = 2*k - 4*o + 14, -5*k = c*o. Do k and 0 have the same value?
False
Let z = 70 - -671. Is z greater than or equal to 742?
False
Let u(c) = 7*c**2 + 4*c - 1. Let j be u(4). Let o be j*(-1 - (-4)/6). Let m = 42 + o. Which is smaller: m or 0.07?
m
Let l = 26 + -15. Let t = -10019/11 + 911. Which is smaller: l or t?
t
Let w = 230 - 210. Are 19 and w non-equal?
True
Let h(j) = j**3 - 4*j**2 + 5*j - 5. Let w be h(4). Suppose -3*a = -0*a - 39. Which is greater: w or a?
w
Let p = 10245066 - 5470868887/534. Let u = p - -41/6. Let v = u - 94/445. Which is bigger: v or 1?
1
Let x = 0.3 - 0.14. Let h = 43 - 43.04. Let i = h + x. Which is bigger: -2 or i?
i
Let r be (175/(-7))/(-1*1). Suppose -3*v + 87 = 3*o - 0*v, 2*v - 6 = 0. Which is greater: o or r?
o
Let w(h) = -15 - 33 + h**2 + 1 + 13*h. Let k be w(-17). Is k > 23?
False
Let s be (-1)/(-2) + 20/(-8). Let z = 65 + -60. Suppose a = b - 2, -5*b + b = z*a + 1. Is a at least as big as s?
True
Let n = -12 - -15. Suppose n*q - 2*a = -76, 3 = 3*q - 4*a + 89. Let f = q + 22. Is f != -1?
True
Let j(m) = m**3 - 6*m**2 - 15*m - 11. Let f be j(8). Which is greater: f or -2?
-2
Let r be (-16)/40 + 15756/(-10). Let m be (-3 - 0) + r/(-588). Let l = -2/147 + m. Are l and 1 equal?
False
Suppose 3*d = -5*p - 1, -2*d + 8*p - 4*p = 8. Let y be (d/(-5))/((-144)/1120). Is y equal to -2?
False
Let v = 11 + -6. Suppose -v*i = -3*i. Let f = -40/3 + 13. Is i less than or equal to f?
False
Let x = -133 - -245. Let w be 4 + (4 - 0/(-3)). Let m be w/4 + x/(-58). Which is smaller: 0 or m?
0
Suppose q = 11 - 2. Do q and 10 have the same value?
False
Let c be 44/23 + 0 + -2. Let z = 9.9 - 10. Is c equal to z?
False
Let f = -500 + 501. Is f at most as big as -77?
False
Let q = -1 - -8. Suppose -q*f + 8 = f. Is f not equal to -9?
True
Let q be (-208)/128 - (-2)/1. Is q > 3?
False
Let r = -1 + 3. Let q = -0.62 + 0.6. Let i = 0.18 - q. Is r equal to i?
False
Suppose 96 = -t + 4*h, -4*t + 4*h = -0*t + 336. Let z(a) = 6*a - 19. Let w be z(-10). Is w >= t?
True
Let t = -574 - -573. Which is greater: t or 6/1675?
6/1675
Let t = 55 + -51. Let f be 4 + -8 + (t - 2). Which is smaller: f or 5?
f
Suppose -2*g - 12 = -3*j - 3, -4*g = 5*j - 37. Suppose 0 = j*o - 6 + 1. Which is smaller: -1/91 or o?
-1/91
Suppose 5*n - 25 = 0, -2*t + 0*n - 66 = -4*n. Let b = t - -10. Is b less than or equal to -2?
True
Suppose d = -1, 2*s + 2*d - 31 = d. Suppose 0 = i - s - 0. Which is bigger: 15 or i?
i
Let f = -2822 + 2824.731. Let h = f - 0.031. Let n = -1.7 + h. Which is smaller: n or 2/11?
2/11
Let x = -9 - 4. Let s = 12 - 23. Which is bigger: s or x?
s
Suppose 5*o + 11*c = 6*c + 1280, 3*o + c - 774 = 0. Is 259 at most as big as o?
True
Let s = -4.445 - -0.045. Let m = -4.3 - s. Is 1/8 at least m?
True
Let p = -23 - -33. Suppose 5*m = -3*o + 86, -11 = -m + 5*o - 5. Let x = m - 5. Is x less than p?
False
Suppose 2*c = 5*b - 23, -4*c - 1 + 5 = 0. Suppose -4*g - 2*l = 16, -4*l - 25 = b*g - 2. Let y be -4 - (9 - -3)/g. Which is smaller: y or 2/17?
y
Let q be 352/33 + -10 - (-895)/(-1311). Is 0 at least q?
True
Let k(w) = w**2 + 3*w. Let p be k(-4). Suppose -3*q + 20 = -p*n, q - 4 - 2 = n. Which is bigger: q or 1/6?
q
Suppose 0 = -5*n + 11*n. Which is smaller: n or 27/19?
n
Suppose -t = -3*t + 4. Let x = 2 - -1. Which is smaller: x or t?
t
Suppose -12*a - d = -7*a + 8906, 0 = 2*a + 3*d + 3552. Is -1783 greater than a?
False
Let c be 4*6*(-35)/(-60). Suppose 43 = 3*v - 5*h, -52 = -3*v - 6*h + 2*h. Which is bigger: c or v?
v
Let h(j) = 3*j**2 - 12*j + 9. Let d be h(3). Is d > 1/66?
False
Suppose 0 = 3*t + l + 160, 0 = -5*t - 4*l - 174 - 88. Let w be ((-6)/(-18))/((-1)/t). Let p be w/(-10)*5/(-4). Is p bigger than 1?
True
Let p = 55 - 24. Let j = p - 25. Are j and 6 nonequal?
False
Let o be 9/3 + 249/(-63). Is -2 != o?
True
Let v be (-3 - -15 - 2)*(-6)/5. Let n = 15 + -9. Suppose n = 2*o + 32. Is o less than or equal to v?
True
Let i(b) = -b**3 + 6*b**2 - 4*b - 3. Let p = -25 + 30. Let n be i(p). Suppose y = -2*m - y, -n*m = -2*y. Are m and 3 non-equal?
True
Let t be (-1)/(-3) - (-29)/3. Suppose a - 7 = -4*m + t, 4*m - 8 = -4*a. Let q(n) = -5*n**3 + 2*n**2 - 1. Let z be q(1). Is z >= a?
False
Suppose 159 = 3*m - 303. Which is greater: m or 152?
m
Let l be (6/4)/((-3)/42). Let v(x) = -4*x**2 - 2*x. Let a be v(2). Which is smaller: l or a?
l
Suppose 4*h = 17 - 1. Suppose h*o + 3*w + 16 - 55 = 0, 47 = 5*o + 2*w. Let t = o - 8. Is t less than or equal to 1/10?
False
Let j(k) = k**2 + 6*k + 3. Let d be (22/33)/((-4)/18). Let y be j(d). Does y = -5?
False
Suppose -7*j + 8*j + 206 = 0. Let n be (-8)/j*(-4)/8. Which is bigger: 1 or n?
1
Let r(s) = -s**2 + 3*s + 2. Let k be r(-3). Suppose -13 = -50*i - 63. Let b be -5 + k/(-4) + i. Which is smaller: b or -1/2?
b
Let h = 74.814 - -0.186. Let b = h - 75. Are -75 and b equal?
False
Suppose 6*r - 790 = 338. Let g = 3950/21 - r. Suppose 0*n = -n. Is g smaller than n?
False
Let z be 15/(-9)*(1 - 7). Suppose z*i - 5 = 5*i. Let g be (40/(-410))/((-4)/2 - -4). Is i > g?
True
Let r be (((-928)/(-48))/(-29))/(4/6). Is r at most 2/273?
True
Let o = 1.594 - -0.406. Which is smaller: 1/52 or o?
1/52
Let u be 0/(3 + (4 - 8)). Suppose u = -2*b - b - 45. Let w = b - -18. Is w greater than or equal to 3?
True
Let p = 177 - 169.84. Let h = 0.06 - -6.94. Let r = h - p. Is -1 >= r?
False
Let l be 2/(121/(-396)*(-3)/(-4)). Is l greater than or equal to -10?
True
Suppose 0*c + c + 48 = 0. Let l = -34 - c. Suppose -2*t = 2*h - l, 0*h = h + 5*t - 23. Which is smaller: 2 or h?
2
Let k = 8 + -6. Is k equal to 1/2?
False
Let v = -511 - -512. Is 1/22 < v?
True
Let v = 4 + -9. Let o be 18/63 + v/(-7). Let l(h) = 3*h - 3. Let s be l(1). Which is bigger: s or o?
o
Let d(p) = p**2 + 5*p + 7. Let w = 17 - 23. Let k be (-5)/2 + 3/w. Let j be d(k). Are j and 0 unequal?
True
Let b be (1104/(-20))/6*-5. Let l be (-1 + 0)*(b/(-42) - -1). Let x be 2 + 1 + -1 + -1. Do l and x have the same value?
False
Suppose 5*y - 10*y + 265 = 0. Let k = y - 54. Which is bigger: k or -1/3?
-1/3
Suppose -96 = -4*h - 2*w, -2*h - 4*w + 60 = -0*h. Let j be (h/3 + -6)*33/2. Suppose 2*x - 46 = -2*g - 6, 4*g + x = 83. Which is greater: j or g?
j
Let p be (-6)/(-2)*(-210)/45. Let g = p + 16. Which is bigger: 5 or g?
5
Let r = 10 + -25. Let y = -1.8 - -6.8. Let l = y + r. Which is smaller: 0.1 or l?
l
Suppose 2*k + 3*k - 5 = 0. Let n be (-1)/1 - (4 - k). Which is smaller: -3 or n?
n
Let z = -33233/30 + 1108. Is 1 at least as big as z?
True
Suppose 81 = -12*q - 651. Is q less than or equal to -119/2?
True
Let x = -692 - -693. Is 1/2 less than or equal to x?
True
Let d = 994 - 995. Which is smaller: d or -7/37?
d
Let n = -311 - -155. Is n greater than 0?
False
Let y = 0.1486 - -3.8514. Is 0.13 bigger than y?
False
Let j be 2 - (-88)/(-30) - (-8)/6. Which is smaller: