t*g - 12 + 59. Let n be m(y). Which is smaller: 4/9 or n?
n
Let t(o) = -o + 9. Suppose 2*u + 9 = -u, -4*d + 3*u + 37 = 0. Let l be t(d). Suppose 2*j + 0*j + l = 0. Do j and -1 have the same value?
True
Let q(m) = -m + 19. Let d be q(19). Do d and -1 have the same value?
False
Let u = -25 + 24. Let h(p) = p**2 + p - 1. Let x be h(-3). Let j be (2/20)/((-2)/x). Is j at most as big as u?
False
Let b(y) be the second derivative of y**3/3 - 15*y**2/2 - 5*y. Let z be b(10). Which is greater: z or 4?
z
Let l be 4/(-18) - (-8)/36. Suppose 0 = -l*w - 5*w + 5. Let h be (-1)/6 - w/(-2). Is h bigger than 1?
False
Let y = 92/9 + -61/18. Let i = -22/3 + y. Which is greater: i or -2?
i
Let p be (-52)/13 - 62/(-16)*2. Is 5 >= p?
True
Suppose 0 = s - 7*s + 348. Do 59 and s have the same value?
False
Let q = 3.2 + -0.2. Let d = 6 - q. Do d and -0.2 have different values?
True
Suppose 183*k - 187*k = 392. Is k greater than -195/2?
False
Let v = 1 + -1. Let r(o) = -1. Let q(y) = -y + 3. Let d(u) = q(u) - r(u). Let c be d(6). Is v at most c?
False
Let i(l) be the third derivative of -l**4/24 - l**2. Let y be i(-2). Let z = 10 - 9. Are z and y unequal?
True
Suppose 0 = -4*u - 9 - 11. Which is bigger: 0 or u?
0
Let p = 0.01 + 3.99. Suppose 10 = w + w. Suppose 5*i + 25 = w*k, 4*i - 3*k + 13 = -2. Which is bigger: i or p?
p
Suppose 6*m = 2*m - 4. Suppose -5*p - 2*t - 112 = t, -2*p + 3*t = 49. Let n be p/60 + (-3)/(-12). Which is bigger: m or n?
n
Suppose -2*n - 5 = -3*q - 6*n, 4*n = 3*q - 13. Suppose 2 = q*h - 2*h. Suppose 16*y = 6*y + 30. Is h less than or equal to y?
True
Let t(w) = -w**2 + 6*w + 6. Let s be t(6). Suppose s*r = r. Which is bigger: r or 3/7?
3/7
Let k = 4 - 5. Let u be ((-2)/(-4))/(6/(-4)). Let i = k - u. Which is greater: i or -1?
i
Let x = 217609/8 + -27235. Let y = x - -34. Which is smaller: 0 or y?
0
Let u = -0.16 - -62.16. Is -2/5 greater than u?
False
Let f be 36/15 + -1*2. Suppose -8 = 4*i + 3*b - 0, -4*i - 5*b - 16 = 0. Which is bigger: f or i?
i
Let z(f) = 3*f + 50. Let a be z(-16). Which is smaller: a or 3?
a
Suppose s = -4*s + 15. Suppose -4*j = 2*x - 14, x - s*x + 17 = 5*j. Does j = 2?
False
Let a be 4/10 - (-3 - -3). Let g = 1 - -2. Which is smaller: a or g?
a
Let u be 1 + (2 + 2 - 0). Let n = u - 2. Is n < 3?
False
Let n be 51/(-9) + 4 + 1/(-1). Do -3 and n have the same value?
False
Let i be -4 + 4 + 16/(-28). Is 0 less than or equal to i?
False
Let l = -2/37 - 25/222. Are l and 1 equal?
False
Suppose 9 = 2*w - 3*q, -27 = 5*q - 12. Let n = 2439 + -36626/15. Let y = -12/5 - n. Is y >= w?
True
Let v be (9 + -12)*(-2)/(-3). Which is smaller: 0.1 or v?
v
Let j = -23 + 369/16. Which is bigger: -1 or j?
j
Suppose n + 4*l + 5 = -12, -5*n + 2*l = -3. Is n not equal to 1/4?
True
Let b be 33467/(-154) + 1/(-2). Let y = b - -218. Do y and 1 have the same value?
False
Suppose -8*z + 2*g - 76 = -3*z, 5*z + 2*g = -64. Let n be (-2)/z*3*1. Suppose l - 5*l - 4 = 5*u, -u - 4 = 4*l. Is n less than or equal to u?
False
Let r = 3 + -1. Let u(p) = r - p + 0 + 3*p**2 - 4*p**2. Let g be u(-2). Is 1/2 at least g?
True
Let o = 19 - 31. Which is smaller: o or 1?
o
Let z = 3 - -33. Suppose 4*y - 4*a = -z, -3*y - a = -6*a + 33. Let q = 7 + y. Which is bigger: q or 2?
2
Let i = -11 - -10. Let c = i + -5/2. Are -3 and c non-equal?
True
Let y(p) = 2*p + 31. Let n be y(-16). Which is smaller: n or 1/5?
n
Suppose 5*v - 4 = -14. Let s = -2/393 + -174/131. Are v and s equal?
False
Let i = -26.78 + 27. Let a = i + 0.1. Let p = a - -0.08. Is 1 <= p?
False
Suppose 0 = -5*y - 1 - 29. Let h be (-3)/y - 13/28. Let b = h - 2/7. Is b at least 1?
False
Let c be ((-6)/4)/(3/28). Suppose 108 = -8*w - 4. Is c bigger than w?
False
Let d = -6 - -8. Is 2 at least as big as d?
True
Let j be -6 + 5 + 52/6. Is j at most -0.2?
False
Let f = 2.019 + -0.019. Let r = -0.9 - 0.1. Let g = f - r. Is g at most as big as -1?
False
Let a = 0.75 + -0.4. Let m = 2.95 + -3. Let l = a + m. Which is greater: 1 or l?
1
Let u be (-12)/3 + 2/5. Which is bigger: -5 or u?
u
Let b(w) = 2*w - 1. Let q be b(2). Let l be (3 - q)/(0 + -1). Suppose l = 4*o - j - 7, -3*o + 4*j + 2 = 13. Are 2 and o non-equal?
True
Let v = -2.1 - -2.1. Which is greater: -42 or v?
v
Let l = 1.2 - -3.2. Let q = 5 - l. Let s = 1.6 - q. Which is smaller: -0.1 or s?
-0.1
Suppose -2*t = 4*u - 2, -8*u + 3*u - 3*t + 3 = 0. Which is greater: -10/9 or u?
u
Suppose -13*x + 10*x + 3 = 0. Is 2/11 greater than x?
False
Suppose t + 3*t - 4*z - 16 = 0, 2*z + 7 = 3*t. Suppose 2*l - 15 = 5*s, -5*s + 8 - 3 = 2*l. Let g = s + 1. Which is greater: g or t?
g
Let u be -4*(2 + (-27)/12). Is 1 equal to u?
True
Let h = 7/18 - 1/6. Let r = 69 + -71. Which is bigger: h or r?
h
Let m be 1 - (2 - 0)/(-2). Suppose -i - m*i = 0. Suppose 0 = 8*k - 3*k + 5. Is i <= k?
False
Let u be (-1412)/(-288) - 2/(-4). Let i = u - 52/9. Is i > 1?
False
Let m = 10 + -9.8. Is 2/57 bigger than m?
False
Let r = -0.18 + 0.18. Let s(q) = 28*q**3 - q**2 + 2*q - 1. Let z be s(1). Let h be (-2 - z/(-10)) + -1. Do r and h have the same value?
False
Suppose 4*h - 3 = -31. Let v = h + 8. Which is bigger: 1/6 or v?
v
Let l = 0.07 - -5.93. Let q = -1.05 - -1.15. Is l greater than or equal to q?
True
Let t = -28 + 5. Let p = t - -17. Is p less than -5?
True
Let z be 4/(-5)*10/(-4). Let d = 1163/696 + -1/232. Which is bigger: z or d?
z
Let l(g) = g**3 + 10*g**2 - 12*g - 10. Let j be l(-11). Let k(i) = 3*i - 1. Let c be k(j). Suppose -2*t - m = -3, 5*t - c*m = -5 - 10. Is t <= 0.2?
True
Let b be 72/188*2/6. Which is smaller: -1 or b?
-1
Let j = -10/21 - -29/42. Which is smaller: j or 1?
j
Let l be 0*3/(-30)*-5. Let q = 199/4 - 50. Which is smaller: q or l?
q
Let f be 0*1/(1 - 0). Suppose 4*v + f*v - o = 2, 3*o = 4*v - 6. Let j be 20/120 - 7*(-2)/(-12). Do j and v have the same value?
False
Let u = 0.8 + 2.2. Let z = u + -3.1. Is 3 > z?
True
Suppose w + 3*w = 12. Suppose -5*j = 2*x + 17, w*j + 1 = -3*x - 2. Let d be (x - 3)/((-1)/(-1)). Is d less than 0?
False
Let y(s) = -1. Let q(t) = t**2 + t. Let d(a) = q(a) + y(a). Let p be d(-4). Let c = -9 + p. Which is greater: -1 or c?
c
Let r be (1/(-74))/(-3*1/6). Which is greater: 0 or r?
r
Let a = 24 - 17. Suppose 2*z = -a + 5. Which is smaller: z or -2/15?
z
Let x = -1 + 3. Suppose -4*r + x*w - 20 = 0, 4*w + 1 = -7. Is r smaller than -5?
True
Suppose 4*w = w. Suppose 3*n = -w*n. Is n less than 1/5?
True
Let m = 0.023 - 1.173. Let u = -1.1 - m. Let b = -31 - -219/7. Which is bigger: b or u?
b
Let o(z) = 4*z**2 - 3*z + 3. Let k be o(3). Suppose -4*h + 2 = -k. Which is smaller: h or 7?
7
Let j be (-10)/(-3) - (40/(-15) + 3). Which is greater: 2 or j?
j
Suppose -2*t - 1164 - 550 = 0. Let y = 6009/7 + t. Which is smaller: 1 or y?
1
Suppose q + 4*v - 12 = 0, 0 = q + 2*v - 1 - 3. Let g(z) = -2*z - 1. Let l be g(q). Is 5 greater than or equal to l?
False
Let y = -124 + 123. Which is smaller: y or -12/7?
-12/7
Let f be (2/3 + -2)*3. Let r be f/((-40)/22) - 2. Which is smaller: r or 1?
r
Let a = 4.05 + -0.05. Let h = -4.01 + a. Let t = 1.99 - h. Which is bigger: 1 or t?
t
Let a = -7.92 - 0.08. Let i = a + 7. Is i >= -2?
True
Let z be 7/((9/33)/3). Suppose 2*g - z = -3*k, -139 = -2*g - 2*g - k. Let a = 137/4 - g. Which is smaller: 1 or a?
a
Suppose 4*w - 4*u - 164 = -6*u, 2*w - 78 = -2*u. Is w at most as big as 43?
True
Let c be 3 - 1*1/(-1). Suppose 0 = m + c*m. Is m bigger than 6/5?
False
Let m(v) = v - 8. Let w be m(7). Let h = w + 0. Let d = 2 + -1. Is h less than or equal to d?
True
Let d be (-12)/(-36) - (-509)/(-1509). Let m = 2507/2012 - d. Which is smaller: 2 or m?
m
Let o = -0.01 + -4.99. Which is smaller: -1/4 or o?
o
Let v(l) = -2*l + 2. Let s(y) = 2*y - 3. Let f(n) = 3*s(n) + 4*v(n). Suppose 5*d + 4 = -1. Let m be f(d). Which is bigger: m or -3?
m
Let x(a) = a**3 - 6*a**2 + 5*a + 1. Let h be x(5). Suppose 5*k = 2*u + 3, 5*u = -0*k - 4*k - 24. Do k and h have the same value?
False
Suppose -g + 5 = 4*g. Let i = 4 - 3. Let l be (-2 - i)/(-3) + -1. Is l at least g?
False
Let p = 12 - 6. Let v(d) = -d**3 + 7*d**2 - 5*d - 3. Let t be v(p). Let j be ((-2)/(-8))/((-1)/(-4)). Which is bigger: t or j?
t
Let m = 6.7 - 0.7. Which is smaller: m or -2/7?
-2/7
Let h = -13/45 + 901/315. Is h equal to 4?
False
Let z = 0.74 + -0.8. Let p = -7.06 - z. Let j = 