 = -3*p - 29. Let h be n(-6). Which is greater: -10 or h?
-10
Let t = -2 + 5. Let c = -2 + t. Suppose 16*b = 18*b. Are b and c non-equal?
True
Suppose 33 = 5*l - 37. Suppose -3*u = l + 10. Is -1 bigger than u?
True
Suppose -m + 1 = -2. Let s = -2 + m. Let q = 0 - s. Which is smaller: q or -2?
-2
Let m = 2.11 + -0.11. Is 2/5 < m?
True
Let b = -1777/4 - -367847/828. Let t = 140/207 - b. Which is bigger: 1 or t?
1
Let i = -6.22 - -4.1. Let n = i - -0.12. Let k = -1 - 1. Is k greater than n?
False
Let t be (5 - 9)/(-1*3). Suppose -1 = a - l, 3*l = 2*a - 0*l + 4. Is a not equal to t?
True
Let m be ((-3)/2)/((-26)/4). Is m equal to -1?
False
Let i = 6.13 - 0.03. Let d = i + -6. Let s = 7 - 7.3. Is d >= s?
True
Let p(a) = -a**2 - 8*a + 2. Let m be p(-9). Is m equal to -8?
False
Let b = 44.6 - 31.5. Let w = -13 + b. Let v = 367 + -3299/9. Which is smaller: w or v?
w
Let l = 0.52 - 1.52. Which is bigger: l or -47?
l
Let s = 7.7 - 7. Is 2/9 at most s?
True
Suppose 4*f - 76 = -4*v - 8, 8 = 4*f. Which is greater: 0.04 or v?
v
Suppose -i + 5*i - 8 = 0. Let s be (3/i)/(2/4). Let r = -4 + 7. Are s and r non-equal?
False
Let z = 13 - 8. Let c(m) = -m + 5. Let w be c(z). Let o be 1 + w - (-6)/(-3). Is -2 at least as big as o?
False
Suppose 4*f - 7 = -5*u, -8 = 2*u - 0*f - 2*f. Is -2/11 < u?
False
Let q be (-1 - 0) + (5 - 2). Let b = 1559/32800 + 1/800. Let h = b - -119/82. Which is bigger: h or q?
q
Let o = -16.5 - -16. Which is greater: o or 8?
8
Let a = 293/5 - 58. Suppose -5*i + 7 = -j, 4*i + i + 3*j = -1. Which is smaller: a or i?
a
Suppose -4 = -3*p + 2*p. Let m be 15/10 - 38/p. Which is smaller: m or -9?
-9
Let p(u) = u**3 - 7*u**2 + 7*u - 3. Let x be p(6). Suppose 2*g + 1 = x. Is g < 2/11?
False
Suppose -13 = -5*v - 3. Let z = 0 - v. Let o = -2 - -2. Are z and o equal?
False
Let c be ((-2)/6)/(4/(-72)). Let b(h) = h + 13. Let t be b(-10). Suppose 0 = -t*f - c - 0. Which is smaller: f or -2/3?
f
Let s be 19/(-2) - (-7)/(-14). Let o = -13 - s. Is o > 0?
False
Suppose 0 = 3*d + 2*k + 9 - 1, 16 = 5*d - 4*k. Let h(b) = b**3 - b**2 + 1. Let f be h(d). Which is greater: f or -2?
f
Let n = -4 + 30. Suppose 14 = 5*x - n. Which is smaller: 0 or x?
0
Suppose 0*t = -4*t. Let v = 6 + -5. Is v >= t?
True
Suppose 14*p - 45 = 5*p. Is p equal to 5?
True
Let i = 123 + -124. Which is smaller: 12/37 or i?
i
Let o = -81 - -83. Do 2 and o have the same value?
True
Let t = -26 - -25. Let x be 2/(-9)*3/(-2). Is x smaller than t?
False
Let g = 6.03 - 0.03. Is g > 2?
True
Let u = 42 + -44. Is 2/11 != u?
True
Suppose -8*v = -27*v - 2356. Which is smaller: v or -123?
v
Let c = 5.5 + -5. Let n = -0.07 - 0.03. Is c smaller than n?
False
Let b be 0*(1/(-1) + 2). Let m = b - 3. Let p = 4 - 3. Are p and m non-equal?
True
Let b = -16 + 15.94. Let w = -0.56 - b. Which is greater: w or -1?
w
Suppose -23*v = -19*v. Is v less than or equal to -0.3?
False
Suppose 10*w + 12 = 2. Suppose 0 = -u + 2*u. Which is bigger: u or w?
u
Suppose 2*d + 6 + 2 = 0. Let x be (-1)/((-2)/12*-2). Let i = d - x. Which is greater: i or 2/5?
2/5
Let u = 5 - -4. Suppose -5*a + 5 = -r + 10, 3*a - u = 3*r. Let g be a/(-11) - (-6)/(-33). Which is smaller: g or 0.03?
g
Let o = -99 + 96.9. Which is smaller: -1 or o?
o
Let x = -29 + 16. Let g = x - -22. Let i be (2 + -6)*g/(-12). Which is bigger: 5 or i?
5
Let z = 9 - 7. Let p be 2/4*5/z. Is p > 0?
True
Let c = 5 + -4.8. Let l = -4.3 + 0.3. Let u = l + 5. Which is smaller: u or c?
c
Let x be (-3)/6*8/3. Let h be (0/(0 + 1))/2. Suppose 6*v = 3*v + 5*t - 11, h = 2*v + 5*t - 1. Is v >= x?
False
Let r be ((-4)/(-3))/(8/(-12)). Is r less than 2?
True
Suppose 3*v + 0*v - 3 = 0. Suppose v + 1 = -b, -m - 5*b = 10. Let f = -0.3 + 0. Which is smaller: f or m?
f
Let x = 4 + -4. Is x at most as big as 4?
True
Let g = 4.3 + -4. Which is smaller: -0.2 or g?
-0.2
Let l = -0.021 - 0.029. Is l at least as big as 0.2?
False
Suppose 2*t - 7*t = -30. Let q be -2 - (-1)/2*t. Let p be (-2)/7 - (-29)/28. Which is smaller: p or q?
p
Let g = 205/112 - -21/16. Which is greater: 4 or g?
4
Let u = -0.35 - -1.35. Do -21 and u have the same value?
False
Let i(x) = -2*x - 9. Let m be i(-7). Suppose 3*l = 4*h + m*l - 18, l - 15 = -4*h. Which is bigger: 0.1 or h?
h
Suppose 5*k + 3*o + 12 - 49 = 0, -14 = -2*k - o. Suppose -2*w = 2*i - k*w - 8, w = 2*i - 4. Let t = 3236/11 + -294. Which is smaller: i or t?
t
Let r = 0 + 0. Suppose 6 + 4 = 2*k. Suppose -k*y + 20 = 5. Is y >= r?
True
Suppose -5 + 17 = 3*l. Which is greater: l or 3?
l
Let w(j) = -6*j + j - 3*j**2 + 3*j**2 - 3 - j**2. Let m be w(-4). Let s be (m - -2)/(1 - 0). Which is smaller: 2 or s?
2
Let x = -4.62 - -0.72. Let h = x + 4. Is h at most as big as 0.1?
True
Let t be 1/(-5) - (-4)/(-5). Let s = 36 - 50. Let d be (-8)/s + (-8)/28. Is t != d?
True
Suppose 0 = n + v - 5, 9*v - 4*v + 5 = n. Let c(y) = 3*y - 6. Let u be c(4). Does n = u?
False
Suppose -22*k + 26*k = -48. Which is smaller: -13 or k?
-13
Suppose -2*j + 4*p + 2 = 0, -2*j - 4*p = -3*j + 1. Which is greater: j or 1/23?
j
Let c(d) = -d**3 - 4*d**2 - 3*d. Let b be c(-2). Let v be b/11 - (-84)/(-22). Do v and -5 have different values?
True
Let c = 85 - 86. Is -2/401 less than c?
False
Let n be ((-36)/3)/3 + 10. Which is smaller: 3 or n?
3
Suppose -d = 2*d + 6. Let n be d*(0 - 1) - -2. Suppose 11 = 4*i - 6*r + r, 5*i + n*r + 17 = 0. Which is bigger: -2 or i?
i
Suppose 16*m = 14*m + 8. Let a = 2 - -1. Are m and a nonequal?
True
Let n = 0.03 - 1.03. Which is bigger: 10 or n?
10
Let f be (24/(-20))/((-3)/35). Is f not equal to 12?
True
Let m(v) = -v - 4. Let d be m(-9). Suppose 6*t = 7*t - 6. Which is smaller: d or t?
d
Suppose s = -2*h + 6, 0 = 5*h + 2*s - 16 + 2. Let a(r) = 5 - h*r + 0*r**2 - r**2 - r - 2. Let g be a(-3). Is 3 at least g?
True
Suppose 5*a = 3*q - 8*q - 90, 69 = -4*a - q. Let l = 14 + a. Is 0 greater than or equal to l?
True
Suppose -3*i - p - 4 = -6*i, -2*i - 4*p - 16 = 0. Suppose 3*q + 15 + 0 = 0. Let u = q - -3. Which is smaller: u or i?
u
Suppose 7*v + 5 = 2*v. Let i be (v + 2)/(-8 + 7). Which is smaller: 1/5 or i?
i
Suppose -2*m - 14 = -4*j, -3 = -5*j + 4*m + 10. Suppose 0 = 4*u - 3 - j. Suppose r = -r + u. Which is bigger: -0.3 or r?
r
Let h(v) = -v - 10. Let c be h(-9). Which is smaller: c or 16?
c
Let a = 40 + -26.9. Let q = a + -13. Which is smaller: q or 0.6?
q
Suppose -o + 2 = -3*r - 5, -o + 1 = -r. Let s be (-2 - -1) + (-2)/1. Is r at most s?
True
Let p be ((-212)/30)/(32/(-42)). Let i = 47/5 - p. Which is smaller: 1/3 or i?
i
Let i = -37/3 - -12. Which is bigger: 0 or i?
0
Let r(b) = -b**2 - 3*b + 1. Let w be r(-3). Let a be 0 - w - (0 + -1). Let g be (-4)/12 + (-2)/(-2). Is a >= g?
False
Let t = 2 - 3. Let i = t + 3. Let f = 3 + -2. Which is smaller: i or f?
f
Suppose -5*z = -3*t + 8 + 2, 0 = z - 2*t + 2. Let n be (-124)/60 - 6/(-15). Are n and z unequal?
True
Let v be ((-18)/(-21) + 0)*28. Let j = v + -70/3. Is j < 1?
True
Let w = -2.6 + 2.5. Which is greater: -0.4 or w?
w
Let i(f) = -f**2 + 8*f + 1. Let l be i(8). Let y = -1384/28509 - 2/731. Let m = -32/117 - y. Which is greater: m or l?
l
Let v = 28 - 27. Which is smaller: 17 or v?
v
Let l = 63905/51 + -1253. Which is smaller: -1 or l?
-1
Suppose -12 = -j + 5*j. Let a be (-5 - -3) + (-2 - -4). Suppose -4*p + p - 6 = a. Which is smaller: j or p?
j
Suppose 2*p - 6*p = 0. Let l be 0 - (p + (-8)/22). Suppose -15 = 5*g + 5*q, -13*g - 22 = -15*g + 5*q. Which is bigger: l or g?
g
Let h(z) = -4*z - 41. Let q be h(-17). Is q less than 27?
False
Let v = -4 + 6. Suppose -2*g - 4 = -v. Does g = -1?
True
Let g be (11 - 8)/(16/(-10)). Suppose -16*x = 15 + 33. Which is smaller: x or g?
x
Suppose 0 = -2*r - 5*k - 16, 2*r + 2*k = k. Let m be 4*(-1)/(-4)*r. Which is bigger: m or -2/7?
m
Suppose -2*d = n, 4*n - 8 + 2 = -2*d. Let y = 3 - 1. Let k = -1 + y. Which is smaller: k or d?
d
Let u(l) = 23*l + 4. Let x be u(-4). Let f be (-4)/6 - x/6. Suppose i + 3*y - 4 = -f, 0 = -i + 2*y. Which is greater: i or -3?
-3
Suppose 4*j + 1 = -7. Let i be 4/j*(-9)/(-18). Which is smaller: 4 or i?
i
Let j be (-1)/2 + (-94)/12. Which is smaller: j or -8?
j
Suppose -5*x + i = 43 + 20, -4*x - i = 45. Which is smaller: -13 or x?
-13
Suppose -3*s - 2*y = -16, 3*s = -y - 3*y + 20. Which is smaller: 0.2 or s?
0.2
Suppose -5*l = -3*b - 17, -6*l