 p?
p
Let b = 7 + -11. Is -3 greater than or equal to b?
True
Suppose -4*d - 16 = 4*s, 3*d + 0 + 8 = -s. Suppose 4*y = 4*q + 28, -q + 6*q = 4*y - 31. Let i = d - q. Is -1/5 at least as big as i?
False
Let d = -13 - -9. Let u = 1 + d. Let l be (-2)/(-24)*(-8)/u. Is l greater than 0?
True
Let n be ((-5)/(-3))/((-4)/(-12)). Suppose 0 = n*k - 3*k - 34. Suppose 0 = i - 3*x - 14, -3*i = -0*i - 4*x - k. Which is greater: i or -2?
i
Suppose 0 = -11*z + 8*z + 6. Let o be (-42)/(-55) + z/(-5). Is 0 >= o?
False
Let y be 6/(-26)*(0 - (-3)/(-9)). Suppose -1 = 3*n + 2. Is n at most as big as y?
True
Let i = -3 - -5. Suppose i*c - 5 = -3*c. Which is greater: c or 2/5?
c
Suppose -2*m - 39 = -49. Is 5 less than m?
False
Let s be ((-124)/(-60) + -2)/(2/55). Which is greater: 1 or s?
s
Let g be (-3)/(-9)*3 + 1. Suppose 0*q - 5*h = -g*q + 17, 0 = -3*h - 15. Let v be q/(-14) - 8/14. Which is smaller: v or 0?
v
Let v be 0/6*(-1 - 0). Let b = -975/8 + 122. Which is smaller: v or b?
v
Let k = 6 - 6. Let p be 2 - (-2 - -3 - k). Is p at least as big as 0?
True
Let f(b) be the third derivative of -b**2 + 0*b + 1/3*b**3 + 1/24*b**4 + 0. Let w be f(4). Is 6 less than w?
False
Let k = -1 - -1.07. Let c = -0.17 + k. Suppose -4*z + 5*z - 2 = 0. Which is smaller: c or z?
c
Let i = 6 - 2. Suppose 0 = -r + 4*y - 21, -2*r + 5*r - i*y + 23 = 0. Which is greater: r or -2/21?
-2/21
Suppose -8*t = 6 + 2. Let m = -3217/14053 - 2/1081. Which is smaller: m or t?
t
Suppose -9 = b + 4*l, 3*l + 2 = -b - 5. Let m = 8/77 - -2/11. Is m smaller than b?
False
Let a = 8.88 + 0.12. Let t = a + -10. Which is smaller: t or 2?
t
Let y = 112 + -113. Suppose -4*d + 0*d = 0. Which is smaller: y or d?
y
Let z(q) = q - 5. Let c be z(6). Is c greater than or equal to 1?
True
Let j be (0 + -3)/(6/(-12)). Is 2/3 greater than j?
False
Let w = 33/4 - 8. Let l = -1 + 0.8. Let r = l - -0.1. Which is greater: r or w?
w
Let z = -11 - 6. Which is greater: z or -18?
z
Let o = -2053/6578 - -15/46. Let i = -13/2763 - 753293/1975545. Let z = o - i. Which is greater: 1 or z?
1
Let g(v) = -2*v - 14. Let w be g(-7). Is w at least -4/5?
True
Let g be 4/14 + (-24)/(-14). Does 3 = g?
False
Let m = 0.087 + -0.027. Which is smaller: -1 or m?
-1
Let c = 0.094 - -0.006. Which is bigger: -27 or c?
c
Let v(a) = -a + 3. Let x be v(-2). Which is smaller: x or 4?
4
Suppose -4*w - 5 = -t, 0 = -t - 4*t - 4*w + 25. Let s = t + -5. Do s and -3 have different values?
True
Let d be (4 - (5 + 0))/1. Are d and -2/19 nonequal?
True
Let u(z) = -13*z. Let k(p) = -3*p. Let j(g) = 9*k(g) - 2*u(g). Let r be j(2). Let a be 24/35 + 6/(-21). Are a and r unequal?
True
Let x = 1/10 - 8/5. Suppose 4*b + 24 = -4*q, 3*b = -q - 8 + 2. Let z be q/(-2)*(-2)/2. Is x smaller than z?
False
Let g = -50.91 - -51. Which is smaller: -0.2 or g?
-0.2
Let k = 28/15 - 136/105. Let s = 29/14 - k. Suppose 8*x + 18 = 14*x. Which is smaller: x or s?
s
Let a = -5 - 5. Let r = 10 + a. Is r at most 6/7?
True
Let m be (100/54)/((-14)/(-21)) - 3. Is m at most as big as -10/9?
False
Suppose 4*m = m - 123. Is m <= -41?
True
Suppose -2*m + 10 = 2. Suppose 3*l - 1 = -m. Let r = 0 - -1. Is r less than or equal to l?
False
Let i be 201/156 - (11/4 - 2). Which is bigger: i or 1?
1
Suppose 35 = 16*i - 11*i. Is 1 >= i?
False
Let n = -32 + 34. Let h be (2 - (-1 + 5)) + 3. Are n and h nonequal?
True
Let i(k) = -4*k + 28. Let z be i(6). Which is smaller: 1 or z?
1
Let i = -0.247 - -0.047. Which is smaller: 1.9 or i?
i
Let c = -32/45 + 14/15. Let s = 47 + -47. Is c bigger than s?
True
Suppose -15 = -m - 4*m. Let a = -3 + m. Are a and -1 equal?
False
Let c = 16 - 15. Which is smaller: -0.2 or c?
-0.2
Suppose 5*n + 21 = 1. Is n >= -2?
False
Suppose 5*z + 3 = 8. Which is smaller: 0 or z?
0
Let x be 3/6 - (-15)/10. Which is smaller: x or -0.1?
-0.1
Suppose -4*l + 4*p = 24, 0 = -5*l - 3*p - 11 + 5. Let m be l - 0 - (-266)/98. Which is smaller: m or 5?
m
Let o(b) = -b**3 - 8*b**2 - 12*b - 3. Let u be o(-5). Which is greater: u or -20?
u
Let a(j) = -j**3 + 6*j**2 + j - 6. Let p be a(6). Suppose p = -0*d - d. Suppose 0 = -0*m - 4*m - 16, 4*c = -m. Which is smaller: d or c?
d
Suppose -10 + 0 = 5*q. Let n be 2/(-4) + 1*42/(-24). Is q less than n?
False
Suppose -q + 2*q = 4. Let o be (-6)/9 - 1/(-3). Which is smaller: o or q?
o
Let z be (2/(-8))/((-1)/4). Which is smaller: z or -2/35?
-2/35
Suppose -8 = 3*u - 5*u. Let f be u/6 - 4/(-12). Let j be (3 - 2) + 27/(-24). Which is smaller: j or f?
j
Let d be 2/(-9) + (-183)/(-459). Is -1 at most as big as d?
True
Suppose -4*s - 4 = -v, -2*v + 4 = -2*s + 14. Let t be (2/v)/((-3)/52). Let g = t - 4. Is 1 at most g?
False
Suppose 2*j + 5*b - 133 = 10*b, 5*j - 361 = 3*b. Let a be (-4)/18 + j/90. Is 1 > a?
True
Let u = -2.065 - -0.065. Which is smaller: -0.02 or u?
u
Let p be (-4)/6 - 2/(-2). Let h = 26.06 + -25. Let j = h + -0.06. Is j less than or equal to p?
False
Let m = 106 - 93. Is m at most 0.1?
False
Let y = -1.7 + 2.2. Let x = -0.3 + y. Which is bigger: x or -1/2?
x
Let k = 16 - 15. Let i = 0 + k. Let s = -3 + 5. Which is bigger: s or i?
s
Suppose 5*w + 0*n + 5 = -5*n, 6 = -4*w - 3*n. Let t be 1/w - 7/(-3). Suppose 0 = t*c + 3*f - 25, -4*c + 2*f + 26 = 0. Which is greater: 7 or c?
c
Suppose 0 = -2*x - 5*z - 72, -71 - 37 = 3*x - 4*z. Which is smaller: x or -34?
x
Suppose -4*b - 1 = 3. Which is smaller: b or -3/25?
b
Let h be 50/1*3/6. Suppose -5*o = 5*v - 5 + h, 0 = 4*o + v + 1. Which is smaller: 0 or o?
0
Let c = 6 + -3. Suppose -f = -2*f + 4. Suppose -c - 1 = f*x. Which is smaller: x or 2?
x
Let a = 2.7 - 2.3. Is a at most 4?
True
Let y = -4.2 + -0.8. Let o = -5.4 - y. Let h = 0.3 + o. Which is smaller: -1 or h?
-1
Let c be ((-4)/8)/(2/(-4)). Which is greater: c or 1/20?
c
Let w = -136 + 136. Which is greater: 8/17 or w?
8/17
Suppose -v = 2 - 6. Suppose v*r = -0*r + 8. Which is smaller: 6 or r?
r
Let k(w) be the third derivative of -w**4/24 - 7*w**3/6 + w**2. Let l be k(-6). Let g = 4 + -6. Is l <= g?
False
Let m = 33 - 15. Suppose -h - 6 = m. Let c be (9/h)/((-15)/(-4)). Which is bigger: c or 0?
0
Let s = -12 + 0. Let r = s + 24. Do r and 12 have different values?
False
Suppose -2*j - 10 = -4*s, 3*j - 2*s + 12 = 3*s. Let o = 0 + j. Let v(p) = 2*p**2 + 2*p - 1. Let m be v(o). Which is greater: 2 or m?
m
Let r be ((2 - 1) + 1)/2. Let j be (-1)/5*15/(-6). Is r smaller than j?
False
Let a = -18 + 10. Let q = 4 + a. Let m(g) = g**2 + 4*g - 3. Let j be m(q). Which is smaller: -2 or j?
j
Let h be (-1 - -1)/(-2 - 0). Suppose -80 = 2*o - 6*o. Let n = 18 - o. Which is bigger: h or n?
h
Suppose 5*y = 3*z + 25 + 4, z = 5*y - 23. Suppose 3*d = -j + 2 + 5, -y*d = -4*j + 12. Which is smaller: d or 2/7?
2/7
Let r = -67 - -46. Let d = r + 18. Is 5 bigger than d?
True
Let l be (-2)/1 - (-35)/24. Let d = -1/8 + l. Suppose -2*b - z - 2 + 3 = 0, 0 = 5*b - 5*z + 5. Is d > b?
False
Let q = 72/5 - 14. Suppose -h + 1 = 2*s + s, 4*h = -5*s + 4. Which is smaller: s or q?
s
Let v be (-88)/(-20)*27/(-2). Let r = v + 59. Let z = 0.4 - -0.6. Which is smaller: z or r?
r
Let j(q) be the second derivative of -q**3/3 + 3*q**2/2 + q. Let a be j(4). Let t = a - -8. Which is smaller: t or 2?
2
Let p = -4 - 2. Let w be 46/(-120) - (-4)/p. Let n = -1/4 - w. Are n and 2 unequal?
True
Let l be (-6)/(-7)*62/4. Let g = -13 + l. Suppose 0 = 2*a + 3*a + 5. Which is greater: a or g?
g
Let b = 0.73 - 0.7. Let a = b + 0.17. Is a != 1?
True
Let r be (-2)/4 - (-11)/(-4). Suppose -3*x - 6*f = -3*f + 18, -x + 5*f = -18. Are x and r nonequal?
True
Let m = -51 - -44.6. Let k = 12 - 6. Let u = k + m. Are 1/2 and u non-equal?
True
Let l(i) = 2*i + 18. Let c be l(-9). Let w be -2 + (c - (-16)/20). Let z = 28/69 - -6/23. Which is smaller: w or z?
w
Suppose 2*d = 2*r - 48, 4*d + 9 = -4*r + 113. Suppose -3*k - 4 = 4*o + 2, -5*k + r = -5*o. Is 3/4 at least k?
False
Let c = -9 + 14. Suppose c*x + 11 + 14 = 0. Which is greater: x or -1?
-1
Suppose -3*h + 3*m - 48 = 0, -3*h - 5*m - 45 - 27 = 0. Which is smaller: -94/5 or h?
h
Let x be -2 - -1 - 2/(-6). Suppose -4*s + 15 = -5*r, 2*r + 9 = 3*s - 4. Suppose s + 0 = -5*g. Which is smaller: g or x?
g
Let i be (-6 + (-58)/(-10))/(4/(-20)). Let o be 2/(-6)*(-6)/50. Which is bigger: i or o?
i
Let m(r) = 3*r + 10. Let v be m(7). Is v at most as big as 31?
True
Let c 