/(-14)*(-49)/i. Which is bigger: p or 3?
3
Suppose 2*n = -n. Let u be (2 - n)*1/(-2). Let z = -1/273 - -565/5187. Do u and z have the same value?
False
Let v be 1 - (1 + (0 - -1)). Which is bigger: 1/25 or v?
1/25
Let a be (-1 + -1)*2/12. Let t = -0.68 - -0.08. Is a at most t?
False
Let o be 6/(-3) + (-2 - 27). Let k = 43 + o. Suppose -2*b = b + k. Which is smaller: -3 or b?
b
Let i = -6 + 6. Suppose 0 = 3*x - 0*x + 3, -6 = 2*w + 4*x. Let a be (-2 - -1)/(1*w). Which is greater: a or i?
a
Let b be ((-2)/4)/((-2)/(-4)). Which is smaller: b or 7?
b
Let p = -6 + 1. Let g = p - -9. Suppose -23 = -9*k + g*k + 4*a, 2*a = k - 7. Which is smaller: 2 or k?
2
Let g = 2 - 1. Let x(h) = -h**3 - 9*h**2 - 7*h + 11. Let s = -20 + 12. Let o be x(s). Which is bigger: g or o?
o
Let v = 43.9 + -45. Is 2 greater than v?
True
Suppose 2*d - 51 = 101. Is 76 greater than or equal to d?
True
Suppose p = -4*p + 5. Is p not equal to 2?
True
Suppose -i - 2*z = i - 32, 0 = 4*z. Let y(m) = -m**2 - 2*m + 6. Let a be y(-3). Let r be i/(-20)*(2 + a). Is -2 greater than r?
True
Suppose g - 10 = -5*s, 2*g + s - 13 = -2. Suppose -2*d = 4*i - 2 + 6, g*i = 3*d - 5. Let u = 3/16 + -41/48. Which is greater: i or u?
u
Let w be ((-34)/(-10))/(184/5). Let b be (-21)/(-115) - (-2)/(-5). Let r = w + b. Is r equal to -1?
False
Suppose 0 = p - 2 - 0. Suppose -2*b + 14 + 2 = p*l, -10 = -b - 3*l. Suppose -v = -2*v + 3*f + 13, f = 3*v - b. Are v and 3 equal?
False
Let j(u) = -3*u - 6. Let k(i) = -2*i - 7. Let q(t) = -3*j(t) + 4*k(t). Let f be q(9). Let o be -2 + 2 + 1/3. Is f less than or equal to o?
True
Suppose -5*v = -v - 2*q - 2, 5*q = 3*v - 19. Let r = 1/866 + -129037/2598. Let t = 49 + r. Which is greater: t or v?
t
Let p(j) = -2*j. Let x be p(1). Let i be 1/x*6/3. Which is greater: 3 or i?
3
Let y = -7 + -6. Let s = 21 - 21. Do y and s have the same value?
False
Let r(x) = x**3 + 7*x**2 + 6*x + 1. Let c be r(-6). Let a be ((-6)/(-5))/(1/5). Let h = -5 + a. Is h at most as big as c?
True
Let n = -7 - -2. Let l be 2/((-3 - n)*1). Is 1/3 smaller than l?
True
Let r be (0 - (1 - 1)) + (-8)/(-8). Which is greater: -2/7 or r?
r
Let j(l) = l**2 - 8*l - 2. Let t be j(9). Do 0 and t have the same value?
False
Let b be (-2 + 1)*7*1. Let k(o) be the first derivative of o**4/4 + 7*o**3/3 - 4*o + 3. Let q be k(b). Is -5 at least as big as q?
False
Let w = 140 - 698/5. Let t = -0.2 + 0.3. Let l = -0.1 - t. Which is bigger: l or w?
w
Let r = 20 - 23. Which is smaller: -4/5 or r?
r
Let q = 138/55 - 13/5. Do -1 and q have different values?
True
Let q = -27 - -28. Are q and 6 nonequal?
True
Let d(g) = -g**3 + 6*g**2 - 3*g - 7. Let x(l) = -2*l**3 - 3*l**2 - 2*l - 3. Let w be x(-2). Let r be d(w). Let c be ((-1)/3)/(1/r). Is -1 at most as big as c?
True
Let n = -18 + 12. Let q = 2/15 + -19/30. Do q and n have different values?
True
Suppose 2 = -12*r + 10*r. Are r and -11 equal?
False
Let v = -6.949 + -0.051. Which is smaller: v or 0.1?
v
Let w = -628/7 + 90. Which is bigger: -1 or w?
w
Suppose 2*l - 6 = 4*l. Which is greater: -2 or l?
-2
Let p(n) = 3*n**3 + 6*n**2 + 2*n - 5. Let f(o) = o**3 - o + 1. Let x(l) = -2*f(l) + p(l). Let j be x(-5). Is j smaller than -4/5?
True
Let z be 3*-1*(-16)/72. Is 1 at least as big as z?
True
Suppose -k - 36 = -5*k. Let i(y) = 11*y + 1. Let d be i(-1). Let r = k + d. Which is bigger: r or 0?
0
Let h(s) = -s - 5. Suppose 25 = -y - 4*y. Let q be h(y). Which is greater: 1 or q?
1
Let o be (((-2)/(-6))/((-1)/(-3)))/1. Let m be (1/(-3))/((-6)/36). Are m and o nonequal?
True
Let t be 2 - 0/(-1)*-1. Suppose t*h = 6*h - 4. Is h less than 3/7?
False
Let d(u) = -u**2 + 4*u + 1. Let o be d(4). Let y be (o - 21/6)*-2. Is 4 smaller than y?
True
Let s(b) = 5*b + 7. Let n be s(-3). Is -8 smaller than n?
False
Let k(n) = -n + 1. Let p be k(3). Let z(j) = 8*j + 1. Let b be z(-2). Let g = b - -16. Which is bigger: g or p?
g
Let y = 18037/55 - 328. Let m = -19/660 + y. Which is bigger: m or -1?
m
Let v = -7 - -4. Suppose -2*x + 0*y - 2 = 2*y, 4 = 2*x - 4*y. Suppose x = 2*r + 3*q - 8, -3*r - q + 6 = 2*q. Is v less than r?
True
Let r = 8 + -8. Is r != 1?
True
Let d(y) = -y - 2. Let i be d(5). Let c be (-17)/(-8) + 5 + i. Is c equal to 1?
False
Suppose 4*c - 2*c - 12 = 0. Suppose 4*n - s - s + c = 0, 4*s - 12 = -3*n. Which is greater: n or -2/21?
n
Let k be (-1)/10*30/(-4). Let c = -4 - -3.5. Let t = c - -0.5. Which is greater: k or t?
k
Let m = 127.06 + -133. Let y = 6 + m. Which is bigger: 1 or y?
1
Let v(b) = -b**2 + 3*b + 3. Let p be v(3). Suppose 720 = -5*i + 5*z - 1120, -p*i - 1119 = 2*z. Let g = 2601/7 + i. Which is greater: g or 2?
2
Let d = 8 + -9. Does d = -0.05?
False
Let g = -343 + 1042/3. Is 4 < g?
True
Let n = -0.168 + -0.042. Let g = n + 0.01. Let v = -23/14 - -8/7. Which is greater: g or v?
g
Suppose 1 = -2*y + 3. Let z be (-2)/(-7) + 16/(-56). Which is smaller: z or y?
z
Suppose 7*t - 9 - 26 = 0. Let b = 1 - 1. Suppose 0 = -5*c + t - b. Is -1/5 >= c?
False
Let l = 5 - 4. Let r be (-2)/6*(-3)/l. Let i = 6/451 - 8/41. Is i > r?
False
Let y be ((-4)/6)/(7/(-63)). Let c be 12/9*y/28. Is c < 1?
True
Let m be (-1 + 4)*(-1 + 0). Let y be 0 + -1 + 0 + -26. Let f be (-2)/10 + y/15. Which is greater: f or m?
f
Let x = 71 - 69.94. Let i = 1 - x. Let z = i - -2.06. Is -2 < z?
True
Suppose 40 = 5*m - m. Suppose 4*p - m = -p. Suppose -o = -p*o - g + 2, -o + g = 0. Is o greater than 2?
False
Let l be (2 - 1)*24 - 1. Suppose 2*t = -0*c + c - 28, -c - 2*t = -20. Which is bigger: l or c?
c
Let o be ((-159)/4)/(-4 - -1). Let z = o - 59/4. Do z and -1 have the same value?
False
Let f(c) = -c**3 + 18*c**2 - 18*c + 19. Let l be f(17). Which is greater: l or 0.3?
l
Let f(i) = -i**2 - 12*i - 13. Let t be f(-9). Let k be (t/21)/(-1 - -3). Is 0 bigger than k?
False
Let n = 3.97 + 0.03. Let c = n - 3. Let t = -9.1 - -9. Is c smaller than t?
False
Let w be 18/4*(-4 - 44/(-8)). Is w smaller than 8?
True
Suppose -5*r + 9 = -4*v, 6 = -3*v + v + 4*r. Let u be 6 - 3 - (-16)/(-5). Let a = -1/55 - u. Is a greater than or equal to v?
True
Let r = 1078 + -67. Let l = -37405/37 + r. Is l less than -1?
False
Let n be 6/1*(-5)/(-10). Suppose n*u = 7*u + 20. Is -5 at least u?
True
Let n be -2 + 15/(0 + 3). Suppose 2*c = n*c. Is -2/3 at least c?
False
Let d = 0 - 3. Let b(g) = -2*g - 7. Let w be b(-11). Let m(q) = q**3 - 14*q**2 - 14*q - 18. Let a be m(w). Is a bigger than d?
False
Let h(i) = 2*i + 1. Let k be h(-1). Let b be (k/10)/((-2)/(-5)). Let d = 0.2 - 0.3. Is b < d?
True
Suppose 0 = 5*g - 10*g. Let m = -1258/7 - -180. Which is smaller: m or g?
g
Let t = -0.1 - -0.2. Let i = -207 + 829/4. Which is greater: i or t?
i
Let h = 28/17 + -276/85. Is h at most as big as -2/3?
True
Let u = -13/125 + 6466/875. Is u smaller than 8?
True
Let q be (-4)/(-12) - 1 - (-4)/3. Which is greater: -3/2 or q?
q
Let r be (-71)/23 + 1 + 2. Which is smaller: r or -1?
-1
Let q = 118 + -169. Is -51 less than q?
False
Let p be 5/(-2)*56/(-10). Suppose p = -3*k - 7. Does -6 = k?
False
Let t = -507 + 29. Let j = t + 474.06. Let r = -0.06 + j. Is -0.1 not equal to r?
True
Let h = -157/615 - -5/41. Which is smaller: -1 or h?
-1
Suppose -5*f + 8 = 3*z - 2, 4*f = -4*z + 24. Suppose 1 = -3*c + z. Let t be c + 1 + -3 + 0. Is 1/4 less than t?
True
Let u(a) = a - 7. Let x be u(7). Suppose 0 = b - x*b + 1. Let k = -81 - -403/5. Which is smaller: k or b?
b
Suppose -2*a + 2 = p, 5*a + 2*p = 7*p - 10. Which is bigger: a or 3/16?
3/16
Let d(f) = -f**2 + 8*f + 5. Let r be d(8). Let t = r + -2. Which is bigger: -1/4 or t?
t
Let o = 1 - -1. Let r be 3/6*4 + o. Suppose b + 5*v = -2*b - 19, r*b + 17 = -5*v. Is 0 > b?
False
Let a(c) = -c**2 - 5*c - 3. Let t be a(-5). Let x be (-1 - (t + 2))/3. Is x greater than or equal to 0?
True
Let u = -0.57 + 0.6. Let a = -0.37 - u. Let w = -1.4 - a. Which is smaller: w or -2/9?
w
Let o(z) be the second derivative of -1/20*z**5 + 0*z**4 + 2*z + 1/2*z**2 + 0 + 1/3*z**3. Let w be o(2). Which is smaller: w or 0?
w
Let d = 178 + -4448/25. Let v = 98 + -99. Which is greater: v or d?
d
Let z be 18/3 + 2 + -4. Suppose z*m = 2*m - 4. Which is greater: m or -3/10?
-3/10
Let o = 0.45 + -0.15. Which is greater: o or 2/7?
o
Let g(y) = -y + 2. Let l be g(0). Suppose l*v - 1 = -z + 3*v, 3*z + 2*v = 3. Which is bigger: -1 or z?
z
Let