uppose 4*n = -2*c + 28, 0*c + 2 = -c. Suppose -4*k = -n*k. Which is bigger: 3/26 or k?
3/26
Let d = -119653/54846 - 1/4986. Let o = -868 + 867. Which is greater: o or d?
o
Let y = -57949 + 230289/4. Let a = -375 - y. Let i = a + -2. Is i at least -2?
True
Let g be 26*(-1)/(-2)*(22 - 23). Is g equal to 1?
False
Let w = -124 + 138.4. Let m = w + -15. Let g = 0.48 + m. Are -1 and g unequal?
True
Let l be (2 + (-8)/6)*-375. Let u be (-3)/(-1) + l/90. Is 1/4 >= u?
True
Let s = -7217 - -7220. Let a(y) = y - 3. Let z be a(4). Let v = 0 + z. Which is greater: v or s?
s
Suppose -3 = 2*b - 1. Are b and 3 nonequal?
True
Let g = -196 - -1766/9. Suppose 4*q - 15 = 3*u, 2*u + 15 = -u + 5*q. Let m(z) = -z**2 - 4*z + 5. Let d be m(u). Is d smaller than g?
True
Let h(l) = 4*l**3 - 4*l + 4. Let a be h(2). Let s(v) = -4*v + 110. Let i be s(a). Let q(m) = -m**2 + 5*m - 5. Let p be q(4). Which is smaller: i or p?
i
Let c be (3 + -1)*6/(-60). Let n(m) = m**2 - m + 1. Let j be n(2). Suppose 3*p + 3*f - 4 - 8 = 0, -5*p + 12 = j*f. Is c at most p?
True
Suppose 32 = -6*x + 8. Let c be 2/(-8) + (3 - (-207)/x). Which is bigger: -48 or c?
-48
Let u be (112/49)/(60/18). Does 0 = u?
False
Suppose 0 = 4*r + d - 2*d - 19, 5*d = -4*r + 1. Let o be ((-8)/1936)/(7/r + -2). Which is smaller: 0 or o?
0
Let g(i) = i - 7. Let f be g(11). Suppose 4*j = -4*l + 40, 3*j = 2*l + 8 - 3. Suppose -c + l*c = -f. Which is smaller: -4 or c?
-4
Let y(a) = 8*a + 34. Let l be y(-4). Suppose -4*s = 4*z - 0*s - 4, -3*s - 17 = -2*z. Suppose -h + 20 = z*h. Is h equal to l?
False
Let f = 799 - 835. Which is smaller: -34 or f?
f
Suppose 4*y - 182 - 98 = 5*a, 25 = -5*y. Let r be 75/90 - (-106)/a. Is -2/5 < r?
False
Let i = 0.18 - 0.16. Let s = i + -9.32. Let y = -2.3 - s. Which is greater: 2/3 or y?
y
Let q = -45 + 47. Suppose -d - 11 = 3*o + 3*d, -2*o + q*d - 12 = 0. Which is smaller: -9/2 or o?
o
Let o be (4 - 3)/(4/(-20)). Let n(w) = -5*w + 4. Let x be n(o). Are 27 and x nonequal?
True
Let k be 10263/(-51651)*(31/(-15) - -2). Let j = k + 3/1913. Is 1 at most as big as j?
False
Let w be (22 + -6)*(-2)/(-4). Is w less than 13?
True
Let m be (558/8)/1 - 3/(-12). Let y = 72 - m. Are 3 and y equal?
False
Let c be ((-63)/(-1596))/((-2)/(-72)). Which is bigger: 0 or c?
c
Suppose 0 = 4*x - 15*x. Let u be (-1 - 273/(-279))/(4/6). Which is smaller: x or u?
u
Let p = -7 + 4. Suppose 3 = 3*f, 2*u + 418*f = 413*f - 3. Which is smaller: p or u?
u
Let g = -343 - -674. Let w = g + -2011/6. Which is smaller: w or -4?
w
Let i = 420 + 379. Does i = 800?
False
Suppose 0 = -336*r + 337*r + 3. Which is smaller: r or 18?
r
Let b = -136 + 137. Which is smaller: b or -2/193?
-2/193
Suppose -2*l - 3*v + 1 - 5 = 0, -5*l - v + 3 = 0. Suppose p = -0*p - l. Let y be (p/7*4)/2. Do 1 and y have the same value?
False
Let q = 36 - 30. Let i be (-7)/q - (-5)/10. Is i greater than 3?
False
Let f be 238/(-5) - 11 - (-2)/(-5). Do -60 and f have the same value?
False
Let g = 11 - 16. Let k be 2/g - (-14)/10. Which is bigger: k or -1?
k
Let i = -4 - -16. Let f = i - 8. Which is bigger: -2/7 or f?
f
Let l(o) = 174*o + 4. Let h(p) = 87*p + 2. Let m(q) = 13*h(q) - 6*l(q). Let k be m(-1). Does -84 = k?
False
Let c = 703 + -606. Which is smaller: c or 98?
c
Let t = 205/96 + 1/32. Suppose 77*j = 82*j - 25. Let y be j + 4*(-3 - -2). Is y != t?
True
Let v = 0.02 + 3.98. Let b = v + -8. Is 0.1 greater than b?
True
Suppose -k - 4*x + 2*x = -15, k - 4*x = -9. Suppose -1 = 2*l + k. Is -2 < l?
False
Let q = 301 + -278. Which is smaller: q or 143/6?
q
Let l = -5 + 4. Let x be 358/270 + 35/(-25). Is l bigger than x?
False
Suppose -3*w + 12 = -3*z, -2*w - w + 2 = 2*z. Suppose 4*m + 0*m + 10 = 3*r, -w*r + 8 = -4*m. Suppose r*c + 8 = -2*c. Is c not equal to -8?
True
Let t(q) = -10*q**3 - 7 + 26*q**3 - 17*q**3 - 5*q**2 - 3*q. Let o be t(-5). Suppose 0 = -o*x + 7*x + 7. Is x bigger than 7?
False
Let k = 2064 + -2062. Is 4/55 <= k?
True
Let l(b) = -3*b**3 - 2*b + 1. Let j be l(1). Let h be (-6)/(-2)*3/(-9). Which is greater: j or h?
h
Let m = -1 + 12. Let o = 0 + 2. Let b be -1*(m + -3 + o). Is -11 smaller than b?
True
Let w = -1609873/332 - -4849. Which is bigger: -1 or w?
w
Suppose 7 = -j - j + 3*q, 4*j - 2*q = -2. Let v = 1664 + -31620/19. Which is smaller: v or j?
v
Let y = 0.24 + -0.04. Let r = -155 + 158.98. Let k = r + 0.02. Is y smaller than k?
True
Suppose 7*j + 10 = 38. Let o be (1*(-1)/3)/(j/(-12)). Does -4 = o?
False
Let b be 18/16 + (-30)/80. Are 36 and b equal?
False
Let m = -25 + 10. Suppose -3*l - 19 - 20 = 0. Let v = m - l. Which is bigger: v or -12/5?
v
Let o = -143 - -140. Suppose -5*c = 13 + 2. Let y be 12*(c/6 - 0). Is y <= o?
True
Suppose m + 20 = -3*m, c = -5*m + 72. Suppose -5*s - 98 + 588 = 0. Is s greater than c?
True
Suppose v = -18*v + 475. Which is bigger: 26 or v?
26
Let d = 4/11 - 21/88. Suppose 0*u = u. Let j be -1 + (2 - (1 + u)). Do d and j have the same value?
False
Let a = -440 + 925/2. Is a smaller than 22?
False
Let z = 107 + -116. Suppose g = 4*g - 4*x + 33, -2*g - 5*x + 1 = 0. Which is greater: z or g?
g
Suppose -2*u + 5 = f + 2, -5*u - f = 0. Let r = -556/165 + 2/55. Which is smaller: r or u?
r
Let k(y) = 10*y - 10. Let z be k(1). Suppose -40*j + 35*j - 15 = z. Which is greater: j or -34/11?
j
Suppose -16*u = 4*o - 15*u + 2, 6 = -4*o + u. Which is greater: o or -1/1302?
-1/1302
Let z = -12 + 64. Is 52 greater than z?
False
Let y = 179 - 1971/11. Let q be (-16 - -3) + 2 - -2. Let d = q - -9. Which is smaller: y or d?
y
Let c be (-330)/(-66)*(-1)/(-15)*2. Which is smaller: 4/9 or c?
4/9
Let z be (-84)/(-63)*(-3)/(-2). Suppose 2*h - 46 = z*i, 4*h + 111 = -5*i + 7*h. Which is greater: i or 0?
0
Suppose -6*f - 92 = 5*a - 2*f, 5*f - 65 = 5*a. Let h(y) = -4*y - 1. Let g = -8 - -12. Let l be h(g). Which is bigger: a or l?
a
Let r = -10 + 10. Let q = -4.4 + 4.5. Is q < r?
False
Let o = 425 + -428.12. Are -1 and o non-equal?
True
Let d(y) = -2*y**2 - 4*y + 42. Let u be d(5). Which is bigger: u or -27?
-27
Suppose y = -y + 8. Suppose -k - 191 = y*f, -2*f + 3*k - 6*k = 103. Is f at least as big as -47?
True
Let r(a) = a**3 - 3*a**2 - 7*a - 7. Let g be r(6). Let d = g - 58. Which is bigger: -1/23 or d?
d
Let u be -4*-3*5/15. Let w = 3 - u. Which is smaller: w or -1/37?
w
Let q be 0/((-2)/(-2) - 2). Suppose 59 = -5*l + n, -l + 3*n - 23 = -q*n. Are -12 and l equal?
False
Let v(u) = 3*u. Let g be v(-1). Let d be 3/(-12) - (g + (-3)/(-12)). Let s(q) = q**2 + q - 2. Let i be s(-3). Is d equal to i?
False
Let z = -970 - -969.8. Is -40 less than or equal to z?
True
Let i = 4.3 + -26.3. Let r = 31 + i. Is 0.1 greater than r?
False
Let o = 2287/5 - 457. Is 59 at most as big as o?
False
Let j = -0.074 + 0.046. Let c = 0.128 + j. Is c not equal to -1/79?
True
Let f be (-5 - (-871)/26)/((-2)/4). Which is smaller: -58 or f?
-58
Let p = -1.68 - -1.58. Is p less than or equal to 14?
True
Let i = -432 + 422.44. Let s = i - -0.06. Let o = 1.5 + s. Is 0.1 smaller than o?
False
Let k be (-6)/22 + 944/(-1298). Let m = 23543/59 + -399. Is k at least as big as m?
False
Let f = -22.1 + 21.9. Which is smaller: f or 83?
f
Let q(j) = j + 14. Suppose 2*l - 45 = 5*y, 2*y + 5*l = 4*l - 18. Let t be q(y). Suppose 2*g - m = 5, -t*g - m - 3*m - 7 = 0. Do g and -1/8 have the same value?
False
Let k(g) = 2*g**2 + 50*g + 48. Let q be k(-24). Which is bigger: q or -6?
q
Let l = 1960 - 2258.9. Let d = l - -313. Let v = d + -14. Which is greater: -0.4 or v?
v
Let z(v) = 2*v**2 - 10*v - 3. Suppose -3*t = -17 + 2. Let h be z(t). Which is bigger: -14/9 or h?
-14/9
Suppose 0 = -4*h + 16 - 4. Suppose h*y + 2*y = 0. Let j = 3062/67539 + -4/1437. Which is smaller: y or j?
y
Let m be (-1462)/(-18) + (-6)/81*3. Suppose 0 = -d - 149 + m. Do -67 and d have the same value?
False
Let f(w) = 2*w**3 - 96*w**2 + 96*w - 91. Let n be f(47). Which is smaller: n or 6?
n
Let y = 5.3 - -79.7. Let w = -85 + y. Is -6 equal to w?
False
Let q(p) = -p**3 + 7*p**2 - 5*p - 4. Let z be q(6). Let m(d) = -17 - 2*d**2 - d**2 + z*d**2 + 4*d + 10*d. Let w be m(13). Are w and -4 unequal?
False
Suppose -14*i - 1520 = -30*i. Is 95 <= i?
True
Suppose 5*y - 14 = 16. Let h be y/12*27 - 2/4. Is h at most 15?
True
Suppose -18*k + 574 = -11*k. Let t = 84 - k. Which is smaller: t or 3?
t
Let y = -68 + 62. Let