Which is greater: p or 0?
p
Let h = -7.1 - -7. Let d = 2.9 + -3. Let f = d + 0.1. Is f at least as big as h?
True
Suppose 2*p + 8 = h - 0*h, 37 = 4*h - 3*p. Let u = h - 21/2. Let q be 0 + (1/3 - 1). Which is smaller: q or u?
q
Let d be 2 + (-2 + -3 - -3). Let h(j) = -j - 6. Let b be h(-5). Does b = d?
False
Let j = 2 - 0. Suppose j = -2*h - 0. Let y be 1*2/4 - h. Which is smaller: y or 3?
y
Let a = 0.4 + -0.7. Let w = -0.8 - a. Let f = w + 0.5. Is f smaller than 0.2?
True
Let t = -17/138 + -1/23. Is t greater than -1?
True
Let n = 537 + -537.1. Suppose -3*t = 5*u + 78, 0 = -2*u - t - t - 32. Which is greater: u or n?
n
Suppose 20*y + 38 = 58. Let t be (-6)/(-8)*(-8)/14. Which is smaller: t or y?
t
Suppose 5*v + 1193 = 4*p, 0 = -5*v - 4*p + 3*p - 1208. Let w = -8429/35 - v. Let x = 4/7 - w. Which is smaller: x or -1?
-1
Let q = 5.88 - 6. Let m = -0.12 - q. Which is greater: 3 or m?
3
Let v be 5 + 1/1 + -2. Let f = 4 - v. Which is smaller: -1/4 or f?
-1/4
Let d = -0.08 - -0.78. Let m = -0.68 + -0.02. Let p = m + d. Which is smaller: 1 or p?
p
Let j = -0.621 + 45.521. Let w = -47 + j. Let n = w - -2. Is n at least as big as 2/5?
False
Let z(n) = 5*n - 1. Let s be z(1). Let q(k) = -2*k + 4. Let y be q(s). Is -5 greater than or equal to y?
False
Let m be ((-2)/3)/(1/(-3)). Let w be (-46)/(-4) + 3/m. Let i be (-5)/10 - w/(-14). Is 0 <= i?
True
Let b(u) = 2*u + 8*u + 1 - 8*u. Let h be b(-4). Is h < -6?
True
Suppose -o + 2*a = 8, 3*o - 2*a = -4*a + 8. Which is smaller: 3/130 or o?
o
Let h(m) = m**2 + 16*m - 17. Let f be h(-17). Is -25 != f?
True
Let r = -9 + 9. Is r at least 5/6?
False
Let f = 0.2 - 1.1. Let j = f + 1.1. Is j smaller than 0.2?
False
Suppose -p - 80 = 3*p. Let i be (-68)/189 - p/70. Is -1 greater than i?
False
Let b(c) = c - 16. Let y be b(16). Is y smaller than 0.02?
True
Let t be ((-237)/12)/((-4)/16). Suppose t = -7*k - 12. Which is smaller: k or -12?
k
Suppose -8 = -2*i, -3 = -5*w - 2*i + 5. Suppose -5*t = 4*z + 47 - 20, w = 5*t - 4*z + 43. Let x be 1*-4 + (-4 - t). Which is greater: x or -1/4?
-1/4
Let k be 141*(2/(-3))/(1*-2). Which is bigger: 46 or k?
k
Let v = -8 + 11. Is v at least as big as 5?
False
Suppose 4*o = -2*g - 2*g - 32, -2*g - 5 = o. Let w = o - -10. Is 1/3 bigger than w?
True
Let c(a) = -a**2 - 2*a - 1. Let f be c(-1). Suppose p = 6*p + 10. Is p smaller than f?
True
Suppose 3*z - 4*a - 17 = 0, 4*z - 6*a - 24 = -a. Suppose 2*w + 2*c - 17 = -c, 4*c = 2*w - 24. Which is smaller: z or w?
w
Suppose 50 = -5*u + 5*h, 0*u - 17 = 2*u + h. Let s be (-3)/u + (-6)/(-9). Which is greater: s or 2?
2
Suppose 12*y - 15*y = 0. Is 0 at most as big as y?
True
Suppose -5*p = 3*y, -5*y - 4*p = -0*p. Let a = 176 + -2045/12. Let i = a + -21/4. Is i equal to y?
False
Let c = 8 + -7.92. Let h = -2.92 - c. Let i = -4 - h. Is i less than or equal to 2?
True
Suppose 2*b - 4*b + 6 = 0. Suppose -2*r - 5*d = -20, 0*r - 2*d = b*r - 8. Suppose 1 = -i - 0. Which is smaller: r or i?
i
Let d(q) = 116*q - 23. Let o be d(-1). Which is bigger: o or -140?
o
Let h(r) = r**2 + 10*r + 7. Let y be h(-6). Let u(b) = -3*b**2 + 5*b + 5. Let l be u(-2). Is l < y?
False
Let h be (1 - -5)*4/44. Let o(n) = n + 5. Let t be o(-5). Is h < t?
False
Let x(m) = m**3 + 6*m**2 - 3. Let o be x(-6). Let h be o*(0/(-2) - 1). Is h greater than 3?
False
Let d be -2*(-114)/(-56) - -4. Which is smaller: 0 or d?
d
Let s(a) = a**2 + 3*a - 4. Let v be s(-4). Suppose v = 4*h - h. Which is smaller: h or 2?
h
Let c(m) = 16*m**2 + 20*m - 16. Let u(w) = 5*w + 3*w**2 + 0*w - 3 - w. Let j(h) = -2*c(h) + 11*u(h). Let y be j(-4). Which is smaller: 0 or y?
y
Let m be ((-16)/20)/((-4)/(-10)). Let u(q) = 4*q + 1. Let o be u(-1). Let f be (0 + 0)*(m - o). Is -1/3 >= f?
False
Let z(l) = l**3 - 16*l**2 + l - 18. Let g be z(16). Let w be g + 9 + -3 + -5. Are w and -3 unequal?
True
Let f = 6 - 1. Let p(w) = 2*w**2 - 5*w - 7. Let s be p(f). Let n be 4/6 - (-6)/s. Which is bigger: n or 0?
n
Suppose 0 = -55*g + 48*g + 805. Is 115 equal to g?
True
Let o = 0.05 + -0.01. Let y = 0.14 - o. Which is greater: y or -1/2?
y
Let g = -37 + 223/6. Let c = -10 - -15. Suppose 4 = s + c. Which is bigger: s or g?
g
Let p = -28 - -33. Let m = p - 6. Is -1 less than m?
False
Let g be 56/18*(6 + (-22)/7). Is g at least 9?
False
Let l be -4*1/(-2) - -4. Let b(x) = x - 5. Let v be b(l). Suppose -h - 6 = -2*w, -15 = 5*w - 4*h - 36. Is v != w?
False
Let a = -53/124 - -7577/248. Let s = 30 - a. Let h = s - -15/56. Which is smaller: 0 or h?
0
Suppose 5*v + 3*q = 651, 0*q = -2*v + 3*q + 252. Are v and 129 equal?
True
Let o(c) = -c**3 - c + 2. Let a be o(0). Suppose -s = a*s + 12. Are s and -5 equal?
False
Suppose 28 = 16*o - 18*o. Is o less than -9?
True
Suppose 34 + 41 = 5*z. Let r be (z/2)/5 + -2. Let l = -0.1 - 4.9. Is r != l?
True
Let h(l) = l**2 + 3*l + 1. Let z be h(-3). Is z at least 0.01?
True
Let f(m) = m**2 - 23*m - 1. Let q be f(23). Is q at most as big as -2/131?
True
Let z = -13 - -8. Let h be z/5 - (0 - 1). Let n = 5 + -14/3. Which is smaller: h or n?
h
Let s = 2 - 7. Let l(h) = 2*h**2 + 8*h + 6. Let o be l(s). Is 15 smaller than o?
True
Let m be 6/(-2) - 22/11. Are -6 and m equal?
False
Let t = -1902 - -55150/29. Which is bigger: -1 or t?
t
Let o = -36 - -47. Which is smaller: o or 4?
4
Suppose 6 = -0*d - 3*d - 3*k, 2*k - 1 = 3*d. Which is bigger: 10 or d?
10
Let h = 13.9 + -15. Let u = h + 1.3. Which is smaller: u or 4/5?
u
Suppose -3*g + 32 = g. Suppose g = -3*c + 5*c. Is c <= 5?
True
Let b = -27 + 13. Let z = b + 15. Let w = -157 + 1097/7. Which is smaller: w or z?
w
Suppose g = 3*g - 20. Let w be -3*g*(-1)/6. Which is greater: 4 or w?
w
Let w be (16/10)/(60170/6700). Let g = 2/547 + w. Which is bigger: 2/7 or g?
2/7
Let o(k) = -k + 3. Suppose 0 = 5*i - 4 - 11. Let m be o(i). Let h = 866/9 - 96. Which is bigger: m or h?
h
Let o = 0.24 - -4.16. Let l = -78 - -82. Let r = o - l. Which is bigger: r or -2/5?
r
Let v = -2 + 5. Suppose 2*u = v*u + 3*x + 9, -2*x - 6 = -5*u. Let d be (-1)/1*-1 - u. Is d at least -1/4?
True
Let g(u) = -u + 2. Let o be g(3). Let v be 5 + 1 + -2 + -1. Let b be v/(-11)*10/(-15). Which is smaller: o or b?
o
Let g = 1.1 + -1. Let b be 557*(1 - 18/15). Let p = 111 + b. Which is smaller: p or g?
p
Let b be 0/(-1)*(1 - 2). Let c = 11 + -8. Suppose 2*a = -2*n, -c + b = 2*a + n. Which is smaller: a or -2?
a
Suppose z + 36 = -4*g, g - 139 - 8 = 3*z. Do -48 and z have the same value?
True
Let r = 0.069 - 0.069. Which is smaller: 3/17 or r?
r
Let d be (-3)/(-2)*(-1)/(-3). Let o = 1.2 - 17.2. Let c = o - -16. Which is greater: c or d?
d
Suppose 39 = 2*o + r, 2 = 3*r + 17. Let u = o + -13. Suppose u = 3*a + 3. Which is smaller: a or 0?
0
Let b be (-2 + 5)*(0 + 3). Which is bigger: b or 2?
b
Let b = -3.2 + 3.3. Which is bigger: b or 1/2?
1/2
Let k = 123/7 - 78/7. Is 6 smaller than k?
True
Let q(b) = 3*b + 5. Let g be q(-3). Which is greater: g or -11/4?
-11/4
Let b(q) = -3*q + 11. Let p be b(0). Which is smaller: p or 12?
p
Let t(g) = -g**3 + 8*g**2 - 9*g + 10. Let j be t(7). Let q = 3 + -3. Suppose q*n + 2 = -n. Which is smaller: j or n?
j
Let t = -1 + 0.7. Let u = -10.3 - -10.2. Which is smaller: t or u?
t
Let l = 133 - 186. Which is smaller: l or -52?
l
Let k = 0 + 1/3. Let p = -4 - -10. Does p = k?
False
Suppose 5*n - 6 + 21 = 0. Let b be n + 1 + 4*1. Suppose -l - 5 = -4*y, -6*l + l + 7 = -4*y. Is b greater than or equal to y?
True
Let a(w) = 6*w**3 + w**2 + w - 1. Let s be a(1). Suppose 3 = -4*v + s. Are v and 4/13 equal?
False
Let f = -6 - -4. Let a(r) = -7*r**2 - 3*r - 7. Let k(d) = 3*d**2 + d + 3. Let u(s) = 4*a(s) + 9*k(s). Let c be u(f). Is c > 1?
False
Let z = -94/135 - -8/27. Let j = 0.216 + -0.016. Which is smaller: z or j?
z
Let z = -5 + 10. Suppose -50 = z*t - 160. Suppose 2*r + 4*u = t, -r = -2*u - u + 14. Which is greater: 2/3 or r?
r
Let z = 1 - 4. Let d(n) = 4*n + 2. Let j be d(-2). Let u = 2 + j. Is u < z?
True
Suppose 0 = 3*i + 3*i + 6. Which is smaller: -2 or i?
-2
Let v = -3768/13 + 290. Let r = -7 + 15. Let x(u) = u**3 - 8*u**2 + u - 9. Let q be x(r). Which is smaller: v or q?
q
Let c = -0.6 + 0.61. Let x = c - 0.01. Let s = -1.7 + -0.3. Which is smaller: x or s?
s
Let n(m) be the first derivative of -m**4/4 - 4*m**3/3 + 2*m - 3. Let c be n(-4). Suppose -3*l = -5*r - 2*l 