 Let v be 0/(4/p + 0). Which is greater: 1 or v?
1
Let o = -11 + 11.1. Which is smaller: -0.01 or o?
-0.01
Let t = -0.047 + -1.953. Is t greater than or equal to -2/15?
False
Let h(m) = -m**3 + m**2 - 2. Let o be h(2). Let l be (o/15)/(1/10). Let f(s) = s**3 - 9*s**2 + 6*s + 11. Let a be f(8). Which is greater: a or l?
l
Let n(u) = -u**3 - 7*u**2 + 2. Let j be n(-7). Suppose -j*f = -0*f - 4. Let a = f + -1. Which is greater: a or 1/6?
a
Let w(l) be the third derivative of -l**6/120 + 7*l**5/60 + 3*l**4/8 - l**3/2 - 4*l**2. Let z be w(8). Is z greater than 7/2?
True
Let n = 15 - 17. Which is smaller: n or -1?
n
Let h be 2/(-6)*18/5. Let s = h - -17/10. Let w = -50 + 52. Is s at least w?
False
Suppose 0 = u - 0*u - 15. Is u at least as big as 15?
True
Let t = 7 + 11. Which is greater: t or 19?
19
Let a(b) = 2*b**3 + 4*b**2 + b - 2. Let h be a(-2). Let n = h - -8. Is 4 greater than n?
False
Let z(p) = -p**2 + 12*p. Let b be z(12). Let d be (b/2)/(1*-3). Let c = -214/399 + -2/57. Which is greater: d or c?
d
Let x = 0 + -1. Suppose 2*k + 0*k = 0. Let q = 1 + k. Which is smaller: x or q?
x
Suppose 0 = 3*u + 4 + 5. Suppose 0*b - 6 = 3*b. Let l be (-2 + b)*1/14. Is u equal to l?
False
Let p = -41 - -42. Is p < 6?
True
Let k(w) = w**3 - 4*w**2 - 6*w + 4. Let p be k(5). Let f be 1/3 + 2/(-6). Are p and f unequal?
True
Let j = 77 - 613/8. Is -5 at least as big as j?
False
Let y = -69 - 115. Let p = y - -347. Let u = -1465/9 + p. Which is smaller: u or -1?
-1
Let g(q) = -3*q - 1. Let f be g(0). Suppose -3*w = -4*m + 12, 5*m = 2*w + 9 - 1. Let k = m - f. Is 2/15 at least as big as k?
False
Let k(i) = -i + 11. Let u be k(11). Which is greater: 2/5 or u?
2/5
Let f(i) = -9*i**2 + 3*i - 15. Let z(b) = -4*b**2 + 2*b - 7. Let o(n) = -3*f(n) + 7*z(n). Let r be o(4). Is r smaller than -2/9?
False
Let p = -7 + 10. Suppose p*a + 1 - 7 = 0. Let n = a - -1. Is n at most as big as 4?
True
Let n be 4 + 0/(-1) + -1. Let m be (-2 - (-4)/n)*-3. Suppose -a = -m*a - 2. Is a at least as big as -1?
False
Let m = -148469/23288 - -1/2911. Let q be -2 - (-1 + 98/16). Let z = m - q. Which is smaller: z or 0?
0
Let s(g) = g - 1. Let k be s(4). Let c be 0 + 2 - 1 - -1. Suppose k*w - 6 = -z - 0*z, w - c = -z. Is w at least 4?
False
Let w = 2/49 + 190/147. Is 2 <= w?
False
Let l = 43/2 - 22. Let y(b) = b**2 + 5*b - 1. Let o be y(-5). Are l and o unequal?
True
Let v = 2 - 2. Let g be 3/18 + (-8)/30. Is v > g?
True
Let f = -270/803 - 2/73. Let j be ((-1)/22)/(3/(-2)). Let v = f + j. Is v at least 2/3?
False
Let f = -326 - -325. Let j = 76/21 + -10/3. Is j > f?
True
Let h = -1 - -0.8. Which is greater: 21 or h?
21
Let z(j) = j**2 - 3*j - 12. Let k be z(5). Which is bigger: 3 or k?
3
Let z = -96667/69 + 1401. Let w be (2/(-6))/(24/(-18) - -1). Are z and w nonequal?
True
Suppose -6 = -t - 1. Suppose -3*b = -t*b. Which is greater: -3/5 or b?
b
Let j be 2/9 - (-224)/(-1575). Let m = -1/59 + -115/177. Which is smaller: j or m?
m
Let w = 0.4 - 2.4. Suppose -16 = -5*i + x + 13, -2*i + 9 = -3*x. Is i equal to w?
False
Let v = -4 + 4.6. Let b = 0.7 - v. Is -0.07 <= b?
True
Suppose 26 - 61 = 5*u. Let f(r) = -r**2 - 8*r - 8. Let y be f(u). Let x be -1*(5 + -2 + -3). Are y and x equal?
False
Let t(q) = -3*q + 5*q**2 - 6 - 2*q + q**3 + 4*q. Let j be t(-5). Is j less than or equal to -2/9?
True
Let v be -2 + -22*(-5)/10. Let z(w) = 1 - 8*w + 3*w**2 - 7 - 4*w**2. Let j be z(-5). Is j less than v?
False
Let z be (1 + -4 - -4)*3. Suppose -l + z*l = -10. Let n be -6 + (1 + -1)/(-1). Which is greater: n or l?
l
Let c be 8/3*(-18)/(-12). Suppose 3*m = 2*j + 3, 4*m + j - c = 6*j. Let p be (1 - m)*(-2 + 3). Which is greater: 1/2 or p?
1/2
Suppose -24 = -10*y + 7*y. Let r be 2/y*(-12)/21. Which is smaller: 0 or r?
r
Let y be (-5)/((-15)/(-41)) - (-2)/(-6). Is y equal to -15?
False
Suppose -8 + 26 = -2*k - 4*d, -6 = 3*d. Let u be 2/3*k/(-15). Which is smaller: u or 9?
u
Let g(l) = l**3 + 8*l**2 + l + 7. Let b be g(-8). Which is smaller: b or 3/14?
b
Suppose 5*l + 1 - 11 = 0. Suppose -l = b - 0. Let o be (b/(-5))/((-4)/(-15)). Which is smaller: o or 2?
o
Let k = 470/33 + -186/11. Let v = k - -4. Which is greater: v or 0?
v
Let v(a) = -4*a**2 - 7*a + 6. Let u be v(-3). Are u and -10 nonequal?
True
Let q = 161 - 165. Do q and -5 have different values?
True
Let u be ((-4)/(-8))/((-9)/20). Let f be (-1 + 0 - 1) + 1. Which is bigger: u or f?
f
Let k(r) = -r**3 - r + 3. Let a be k(0). Let d be (-2)/a - (-28)/24. Let x be -2*-1*(-1 - -2). Does x = d?
False
Let k = -7066/161 - -306/7. Which is smaller: 1 or k?
k
Suppose -110 = -2*s - 3*s. Suppose m + 5*k = -s, 0 = 5*m - k + 2*k - 10. Do 2 and m have the same value?
False
Let o = -48 + 49. Which is smaller: o or -34?
-34
Let l be (1 + -1)/(-5 + 6). Let y = 3 - 2. Is l smaller than y?
True
Let g(t) = -t + 12. Let i be g(6). Let k be (-11)/33*i*2. Which is greater: -5 or k?
k
Let x(j) be the second derivative of j**4/12 - 5*j**3/6 - 3*j**2 + j. Let v be x(6). Does v = -2/7?
False
Let c = 189785/29 + -6545. Let a = -122/261 - c. Which is bigger: 3 or a?
3
Let k = 1571/4634 + 6/331. Is -1 bigger than k?
False
Let x = 60 + -84. Is -0.1 >= x?
True
Let l = 5 + 8. Let a = -13 + l. Which is greater: a or 4/11?
4/11
Suppose 0 = 4*x - 12 - 0. Let s(b) = b**3 - b + 5. Let k be s(0). Suppose -2 = 2*c + 2*a, -7 = -3*c + k*a + 22. Is c > x?
False
Let i(c) = 26*c - 2. Let k be i(-1). Let m = -27 - k. Let t = 0 + 0. Which is bigger: m or t?
m
Let f be 11/((-11)/6)*4/92. Is 0 >= f?
True
Let i be 84/10 + 24/40. Let z be (i + -3)*1/(-14). Does -1/4 = z?
False
Suppose -1 = -8*f + 31. Which is bigger: 3 or f?
f
Let p be 77/690 + 10/(-75). Do 0 and p have the same value?
False
Let k be (4 - (-3268)/(-816))*(-16)/6. Which is greater: k or 0?
k
Let i(a) = a + 3. Let v be i(0). Let n(f) = -f + 3. Let g be n(0). Suppose -g*c + 7 - 4 = 0. Which is greater: c or v?
v
Let o be 3/(2/(40/(-15))). Which is greater: 2 or o?
2
Suppose -3*f = -6*f + 12. Suppose 8 - 88 = f*z. Let o be 5/z - 3/(-4). Which is smaller: -4 or o?
-4
Let k = -35/172 + -2/43. Let q(a) = a**2 - 2*a + 3. Let w be q(2). Suppose w*y + 2*y - 3*p = 6, 5*p + 10 = -3*y. Which is smaller: k or y?
k
Let y be 94/18 + 6/(-27). Let o = 7 - y. Let z = -2 - -3. Which is smaller: o or z?
z
Let q(h) = 3*h**2 - h - 3. Let s be q(2). Which is bigger: s or 8?
8
Let y = 1385/14 - 99. Which is bigger: y or -1?
y
Let n = 3046 - 563508/185. Is n <= 0?
False
Let a be ((-8)/(-10))/(8/20). Suppose p - 5 = -0*i + a*i, 2*i + 20 = -4*p. Is -4 bigger than p?
False
Let l(p) = -p**2 - 5*p - 4. Let u be l(-5). Which is greater: -0.2 or u?
-0.2
Suppose -2*c = r - 6*r + 27, -4*c + 2*r = 14. Which is smaller: -0.1 or c?
c
Let h = 13.9 - 15. Let x = h + 0.1. Are 1/4 and x equal?
False
Let c = 11 + -34/3. Suppose -3*m - 18 = -0. Let a be (-2 + 0 - m)*-1. Which is bigger: c or a?
c
Let a = 0.3 - 0.1. Let l = a - -0.8. Is l less than 2/3?
False
Let d(i) = i**2 + 9*i. Let x be d(-9). Let t be -2 + 24/14 + 0. Is x > t?
True
Suppose -5*n + 34 = -2*s, 4*s + 2*n + 7 = -61. Which is smaller: -19 or s?
-19
Suppose 3*d + 6 = -3. Let v be (d/21)/(12/(-70)). Which is smaller: v or 0?
0
Suppose 3 = -i + 2. Let q = -13 + 11. Which is smaller: q or i?
q
Let a(j) = j**3 - 4*j**2 - 3*j. Let s be a(6). Let w be s/(-12) + 2/4. Is -4 >= w?
True
Let h be 616/110 - 4/(-10). Are h and 7 nonequal?
True
Let j = -29 - -22. Is -10 at most as big as j?
True
Suppose 0 = -5*l - 3*v + 55, 6 + 3 = -2*l + 5*v. Suppose -l*r - 12 = -6*r. Which is smaller: -0.1 or r?
r
Let z = -87 + 87. Let p(l) = l**2 + 4*l - 5. Let f be p(-5). Is f greater than or equal to z?
True
Suppose -8 + 3 = -5*o. Which is greater: o or 1/3?
o
Let a(m) = m - 7. Let t be a(0). Let u be t/98*4/(-3). Is -1 less than or equal to u?
True
Let y be (2 + -5)*((-8)/(-4) - 1). Which is greater: y or -4?
y
Let x(v) be the second derivative of -v + 0 - 1/12*v**4 + 0*v**3 + 0*v**2 - 1/20*v**5. Let j be x(0). Which is smaller: -3/5 or j?
-3/5
Let d = -8 + 10. Let u = d - 3. Is u smaller than 1/5?
True
Suppose -3*p - 4*g - 14 = 0, -27 = 4*p + 4*g - 11. Let r be (-25)/(-4) - p/(-8). Are r and 6 non-equal?
False
Suppose -4*a - a + 3*y = 29, a - 2*y = -3. Let g = -7 - a. Which is smaller: g or -2/43?
-2/43
Let s be (-4)/((-1)/(-1))*(-2)/8. Wh