*z = 8, 5*z = 5*r. Is t bigger than r?
False
Suppose 4*n + 7 + 18 = 5*k, 2*n + 10 = 0. Which is greater: 1/15 or k?
k
Suppose 2*i - 5*w = -0*i + 12, 0 = -3*i - 2*w + 18. Suppose 3*d + i = d. Which is smaller: d or -1?
d
Let p be (1 - 2)*(0 - -1). Let t be 1 + p + 1 - 4. Let k(x) = x**3 + 4*x**2 + 4*x + 3. Let q be k(t). Is q less than or equal to -1/4?
False
Let a be (-1)/(-4) - (-262)/(-144). Let d = 1/379 + 4918/3411. Let s = d + a. Which is smaller: s or 1?
s
Let n be (-3 - -1)*(-2 - 0). Let s = -5 + n. Is 2 at most as big as s?
False
Let y = -5 + 13. Is y <= 9?
True
Let a(r) = -3 + 4 + r + 0. Let t(n) = -n**3 + 6*n**2 - 4*n - 9. Let m be t(5). Let q be a(m). Are q and -2 equal?
False
Suppose -3 = 4*q + 5. Let w be (q/(-4))/(1/15). Which is bigger: 7 or w?
w
Let v be 0/1*(0 + -1). Suppose 0 = -2*q + 3*y - 10, -4*q + 2*q - 3*y + 14 = 0. Let t be 18/(-171)*(0 + q). Which is bigger: v or t?
v
Let u = -226 + 1588/7. Which is bigger: u or 2?
2
Let i = 492/29 - 4898/87. Let g = i + 39. Let d = -0.18 - -0.08. Which is smaller: d or g?
g
Let w be ((-99)/(-12) - 0)*-8. Is w > -65?
False
Let w be 424/36 + (-2)/(-9). Let g(s) = s + 4. Let a be g(-2). Suppose 3*j + w = -3*c, 0 = 2*c + a*c + 2*j + 8. Which is greater: 3 or c?
3
Let q(p) = -p**2 - p + 4. Let c be q(-6). Which is bigger: c or -24?
-24
Let v be (-18795)/(-90) - (-2)/3. Let w = v + -214. Which is bigger: -1/3 or w?
-1/3
Suppose -17 = 3*i + 28. Which is bigger: i or 1?
1
Let b = -1 + 2. Let y be 20/24*4 - 3. Which is greater: b or y?
b
Let m = -28/5 + 173/30. Which is greater: m or -0.07?
m
Let v be 1*(-2)/3*(-17)/(-34). Which is greater: 8 or v?
8
Suppose 56 = 3*r - 4*a, 3*a - 44 = -5*r + 30. Are r and 15 unequal?
True
Suppose 5*s = -3*o + 42, o - 23 = -3*s - 3*o. Which is bigger: s or 7?
s
Suppose -5*f - 3*t = -80 - 28, 0 = -2*t - 8. Let p = 457/19 - f. Which is bigger: p or -1?
p
Let c = 0.02 - 0.41. Does -2/7 = c?
False
Let b = 3 - 2. Let c be 1/2 - (b - 1). Let n(d) = d**3 + 5*d**2 + 2. Let i be n(-5). Which is smaller: c or i?
c
Let o be 8/(-8530)*(-15)/(-6). Let s = o - -9393/4265. Is 1 less than or equal to s?
True
Let x = -3 + 4. Let l be (x - 0/3)/1. Is l greater than 1/11?
True
Let t(d) = d**2 - 4*d - 3. Let v(u) = 4*u + 1. Let m be v(1). Let n be t(m). Suppose n*z = -3*z. Does 1/9 = z?
False
Let h = -129 + 212. Let m = h + -583/7. Let v = 4 + -4.4. Is v greater than or equal to m?
False
Let v(s) = s**2 - 3*s + 1. Let y be v(1). Let d = 251/4 + -63. Which is bigger: d or y?
d
Let m(p) = p**3 - 8*p**2 - 11*p + 10. Let d be m(9). Is d > -4?
False
Let b = -405/136 - -40/17. Let v = -23/24 - b. Which is bigger: 3/2 or v?
3/2
Let p be -10*3/(-7)*7. Let y be -5*(8/5)/(-2). Let o be 3 - y/p - 3. Is o at most -1?
False
Let o be 2/4 - 11/(-2). Suppose -r = -o*r + 20. Suppose 3*y + 3*q = 5*q - r, y - 16 = 5*q. Is y not equal to -3?
True
Let h(p) = -p**3 + 8*p**2 + p - 9. Suppose 4*u - 13 = 19. Let x be h(u). Which is greater: x or 2/9?
2/9
Let k be 33/9 - 1/(-3). Let n = 31 + -28. Which is greater: n or k?
k
Let v = -29 + 20. Which is smaller: -10 or v?
-10
Suppose 72 = 4*a + 16. Which is smaller: 10 or a?
10
Let l = -15 + 16. Is l >= -3/8?
True
Let f(d) = d**3 - 6*d**2 + 5*d + 9. Let i be f(5). Let s(x) = x**2 - 3*x + 5. Let t be s(4). Is t at most i?
True
Suppose -q + 2 = -2. Suppose y - m + 2*m = 5, -3*m - 12 = 0. Let p be y/6 - (-1)/2. Are p and q equal?
False
Suppose 0 = -3*b, -4*s = 7*b - 2*b. Is -0.2 less than s?
True
Suppose 5*i - 5*x - 3 = 7, -8 = -2*i + 4*x. Which is smaller: 2/43 or i?
i
Let y(r) = -7*r - 1. Let j be y(1). Let f(z) = z**3 + 3*z**2 - 8. Let p be f(-3). Let q = j - p. Are q and 0 non-equal?
False
Let l = 19 + -18.9. Which is greater: l or -9?
l
Let k = -46 - -28.8. Let o = 17 + k. Which is smaller: 0.01 or o?
o
Suppose 0 = -5*j + j - 5*y + 16, -j + 3*y - 13 = 0. Let p = -1/6 + -1/18. Is p > j?
True
Let h = -7 + 11. Suppose -20 + 384 = -h*w. Let s be 4/22 - w/(-77). Which is smaller: 2/5 or s?
s
Let k be (8*(-4)/8)/(-10). Which is greater: -1/2 or k?
k
Suppose -q - q + 8 = 0. Is q < 17/5?
False
Let v = 36 - 59. Let f = -23.1 - v. Is f at least as big as 0?
False
Suppose -2*l + 4*l = 278. Let f = l - 697/5. Which is bigger: f or -1?
f
Suppose -24 = 4*f - 8*c + 4*c, -f + 2*c = 3. Let t = -2 - -5. Let h be 1 + (-22)/(t - 1). Are h and f nonequal?
True
Let d be (13/(-3))/((-3)/(-21)). Let x = 15 - 45. Let k = x - d. Which is greater: k or -0.2?
k
Let o = 105 + -54. Let z be (o/(-18))/(-3 - 1). Let a = z + -1/3. Is 0 bigger than a?
False
Suppose -3*v - 20 = 2*v. Is v at least -4?
True
Let t be (-3)/(-1) + (-130)/40. Is t != -1/2?
True
Let k = 100 - 102. Suppose 0*q = -s - 3*q - 3, -4*s + 4*q = 12. Do s and k have the same value?
False
Suppose -3*j + 0*b + 3 = 3*b, 4*j + 5*b = 4. Suppose -1 = -2*p + 3. Is j less than or equal to p?
True
Let v be ((-16)/(-5))/(8/20). Which is smaller: v or 9?
v
Let s = 6 - 3. Let m be (-1 - 0 - -1)*1. Suppose 10 = -m*b + 2*b. Which is bigger: s or b?
b
Let z = -17 - -8. Let u be 2/4 - z/(-6). Let b be 2/(-8)*2*0. Do u and b have the same value?
False
Suppose 4*b + 2*m = 0, -5*b - m = -8*b. Suppose 0 = -j + 2*j. Suppose 3*u + 3 + 0 = j. Which is smaller: b or u?
u
Let v be ((-63)/6)/(-3) + (-3)/2. Is 4/5 at most v?
True
Let z = 2/51 + 8/85. Let x = -6 + 1. Let o be 2/(-3) + x/(-3). Which is smaller: z or o?
z
Let n = -11 + 17. Which is greater: n or 8?
8
Let z be -1 + -2 + 0 - (-6 - -2). Which is greater: 4/27 or z?
z
Let s be (4/(-12))/(2/30). Are s and -4 non-equal?
True
Suppose -4*g - 102 = -3*q - g, -3*g = 9. Which is greater: 32 or q?
32
Let g = 166/1815 - 3/121. Which is bigger: g or -1?
g
Let i be (50/(-15))/((-2)/(-6)). Is -12 less than i?
True
Let f = -3271/48 - -205/3. Is f greater than 0?
True
Let a be 16/12*-3*1. Let m be (-8)/10 + a/(-10). Do m and 1/2 have different values?
True
Let l be (0 + 4)/(-1 + 2). Suppose 0*o = l*o + 16. Suppose -5*w - 8 - 12 = 0. Does o = w?
True
Let j be (-53940)/110 + (-1 - 3). Let n = j - -494. Which is smaller: n or 1?
n
Suppose 4*f = -3*l + 6, 2*l + 2*f - 3*f = 4. Let w = 7 + -4. Suppose 4*d + n - 11 = 0, 22 = 3*d + w*n + 7. Is l bigger than d?
False
Let k = 0.044 + 4.156. Let n = 6 - 10. Let d = k + n. Are -0.1 and d equal?
False
Let t = 46 - 27. Is t greater than 21?
False
Let m = -2.76 - 1.24. Which is smaller: m or 4?
m
Let g(r) be the third derivative of -r**5/60 - 5*r**4/24 - r**3/6 + r**2. Let j be g(-4). Let p be j + -5 + (-4)/(-1). Which is smaller: p or 0?
0
Let i(a) = a**2 - 6*a + 4. Let p be i(3). Let g be ((-6)/p)/((-21)/70). Is -4 not equal to g?
False
Let q be ((-52)/(-10) - 4)/((-3)/(-10)). Which is smaller: q or 3?
3
Let v = -3 + 4. Which is greater: v or 3/4?
v
Let c = 2 - 3. Let n be -1*(3 - (-11)/(-5)). Which is bigger: c or n?
n
Let x = 1/57 + -22/171. Are -1 and x equal?
False
Let r(a) = a. Let w = 13 + -8. Suppose -3*d - 2*d + 13 = 2*t, w*d = 3*t + 18. Let b be r(t). Are b and -1 non-equal?
False
Let y be (-1 + 5)/((-1)/(-2)). Suppose 2*j - y = -4. Which is bigger: j or 0?
j
Let k = 75.2 + -75. Is k != -3?
True
Let a(c) = 3*c**2 + 4*c + 3. Let w be a(-2). Let d = -8 + w. Let h = -9/4 - -41/20. Which is bigger: h or d?
h
Suppose 5*n + 22 = 3*k, -k + 2*n = -4*k - 13. Let c be ((-4)/(-14))/(9/(-7)). Which is greater: c or k?
c
Suppose 0 = -2*l - 2*l. Suppose -b + 4*c + 26 = -l*b, b + c - 6 = 0. Let f be (4/10)/(12/b). Is 0 at most f?
True
Let k = 5 - 15. Is -1 bigger than k?
True
Let l be (-20)/25 - 14/(-5). Let j = 41 - 23. Suppose 4*f = -5*u + 2*f + j, -2*u - 12 = -4*f. Is u at most as big as l?
True
Suppose 2*h - 3*t = -11, 5*t = 4*h - 0*t + 17. Suppose 3*r - 4 - 26 = 0. Let g be h/r + 30/(-25). Which is smaller: g or -2/7?
g
Suppose -z + 3 = 1. Suppose 0 = -2*l + 5 - 3. Let j be 1 - l/4*1. Which is greater: j or z?
z
Let g(m) be the first derivative of -m**4/4 - 10*m**3/3 - m**2/2 - 9*m + 2. Let i be g(-10). Is i greater than 0?
True
Let b = 0 + 3. Suppose -3 = -y - 2*z, b*y + z = -3 + 2. Is y less than -4?
False
Let q be 0/(-4*(-1 - 0)). Is -1 greater than q?
False
Let q = 4 - 7. Let x = 0.41 + 2.69. Let b = x + q. Are -0.2 and b equal?
False
Let u(l) = -l**3 - 24*l**2 - 24*l - 15. Let d be u(-23). Are 20/3 and d nonequal?
True
Suppose -4*j + 17 - 1 = 0. Is j < 4?
Fa