 p or -1?
-1
Suppose 2*t = t + 3. Suppose 3*z = -z + 8. Suppose z*u = -t*u + 5. Is 0 smaller than u?
True
Let g be 1/1 - 3287/(-11). Let k = 300 - g. Which is greater: k or 0?
k
Let s be 2 - -1 - (14 + -4). Which is bigger: s or -9?
s
Let m = 1 + -4. Let n be 4/3*(-9)/(-48). Is n < m?
False
Let u = -27 + 16. Let q be 2/u - 84/(-99). Is 0.1 at most as big as q?
True
Suppose 6*q - 180 = 2*q. Let p be (-1)/5 + 39/q. Is -2/7 greater than p?
False
Let g(h) = -h**2 - 10*h + 4. Let a be g(-7). Suppose -5*u = 5*x - 0*x - a, 3*u - 10 = 2*x. Is -1/4 bigger than x?
False
Suppose 56 = 4*i - 8*i. Is -13 at least i?
True
Let t = -78295309/12 + 6550745. Let h = t + -26176. Let i = -118/3 - h. Is 2 smaller than i?
False
Let w(t) = t**3 + 7*t**2 + 6*t - 8. Let q be w(-6). Is q at least -8?
True
Let g = -2 - 6. Let t be (-3)/1*g/(-24). Which is smaller: -6/13 or t?
t
Let r(p) = -2*p**2 - 12*p + 17. Let t be r(-10). Let z be 258/t - 21/(-49). Is z less than -4?
False
Let s = -2/1027 - 4086/11297. Which is smaller: -1 or s?
-1
Suppose 5*o + 60 = -o. Which is bigger: -9 or o?
-9
Let k = -2 + 4. Suppose 0 = -5*c - 20, -c - 2*c - k = 2*z. Let s(r) = r - 5. Let q be s(z). Which is bigger: q or -1/4?
q
Let o(p) = -p**2 + 1. Let g be o(-2). Let q be -2 + (-1)/((-3)/9). Which is bigger: g or q?
q
Suppose -136 = 5*d - 46. Which is bigger: d or 2/7?
2/7
Let n = -0.09 - -1.09. Let o be 5/(1*(-2)/6). Let d be (1/4)/(o/12). Which is smaller: n or d?
d
Suppose 0 = x - r - 140, -r + 629 = 4*x + 79. Let v be (-3)/(-6) + (-75)/x. Which is smaller: 0 or v?
v
Suppose -2*f + y = -4*y - 10, 3*y = 5*f + 13. Is -5 at most f?
True
Let h be (18/(-4))/3*-6. Let w be h/(-42)*(1 + 1). Let u = -0.1 - 0.9. Which is bigger: u or w?
w
Suppose i + 3 + 1 = 0. Let s = -4 + 1. Which is smaller: s or i?
i
Let f = 8 + -6. Let s = f + 2. Which is smaller: 2 or s?
2
Let c be 4/(-14) + (-30)/(-56). Suppose 4 = 3*u + 7. Which is smaller: u or c?
u
Let q be -1 + (7/(-4))/(-1). Which is smaller: 2 or q?
q
Let m = 80/3 + -27. Let d = 901/7 - 129. Which is smaller: d or m?
m
Suppose 3*t - 7*t + 16 = 0. Suppose -3*w - 1 = t*s, 0*s + 8 = -2*w + s. Let a be w - -5 - (-13)/(-4). Is 0 at least as big as a?
True
Let m = -2 + -34. Do -37 and m have the same value?
False
Suppose -5*j - 2*u + 11 = 0, -2*j + 3*u - 13 = -2*u. Which is bigger: 1/14 or j?
j
Let x = 68 + -67. Which is smaller: 2/7 or x?
2/7
Suppose -9*l + 20 = q - 4*l, -8 = 3*q - 2*l. Let o(s) = -s - 2. Let x be o(0). Is q greater than or equal to x?
True
Suppose 2*q - 4*g + 10 = 0, 0*q - 3*g = -4*q + 5. Suppose 3*v = q*v - 10. Suppose 0 = 4*y - 2*y - v*j + 4, 0 = 5*j - 10. Is y < 4?
True
Let z = 6 - 25. Let m = z - -20. Is m at most as big as -1.4?
False
Let i(q) = -q**3 + 10*q**2 + 13*q - 12. Let w be i(11). Suppose 0*x = 2*x - w. Let c = x - 7. Which is smaller: 1 or c?
c
Let z = -27779/180 - -1390/9. Let i = -2/15 - z. Which is smaller: i or 2/5?
i
Let g = 0 - 0.04. Let m = g - 0.06. Let c = m - -0.2. Which is bigger: -1/7 or c?
c
Let x be 6*((-1)/(-4) + (-7)/4). Which is greater: -10 or x?
x
Let t be (-9)/6*(-4)/(-6)*-58. Is t > 58?
False
Let c be (1 + -1)/(0 - 1). Let q = c - 2. Let m be q/12*-10 + -1. Which is smaller: 1 or m?
m
Suppose 8*n - 4*n = -48. Let l be (4 + -2)/((-6)/n). Which is smaller: l or 3?
3
Suppose -3*g + 3*m + 9 = 0, 0 = -5*g - m - 0 - 3. Suppose -37 = 5*h + 4*p + 21, h - 4*p + 2 = 0. Let u be 2 + 2/h + -2. Which is greater: u or g?
g
Let z = 4 + -2. Let t = z - 2. Let s = t - -0.3. Is 1 at most as big as s?
False
Suppose 14 + 1 = 5*c. Is 1 < c?
True
Let p = -5 - -4.97. Let c = 1.67 - 1.9. Let g = c - p. Which is smaller: 2 or g?
g
Suppose -4*m - 2*m + 72 = 0. Suppose 3*w - 12 = -2*a, -3*w = -3*a - 6*w + m. Let d = 0.04 + 0. Which is smaller: d or a?
a
Let d be ((-252)/(-35) + -7)*(-1 + 6). Is d bigger than -8/9?
True
Let c(r) = 7*r - 27. Let u be c(7). Which is bigger: u or 21?
u
Let w = 10/273 - 7472/273. Let l = -28 - w. Let i be (-40)/(-25) + -1 + -1. Are l and i nonequal?
True
Suppose -5*m + 3 + 7 = 5*v, 4*m - v = -7. Let f = 4 + -2. Which is smaller: f or m?
m
Let c(k) be the third derivative of -k**4/24 - 5*k**3/3 + k**2. Let a(f) = f**2 - 7. Let p be a(0). Let t be c(p). Are t and -3 nonequal?
False
Let d be (-14)/(-6) + (-4)/(-6). Is 1 >= d?
False
Suppose 3*p + 4*a = 6, -4*p + 5*a = -5*p + 2. Suppose p = h - 3. Suppose 30 = d + 4*d. Is h greater than d?
False
Let g(h) = -h**3 + 10*h**2 + 17*h + 16. Let x be g(13). Let r be 2*1 + x/138. Is 0 <= r?
True
Let i(m) = m**3 + m + 6. Let o be i(0). Let x be (o/(1/(-1)))/(-1). Let h(f) = f**2 - 6*f + 1. Let v be h(x). Is v not equal to 1?
False
Let s be (-1)/(7/(-3) + 2). Suppose 3*t = 15, 13 = m + s*t - 8. Let h be (-12)/10*m/9. Is h < -2?
False
Suppose 4*h = -f - 17, 4*f - 3 + 27 = -5*h. Is h > -11/3?
False
Let x(v) = v**2 - 20*v - 11. Let y be x(21). Do y and 0.1 have the same value?
False
Suppose s - 2*s = 6. Let g be (843/s)/((-10)/4). Let i = 56 - g. Are 1 and i unequal?
True
Suppose -4*i + 16 = -0*i. Which is bigger: i or -1/5?
i
Let t = 5 - 2. Let o = -1 - t. Let w = 1 + o. Do -4 and w have different values?
True
Let t(n) be the second derivative of n**5/20 + n**4/2 - n**2/2 - 2*n. Let o(v) = -2*v + 4. Let y be o(5). Let w be t(y). Is -1 less than or equal to w?
True
Let c(q) = -4*q**2 + 2*q. Let s be c(3). Let d be -4 + (4 - (-1)/s). Are 0 and d equal?
False
Let x = 2534/5 - 498. Is 8 <= x?
True
Let j be 20*(-2 + (-9)/(-4)). Let p be 282/30 - 2/j. Which is bigger: -2/3 or p?
p
Let x be 17/4*(-2 - -6). Are x and 16 unequal?
True
Let d(y) = y**3 + 11*y**2 + 13*y - 6. Let g be d(-10). Let a be 4/(-18) - (-100)/g. Is -2 less than or equal to a?
False
Let b = 59 - 38. Which is bigger: 20 or b?
b
Suppose 3*o + 2 + 13 = 0. Suppose 2*b = 3*b + 4. Which is smaller: b or o?
o
Suppose 2*z + 0*y - 12 = 5*y, -5*y - 15 = -5*z. Let w be 27/21 - 0 - z. Is w > -4?
True
Suppose -2*l - 3*j = -10, 4 + 2 = 5*l - 2*j. Let d be ((-2)/(-25))/(l/(-10)). Suppose 6*y - 4*a = 4*y + 16, 0 = -4*a - 16. Are d and y nonequal?
True
Suppose 2*f = 4*z - 10, -17 = -z + 5*f - 1. Which is smaller: -1/7 or z?
-1/7
Suppose 25 = -3*t + 5*l, -5*l = -1 - 9. Let q(r) = -r**3 - 6*r**2 - 6*r - 4. Let p be q(t). Let b = p - 3. Which is smaller: -1 or b?
b
Let f = 1.4 - 0.4. Let y = -0.09 + -0.01. Is f greater than or equal to y?
True
Let p = -11 + 4. Let r = p + 7. Which is smaller: 1 or r?
r
Let p = 2/61 - 311/183. Which is bigger: -2 or p?
p
Let f be 33/414 - 2/12. Which is smaller: 1 or f?
f
Let m be 1/2*-3*-4. Let g be ((-2)/(-12))/(3/m). Which is smaller: -2/7 or g?
-2/7
Let b be -15*(33/9 + -4)*-1. Which is greater: b or -27/5?
b
Let i = -41/14 - -24/7. Is 0.17 equal to i?
False
Let l be (-4)/(-6) - 3/9. Are -1 and l nonequal?
True
Let f = -36 - -39. Suppose 0*m - 8 = -2*m. Suppose t + m = -f*t. Which is smaller: 0 or t?
t
Let f be ((-16)/(-10))/(2/105). Suppose 4*a + 10 = 2*a. Let m be 2/a + f/35. Is m greater than or equal to 0?
True
Let j = 2 - -1. Let u(c) = 2*c**2 - 3*c - 3. Let z be u(j). Is z greater than or equal to -1?
True
Suppose 5*i + 2*r - 8 = -0, i = -2*r. Let m be i/8*8/(-7). Which is smaller: m or 5?
m
Let f be 875/4 + -1 - 0. Let q = f - 220. Do q and -1 have the same value?
False
Suppose 8 = 3*w - 2*w. Suppose -w*p - 10 = -3*p. Do p and -2 have different values?
False
Let o = -4 - 3. Let y = o - -7.2. Is y less than -0.1?
False
Let y = -83 - -84. Which is bigger: y or -2/143?
y
Let c(a) = a - 1. Let m be c(0). Is m at least as big as 2/5?
False
Let h = -199/4 + 2213/44. Are 1 and h non-equal?
True
Let j be 2/(-12) + 19/(-30). Let l be (2/4)/((-8)/32). Is j < l?
False
Let j = -345/4 - -85. Are j and 0 equal?
False
Suppose 0 = -w - 4 + 10. Let p = 10 - w. Let d be p/15*24/16. Which is smaller: 1 or d?
d
Let z(r) = -r + 1. Let a be z(0). Suppose -k + 5*h + 4 + 4 = 0, k - 4*h - 7 = 0. Which is smaller: k or a?
a
Let s = 142 - 259. Are 0.1 and s non-equal?
True
Let x be (-1)/2*2/5. Which is bigger: x or 1.5?
1.5
Let w = -308678833/262 + 1178165. Let p = -2/131 + w. Which is greater: 3 or p?
3
Let g(o) = o + 9. Suppose -4*h = -3*r + 34, 3*h + r + 29 = 5*r. Let x be g(h). Let u = -2 + x. Which is greater: u or -3/4?
u
Suppose -2 = 4*p - p + 4*z, 9 = 4*p + 3*z. Let f(y) = 2*y - 12. Let o be f(p)