p or -2?
p
Suppose 4*v - 32 = 3*h, -v = 3*v - 5*h - 40. Suppose v - 4 = r. Is r >= 0.03?
True
Let s be 9/(-2)*(-8)/(-12). Which is bigger: -5 or s?
s
Let u be (-2 + 8)/(1/1). Let z = u + -6. Does z = 2?
False
Let f = 4 + -5. Let m = 0 + f. Is -1 >= m?
True
Let g be 3 + (-1)/2 + 3/(-3). Is g bigger than 6?
False
Let m = 86/425 + -8/25. Let w = 4 + -2. Suppose 12 = -2*x - 7*j + 4*j, 8 = -w*j. Which is greater: x or m?
x
Let v be (-2)/(-3)*(-384)/16. Let z = v + 20. Which is bigger: z or 5?
5
Let u be (-7 + 6)/(2/(-22)). Let y = -11 + u. Is 3/5 at least y?
True
Let r = 0.07 + -6.07. Let u = -3 - r. Which is greater: 0.1 or u?
u
Let q = 40 + -18. Suppose 3*b + q = -26. Let u = b - -22. Which is greater: u or 5?
u
Let u = 6 - 9. Let v = -2 - u. Which is bigger: v or 2/5?
v
Let b = 359/3 - 326. Let f = 204 + b. Do f and -3 have the same value?
False
Let h = 0.54 + -0.8. Let b = h + 12.26. Is -2/9 bigger than b?
False
Let h be (-1 - 13)/(-3 - -5). Let p(y) = y + 4. Let s be p(h). Is -3 bigger than s?
False
Let v = 22/17 - 171/119. Let f(b) = 3*b - 1. Let h be f(1). Suppose a + a - h = 0. Which is smaller: a or v?
v
Let y be 1 - (2/2 + 1). Suppose 0 = 3*c + 2 + 4. Is c < y?
True
Let y = -2/4267 + -490693/25602. Let i = -1943/102 - y. Let r = -0.2 - -1.2. Which is smaller: i or r?
i
Let d = 42 - 35. Let b = -0.7 - 0.3. Is d < b?
False
Let m be 1 + 3 - (-65)/(-16). Which is greater: 1 or m?
1
Let r(f) = 2*f + 13. Let y be r(-10). Suppose 0 = 4*s + 3*h + 60 - 17, 4*h = -20. Is s at most y?
True
Let f(k) = -k**2 + 4*k - 2. Let y be f(2). Let z be ((-13)/y)/(25/230). Let l = z - -60. Is 2 > l?
True
Let z = -34 + 16. Let j = 56/3 + z. Which is smaller: j or -1?
-1
Suppose -g = -0*g - 4*z + 15, -4*g = z - 8. Suppose u = -2*u - 6. Let p be (-1 + 2 + u)*-1. Is g at least p?
True
Let m = 60 - 60.1. Let g = -16 + 22. Is g > m?
True
Let t = -72 - -73. Let x = 4 - 3.3. Let l = t - x. Which is smaller: l or -1?
-1
Let k = -2799/11 - -255. Is 1 at least as big as k?
True
Let j be (2*(-1 + 2))/(-1). Suppose 0 = 5*a, -3*a + 5*a = t - 18. Let m = t + -37/2. Which is greater: m or j?
m
Let m be (-65 + -1)/2 - (-20 - -23). Which is smaller: -34 or m?
m
Let u be (-10)/15 + 8080/42. Let s = -192 + u. Is s > -1?
True
Suppose 25 + 15 = -4*h. Let t be (-5)/(h/16) - 3. Is 5 < t?
False
Let n = -1/4 - -1/36. Let t be 1*(-12)/8*-2. Suppose 4*o = -5*q - 29, -22 = t*o + 5*q + 6. Which is smaller: n or o?
o
Let j = 2684 - -481. Let v be j/(-70) - (-1)/(-2). Let z = v - -46. Is 0.3 greater than or equal to z?
True
Let y = -173 + 160. Let q = 432/1105 + 2/221. Which is greater: q or y?
q
Suppose -3*a + a - u + 1 = 0, 8 = -2*a - 4*u. Let g = -3 + 4. Suppose a*x - g = x. Which is smaller: 0.1 or x?
0.1
Let t = 7 - 3. Let h = -3.6 + t. Let o = h - 0.4. Does o = -1?
False
Suppose 2*n - 2 + 12 = 2*w, -2*n = -3*w + 11. Is w < 2/3?
False
Let y be 8/2*3/(-18). Suppose 5*n - 4*u = -5, 39 - 2 = 4*n + 5*u. Suppose 0 = -k - 5*v, -3*k + n*v - v = 0. Which is greater: k or y?
k
Let c(t) = -t**2 + 6*t + 8. Let y be c(7). Suppose y = 7*z - 8*z. Let f be 1/(-10)*-1*2. Which is smaller: f or z?
z
Suppose -10 = 3*c + 2*t, c + t + 5 = 2*c. Is -2/9 smaller than c?
True
Let c be (-1)/3*(-3)/1. Let h be (c/(-2))/((-3)/(-6)). Is -4/3 less than h?
True
Suppose 0 = t - 3*t - 14. Let d = 6 + t. Which is bigger: 1/5 or d?
1/5
Let o be -2 + 5 + 2 + 0. Let s = -7 + o. Let m be s/(-2) - (-9)/(-3). Is m less than or equal to -2?
True
Let q be 32/10 - (4 - 1). Let k = 0 + -0.1. Which is smaller: q or k?
k
Suppose -3*r = -k - 14, 2*r + 0*r = -5*k + 15. Suppose 5*s - 6 = -k. Let y be 0/((-6)/(-3) + s). Which is greater: 1/13 or y?
1/13
Let u(z) = -2*z - 5. Let i be u(-2). Which is smaller: i or -5?
-5
Suppose 2*x - 4*r + 26 = -0*r, 5*r - 19 = -2*x. Are x and -8/3 unequal?
True
Suppose -6*j = -2*j - 4. Let s be (4/(-6))/(2/(-9)). Which is bigger: j or s?
s
Let o = 6 - 4. Let z be o*(0 - 1) - -4. Let j(x) = -x**2 - 5*x + 85. Let i be j(-12). Which is smaller: i or z?
i
Suppose z = 3 - 0. Suppose z*f + 12 = -6. Do -7 and f have the same value?
False
Suppose -4*h + 4*w + 24 = 0, 0 = -3*h + h - 5*w - 16. Suppose -20 = -h*b - 2*b. Let n be 2/20*b/(-6). Do n and 1 have the same value?
False
Suppose -9 - 7 = 2*n. Let y be (n/18)/((-4)/(-6)). Are -0.1 and y non-equal?
True
Let k = -4 - -2. Let m = k + 2.2. Let i = 0.3 - m. Which is smaller: i or 4?
i
Let w be 1/((6/15)/2). Let b(y) = y + 9. Let t be b(-7). Is t <= w?
True
Let d = -745/4 - -185. Which is smaller: d or 0?
d
Let m be 4 + 3/((-6)/10). Is m > 3/13?
False
Let q = -498/5 - -100. Let x(i) = i**3 + 11*i**2 - 13*i - 12. Let z be x(-12). Is z less than or equal to q?
True
Suppose w + 2*w = -5*u + 1, 0 = -2*w + u + 5. Let a be -2 - (6 - 2) - w. Let d = a + 4. Is -4 equal to d?
True
Suppose -4*z - 38 + 10 = 0. Is -6 at least z?
True
Let f(t) = -t + 2. Let l be f(0). Let g = l - 2. Is -2 != g?
True
Let t = -10 - -10.2. Is t bigger than 4?
False
Let a(l) = -l - 11. Let f be a(-6). Let c(g) = -2*g**2 + g - 4. Let i be c(0). Is f < i?
True
Let b = -4/33 + 131/264. Which is smaller: 0.3 or b?
0.3
Let h be -2*(-1)/(-1 - 0). Is h greater than -5?
True
Let d be 2/10*(-5)/6. Suppose 0 = -0*q + 4*q + 84. Let f = -22 - q. Which is smaller: f or d?
f
Let w(x) be the first derivative of -x**4/4 - x**3 - x**2 - 4*x + 2. Let i be w(-3). Let y be 51/15 - i/5. Is 3 < y?
False
Let p = -680 + 42163/62. Is p > 1?
False
Suppose 18 = 3*j + 6. Suppose j*x = 2 + 66. Suppose 5*h - x = -k, k - 5 = h + 4*k. Is 4 smaller than h?
False
Suppose -4*q - 4*p - 5 = -3*p, 3*q - 4*p = -18. Are -22 and q equal?
False
Let i = -106/741 + -5/57. Suppose r + 5*f - 3*f = 9, 0 = -5*r - f. Are i and r unequal?
True
Let l(h) = -7*h**2 - 6*h. Let s be l(-1). Which is smaller: -20/31 or s?
s
Let x be (-3)/2*(-18)/(-27). Which is smaller: 2/63 or x?
x
Let s = -0.69 + 1.09. Let j = 4/5 + -13/10. Is s greater than or equal to j?
True
Suppose 0 = w + 3*w - 588. Let o = w + -252. Let s be 12/o - 2/(-5). Which is bigger: s or 1?
1
Let r be (-1)/(1 - (-3 + 1)). Let o(y) = y**2 + 6*y - 7. Let t = -13 + 6. Let n be o(t). Which is smaller: r or n?
r
Let r be (-2)/3*(-3 + -3). Let f be (-2 - -1)*1 - -2. Suppose 0 = 2*p - b - 7, -r*p + b - 4*b = f. Which is bigger: p or 0?
p
Let l = -1407/19 + 75. Are -1 and l equal?
False
Let i = -1 + -11. Which is smaller: -13 or i?
-13
Let g be (-88)/(-6) - 2/3. Let f be (10/g - 2) + 1. Which is smaller: f or -1?
-1
Let l = 1 - -5. Let f = -4 + l. Suppose -2*t = -3*k + 1, -f*t + t + 13 = 3*k. Is 3 <= k?
True
Let p be (-28)/(-98) + 2/(-7). Suppose -4*v + 87 = -r + 30, -3*v + r + 43 = p. Which is greater: v or 13?
v
Suppose 4*o = -o + 60. Let k be -4*(-3)/o*2. Let y be (k/8)/((-14)/(-24)). Does -1 = y?
False
Suppose 32 = 4*u - 3*h, 0*u = -4*u - 4*h + 4. Suppose 0 = -0*c + 3*c + 5*o - 21, 0 = -u*c - o + 13. Suppose -3*v + 6 = -v. Is c less than or equal to v?
True
Let z = 102/41 + 23557/205. Let n = z - 117. Which is bigger: n or -3?
n
Let m be 20/(-22) - (-4 - -3). Suppose 3*u - 4*q = -16 + 43, 0 = 2*u + 2*q - 18. Let o(b) = b - 9. Let j be o(u). Is j != m?
True
Suppose b - 1 = 3. Let m = b + 1. Suppose 2*h - p = m, p = 4*h + 3*p - 6. Which is bigger: h or 0?
h
Let j = 1.47 - 4.39. Let m = -0.08 + j. Which is greater: 1 or m?
1
Suppose -d - 5*b - 6 = 0, d - 6*b = -2*b + 3. Is 0 bigger than d?
True
Suppose 7*k = -0*k + 7. Let v = -1/98 + 215/1862. Is v greater than or equal to k?
False
Let i = -5 - -11/2. Let g = -4 - -6. Which is greater: g or i?
g
Suppose 2*g + 4*i + 2 = 0, 0 = -3*i - 6 - 6. Does 6 = g?
False
Let h be ((-3)/(-5))/(5/25). Let q = 5 - h. Suppose -3*o = -q - 1. Do o and -1 have different values?
True
Let z = -3 + -3. Suppose 18*w + 31 = -41. Is z at most w?
True
Let j = 6 + -4. Let n(f) = f**3 + 4*f**2 + f + 4. Let u be n(-4). Let h be (u - j/(-2))*0. Which is bigger: h or 4/7?
4/7
Let o(u) = -2*u**3 + 15*u**2 + 6*u + 17. Let n be o(8). Let w = -3 + 5. Is w equal to n?
False
Let m(j) = j**3 + 3*j**2 + 5*j + 2. Let c be m(-3). Let w(k) = k**2 + 13*k + 1. Let v be w(c). Which is smaller: v or 3?
v
Let z(c) = c + 1. Let g be z(-2). Let m be (-3 - g)/((-9)/18). Which is smaller: m or 0.1?
0.1
Let d be (-28)/(-6) - 2/3. Let c be (-3682)/18 - d/18. Let j = -205 - c. Which is smaller: