 = 2*c - 4, 0 = 3*s - 4*c - 9. Which is bigger: 1/26 or s?
1/26
Let p = -13 - -9. Which is smaller: p or 0?
p
Suppose 0 = -v + 5*m + 27, 0*v + 4*m - 77 = -5*v. Which is smaller: 16 or v?
16
Let u be 3 - 7/((-28)/(-8)). Is 2/27 less than u?
True
Let s = -14903/247 - -770/13. Let v be (-5202)/5016 + (-4)/16. Let t = s - v. Which is smaller: 0 or t?
0
Let b = -15 - -16. Is b bigger than 5/11?
True
Let t be 32/(-18) - (-4)/(-18). Let u = -2 - -2. Let c = u - -2. Which is smaller: c or t?
t
Let g = 108 - 40. Which is bigger: g or 69?
69
Let b be (-13)/2 + 3 - -3. Let i = -1.1 - -0.8. Let q = -0.2 - i. Is b < q?
True
Let f = -1 - -1. Let o = -4879/130 + 45/26. Let x = o + 36. Which is greater: x or f?
x
Let l = -457/5 + 91. Suppose -8*n + 5*n = 6. Let b be n/3 - (-8)/30. Is b greater than or equal to l?
True
Let a = -19 + 19. Is 4/5 greater than a?
True
Let r be (32/50)/((-21)/30) - -1. Which is smaller: r or -1?
-1
Let z(y) = -y**3 + 4*y**2 + y - 1. Let q be z(4). Let i be q/6*(-4)/8. Which is bigger: i or 1?
1
Suppose 0 = -g + 3*g - 6. Suppose -2*t + 0*t - g*c = -12, 0 = -2*t + 4*c - 16. Let p be 2 - t - 4/2. Which is greater: 2 or p?
2
Let t(k) = -k**3 - 6*k**2 - 3*k + 4. Suppose 0*x - 5 = x. Let y be t(x). Is -7 less than y?
True
Suppose 8*t = 6*t + 6. Suppose 2*d = 5*k - d - 1, -5*k - t = -d. Is k not equal to -2?
True
Let j = -0.09 + -0.86. Let w = j + -0.05. Let r be 1 + 1 - 10/6. Which is smaller: w or r?
w
Let s(k) = -k + 7. Let v be s(9). Do -2 and v have the same value?
True
Suppose -3*j = j - 5*g - 96, -4*g - 73 = -3*j. Which is greater: j or 20?
20
Let a = -47/12 + 11/3. Suppose 16 = -0*w + 4*w. Which is bigger: w or a?
w
Let i be (1/4)/(-1 + 2). Let v(w) = w + 3. Let c be v(-2). Do i and c have the same value?
False
Suppose 0 = -0*i - 2*i + 10. Suppose 3*t - 14 = 1. Is i != t?
False
Let w = 0.28 - 0.4. Let f = w + 1.52. Let n = 0.4 - f. Which is greater: n or -2?
n
Let a = 7/40 - -17/40. Is 0 at least as big as a?
False
Let c = -0.9 + 0.6. Let o = c - 0.7. Let s be 2/((-4)/(-2)) + 0. Which is smaller: s or o?
o
Let k = -1.1 + 1. Let n = -0.1 - k. Let g = 0.1 + n. Is 2 greater than g?
True
Let o = 0.5 - -3.1. Let n = o - -0.4. Let a = -2 + n. Is 2 > a?
False
Let y = 3/134 + -417/670. Suppose 0 = -2*h - 16 - 0. Let f be (-9)/4 + (-2)/h. Is f smaller than y?
True
Let b = 0.06 + 18.94. Let k = -21 + b. Is 2 equal to k?
False
Suppose 5 = 2*d + 3. Which is smaller: d or 12/5?
d
Let o = -246 + 2216/9. Is o > 1?
False
Let h = -13 + 19. Is 6 < h?
False
Suppose 0 = -5*f + 2*d + 3*d + 35, 0 = -4*f + 2*d + 26. Let g(a) = -a**3 + 7*a**2 - 5*a - 2. Let m be g(f). Suppose 0 = 5*z - m*z + 3. Is z less than -3?
False
Let x(s) be the first derivative of -s**4/4 - 5*s**3/3 + 2*s + 2. Let v be x(-5). Is v bigger than 2?
False
Suppose 0 = -2*k, 2*c - 7*c + 4*k - 5 = 0. Which is smaller: -7/5 or c?
-7/5
Let v = 0 + 6. Suppose w - 1 = v. Is 7 > w?
False
Let c be 1/(-12) - (-4)/(-6). Let b(t) = 6*t**2 + 0*t**3 + 5 + 6*t + t**3 + 0*t. Let j be b(-5). Which is bigger: c or j?
j
Suppose 0*s + 5*s - 1810 = 0. Let q be 0 + -2 + s/168. Let h = q + 2/21. Is 1 >= h?
True
Let d(m) = 2*m + 9. Let g = 13 + -21. Let l be d(g). Let u = l - -9. Which is greater: u or 3?
3
Suppose v - 3*k - 13 = 0, -3*v + 4 + 5 = -3*k. Let a = -2 - v. Let t be (-6)/27 + -3 + 3. Which is greater: a or t?
a
Suppose 2*m + 4 + 14 = 0. Let q be m/6*(-4)/6. Suppose 2*p - q = 3*p. Is p greater than or equal to 0?
False
Let h(v) = -v + 1. Let c(r) = -4*r + 6. Suppose 5*k - 2 = 3. Let y(u) = k*c(u) - 3*h(u). Let w be y(3). Is w at least 1?
False
Let l be -2 - 3/(-6)*-150. Are -78 and l nonequal?
True
Suppose 0 = -5*a - 2 - 8. Let w be (a - -2 - -1)*-1. Is 1/5 at least w?
True
Let s = -0.2 + 0. Let a = -0.2 + 0.2. Let k = a + 0.1. Which is greater: s or k?
k
Let t be (-954)/(-38) - (10 + -9). Let j = 24 - t. Suppose -4*m = m - 5. Is m >= j?
True
Let l be 5/20 - (-3)/(-15). Which is greater: l or -1?
l
Let g be ((-12)/(-10))/(63/(-840)). Is g at least as big as -14?
False
Let x(i) = i**2 - 3*i + 2. Suppose 0*n - 3*n = 3. Let z(s) = 5*s**2 - 1. Let a be z(n). Let u be x(a). Is u > -1?
True
Let x(u) = 3*u**2 + 6*u - 4. Let l(q) = -q**2 - 2*q + 1. Let c be 4/10 + (-99)/(-15). Let h(v) = c*l(v) + 2*x(v). Let s be h(-2). Which is bigger: 0 or s?
0
Let d be (4/18)/(36/(-171)). Let r = 5/9 + d. Which is bigger: r or 0?
0
Suppose -w = 2*w - 0*w. Let d = -4/53 + 187/371. Is w at least d?
False
Let c(b) = -b**2 - 10*b - 1. Let q be c(-7). Suppose 4*u + u = z - q, 8 = -2*u. Is z equal to 1/3?
False
Let v = -4 + 6. Let g be (170 + -3)*2/(-8). Let r = g - -42. Is v != r?
True
Let j be 2/4*-2*-4. Let h(b) = b + 1. Let c be h(3). Are c and j unequal?
False
Let k be (-1)/(-16) - (1 - 1). Suppose 0 = 3*r - 14*r - 2*r. Which is smaller: k or r?
r
Let z(f) = -6*f**3 - 2*f**2 + f. Suppose 2*g - 2*b = 2, -1 - 4 = -5*g + b. Let r be z(g). Which is smaller: -6 or r?
r
Suppose 5*n - 4*z + 46 = 0, -3*z + 0 - 13 = n. Let c be (n/15)/((-2)/3). Let y = -5503/15 - -367. Which is smaller: c or y?
y
Let x = 0.15 + 2.85. Let d = x + -10. Do -1/3 and d have different values?
True
Suppose 3 = -5*a - 12. Let m = -3 - -4. Let j be (8/6)/(m/(-3)). Which is bigger: j or a?
a
Suppose -2*r + 4 = -r. Let a be r/(-6) - 102/9. Are -11 and a nonequal?
True
Let w = 13 - 11. Let k = -3.7 + 3.3. Which is smaller: k or w?
k
Let j = 0.067 + 0.033. Let c = 2 + 0. Let w be -1 + -1 + c/4. Are j and w non-equal?
True
Suppose 0*o - 5*v = -2*o - 17, 0 = -3*o + 2*v - 9. Let i be (-8)/2*1/66. Are o and i non-equal?
True
Suppose 0 = 3*f - 5*f. Let k be 2/(-4)*-2 - -1. Suppose f = k*l + l. Which is bigger: 0.1 or l?
0.1
Let q = 0.06 - -5.94. Let c = q - 5. Is c > -13?
True
Let j = 42 - 26. Suppose -5*q - 2*u + j = 0, -5*q + 4 = 3*u - 10. Is q smaller than 4?
False
Let y = 41.1 - 41. Is y >= -0.7?
True
Let y(q) = -2*q - 10. Let g be y(-7). Suppose 3*f - 2*w = -12, 7*f + g*w + 12 = 4*f. Which is smaller: f or 0?
f
Suppose -80 = y + 4*y. Let v be y - (-3 + -2 + 3). Which is smaller: v or -13?
v
Suppose -6 - 6 = -3*j. Let p be (-2 - (-21)/10)*j. Let h(l) = -l + 9. Let m be h(9). Is p not equal to m?
True
Suppose -4*o - 13 + 17 = 0. Which is bigger: 2/15 or o?
o
Let b = -34 + 27. Which is smaller: -6 or b?
b
Let i = -41/10965 + -1/85. Is i at least as big as 1?
False
Suppose 0 = 5*x - 8 - 52. Which is bigger: x or 13?
13
Let z = 72 + -61. Which is greater: z or 4?
z
Let y = -8 + 7.7. Let v = -0.5 + 0.7. Which is greater: y or v?
v
Suppose 2*g - r = 2, -3*r = 6 - 0. Is 4/9 equal to g?
False
Suppose z - q = 3, -2*z + 9 - 21 = 4*q. Do z and -2/57 have different values?
True
Let b be (3/(-1) - -3)/(-2). Suppose b = 2*y - y - 2. Which is bigger: 1 or y?
y
Let y = -7 - -12. Suppose -z + y*z = 40. Let w be (-4)/(-7)*(-5)/z. Which is smaller: w or -1?
-1
Let s = -0.44 + 0.5. Let m = s - 0.26. Let a(v) = -v**2 + 4*v + 1. Let o be a(4). Which is smaller: m or o?
m
Let z = -3 - 1. Let p = -1 + 0.7. Let t = -0.4 - p. Which is smaller: t or z?
z
Let m = -0.799 - -0.71. Do m and 1/3 have the same value?
False
Let d(i) = -i**3 + i**2. Let n be d(0). Let l = -10 - -6. Let u be l/6 - (n + 0). Is u smaller than -2?
False
Let p be 3 - 0 - 6/(-3). Suppose -10 = p*q + 2*g - 26, 5*q - 7 = g. Let r be (-13)/(-4) + 8/(-32). Which is smaller: r or q?
q
Let f = 4 + -4. Let d be (-4)/14 - 115/1288. Is f >= d?
True
Suppose 7*i = 4*i + 39. Suppose 1 = 2*t - i. Is 7 > t?
False
Let x = 9 - 11. Let o be x/(-9) - (-8)/45. Is o > -5?
True
Let f be ((-2)/(-20))/((-8)/32). Let i(k) = 3*k - 3. Let m be i(2). Suppose m = -3*o - 0. Is f >= o?
True
Let f = 1965707/6044220 + 5/92988. Let t = -2099/12040 - -1/344. Let n = t + f. Do -1 and n have the same value?
False
Let r(l) = -7*l + 1. Let g be r(3). Let w be 12/g + (-17)/(-20). Let f be (-2 - -1 - -1)/1. Which is smaller: w or f?
f
Let a = 672 - 3348/5. Let p be 4/(-6) - (-8)/3. Is p smaller than a?
True
Let c be 1660/18 + 0 - 1. Let o = 91 - c. Which is smaller: o or -1?
-1
Let z(s) = -s. Let q be z(0). Let r be (-2 - -3) + (q - 2). Suppose -i - i + 8 = -2*g, -5*i = 5*g + 10. Is r < i?
True
Let u = -24 - -14. Let t be (-8)/u - (-1)/5. Is 9/7 at most t?
False
Let n(x) = -x**2 + 5*x + 10. Let w be n(5). Which is greater: w or 9?
w
Let q = -3.7 - -1