
p
Let a be (-2)/(-4)*1/3. Let o = 13 + -10. Suppose 3*f + o = 3*x, -3*f + 5*x = f + 6. Which is bigger: f or a?
f
Let l(j) = j**3 + 18*j**2 + 16*j - 22. Let s be l(-17). Is -8 smaller than s?
True
Let m(z) = 5*z + 21. Let c(h) = -h - 5. Let x(q) = 18*c(q) + 4*m(q). Let d be x(4). Let a be 3/(-3) - (-3 + d). Which is bigger: a or -2?
a
Let x = 3428149/5032635 + -19/10685. Let g be ((-2)/(-3))/((-314)/(-6)). Let a = x - g. Is -3 at least a?
False
Suppose 3*g = 2*h - 15, -5*g = -5*h - g + 20. Suppose -4*p + 2*m + h = 8, -m = -3*p - 5. Let n = 0 - 0. Which is bigger: n or p?
n
Let f = 10 + -10. Let p = 1/32 + -9/32. Which is bigger: p or f?
f
Let x = 4/61 - -102/305. Let l = -4 - -6. Let f = -1 + l. Which is smaller: x or f?
x
Let d be ((-3)/(-2))/(22/4). Which is greater: 1 or d?
1
Suppose -g + 3*r = -16, g = 6*g + r. Let h = 106/7 + -629/42. Is h not equal to g?
True
Let d(p) = -6 - p + 4*p - 4*p + 0. Let j be d(-4). Which is greater: j or -1/3?
-1/3
Suppose 22*s = 17*s - l + 101, -2*l = -s + 18. Is s smaller than 19?
False
Suppose 0 = -0*v + v - 3*o + 9, v - 12 = -4*o. Let d be (v - (-3)/(-90))*-4. Which is greater: d or -1?
d
Let m be (4 + -4)/(0 + -1). Suppose 0 = 2*o - 3*g, 0 = -m*o + 4*o + 2*g - 32. Let z = -8 + o. Is z equal to 0?
False
Let w = -76 - -378/5. Suppose 0 = -6*o + 2*o + 8. Suppose -m + 1 = -o, 5*m - 15 = s. Which is smaller: w or s?
w
Suppose 4*u + 4*h + 49 = -h, 4*u - 5*h = -39. Suppose 0*j + 48 = -4*j. Which is smaller: j or u?
j
Let v(r) = -r**2 - 7*r - 5. Let p be v(-6). Let m be (-1)/18 - 4/(-18). Which is smaller: m or p?
m
Let n(g) = 7*g**2 + 6 - g**3 + 2*g + 0*g - 8*g. Let a be n(6). Let r = 150 - 144. Is a bigger than r?
False
Let l be (4/15)/(4/6). Let j(s) = s**2 - 6*s + 4. Let w be j(4). Let o = 3 + w. Are l and o non-equal?
True
Let v(z) = -z**2 - z + 1. Let b(i) = i**3 - 6*i**2 + 6*i - 4. Let r be b(5). Let c = -1 + r. Let j be v(c). Which is smaller: -2/17 or j?
-2/17
Let o = 0.19 + 0.71. Let d = o + -0.93. Which is smaller: d or -2/5?
-2/5
Let c = 29 + -29.3. Let u(v) = -v**3 + 4*v**2 - v + 3. Let n be u(4). Which is smaller: c or n?
n
Let a be -5 - (3 - 5) - (-315)/111. Which is bigger: 0 or a?
0
Let v = 13/55 - 3491/110. Let c = 32 + v. Which is smaller: 2 or c?
c
Let d be (3*-1)/((-30)/(-20)) - -3. Is d smaller than -4/35?
False
Let l(n) = -12*n - 4. Let c be l(6). Let t = -110608/5 - -22046. Let f = c - t. Which is greater: f or 3?
3
Let a be 1/3 + 1/(-3). Suppose a = -i + 2*i + 1. Which is smaller: -2 or i?
-2
Suppose -2*a - 2 = -3*a. Suppose 3*l = l - a. Which is smaller: l or 1/14?
l
Let i be ((-1)/(-3))/((-2)/114). Is i > -17?
False
Suppose -16 = -k - 5*y, 2*y + 0*y = -k + 7. Let h be -4*(-105)/(-273)*(-3)/(-20). Is k smaller than h?
False
Let h be -1 - -2 - (-3)/(-3). Suppose 2*z - 4 = -h*z. Let g(x) = -x + 1. Let b be g(z). Which is smaller: b or -1/4?
b
Suppose 4*a = 4*g - 12, -7 = -0*a - 3*a - g. Let d = -7 + a. Is d greater than -8?
True
Suppose -12 + 2 = 5*x. Let o = -7 - -12. Suppose -4*f = -o*y - 2*f - 5, 5*f + 3 = -3*y. Do x and y have the same value?
False
Suppose 4*y + 22 = 5*k - 3*k, -3*y + 3*k = 24. Let o = 1 + y. Which is bigger: 1/4 or o?
1/4
Let i = 83/30 + -81/10. Is -6 greater than i?
False
Suppose -5*q - 5*z - 5 - 15 = 0, -2*q + 3*z + 12 = 0. Suppose q = 3*a - 0*a. Let y be (-14)/6 - (-1 + -1). Which is smaller: a or y?
y
Suppose 0 = 4*l + 35 + 13. Do -12 and l have the same value?
True
Let v(c) = c**3 + 6*c**2 - 6*c + 8. Let l be v(-7). Which is smaller: l or -4/13?
-4/13
Suppose -4*u + 19 = -1. Suppose 0 = -u*y + 5*s - 5, s + 9 = -2*y - 2*y. Let i be (-1)/2*(y - -2). Are i and 0 nonequal?
False
Suppose 2*u + 3*u = 0, 15 = -f + 3*u. Suppose -t = -30 + 45. Is t not equal to f?
False
Suppose -8*f = -4*f + 4. Are f and -2 equal?
False
Suppose f + 2*f - 4*z = 19, -9 = -f + 2*z. Let i be 2/(-8) + f/12. Let b be -1*2/4*0. Which is smaller: i or b?
i
Let s(u) = 3*u**2 + 6*u + 12. Let q be s(-2). Is q greater than 15?
False
Let z = 5/12 - -1/3. Let r be (-2 - 2/(-1))/2. Is r greater than or equal to z?
False
Let p(c) = -c**3 - 3*c**2 + 3*c. Let s be p(-4). Let v be ((-1)/5)/(s/(-10)). Are v and 1/3 equal?
False
Let m = 74 + -74. Is m > 1?
False
Let z(i) = -i**2 + 7*i - 10. Let l be z(3). Let s be (-4)/(-6) + 16/3. Suppose -4 - s = -5*y. Is y smaller than l?
False
Let a = 9 - 8. Let m be a + -1 - (-3)/(-18). Let b = -8 - -23/3. Is b > m?
False
Let i = 2 + -2.1. Let j = -326 - -324. Which is smaller: i or j?
j
Let h(f) be the first derivative of -f**4/4 + 4*f**3/3 - 3*f**2/2 + 4*f - 5. Let z be h(3). Does 4 = z?
True
Let u be (-1)/(-4)*(-32)/156. Are u and 0 non-equal?
True
Suppose 3*u + 9 = -3*i - 6, 0 = -2*i + 5*u + 25. Suppose -5*n - 7 - 5 = -g, 4*g + 3*n + 44 = i. Is g less than or equal to -7?
True
Let k = 55/6 + -1607/174. Is -1 <= k?
True
Suppose 2*s - 5*s = -21. Is s < 8?
True
Let s = -87 - -72. Which is smaller: -78/5 or s?
-78/5
Let o(a) = -a**2 + 5*a + 7. Let k be o(5). Let j = -8 + k. Let v be 2*j + 0 + -3. Which is smaller: v or -4?
v
Let q = 79 + -74. Which is greater: q or 1/5?
q
Let x = 49 + -67. Is x smaller than -18?
False
Let i(j) = j**2 + 11*j - 2. Let m be (12/(-8))/(2/16). Let z be i(m). Which is smaller: z or 9?
9
Let z = 3 + 2. Let n be z/(15/(-6))*-1. Suppose -2*b - 8 = 4*a, -3*a - 8 = -0*a + n*b. Does -4/3 = a?
False
Let i be -2 - -5 - 76/8. Let s = i - -8. Which is greater: s or 3?
3
Let o be (4 + -6)/(4/(-3)). Suppose -5 = 2*r - c - 0, -3*r - 40 = 5*c. Let l be (-34)/(-10) - (-2)/r. Which is smaller: o or l?
o
Let n be (-1 - 6 - 2) + 2. Let l(j) = j**2 - 3 + j + 4*j + 2*j. Let p be l(n). Which is smaller: -3/2 or p?
p
Let s be ((-2)/2)/(2/(-6)). Suppose -s*b + 15 = 3*a, -a + 20 = 3*a. Let p be b - ((-6)/10 + 1). Is -1 not equal to p?
True
Let p = 11 - 9. Suppose 5*y + 3 = -3*x, 0 = y - 3*y - 5*x - 5. Let b = y + p. Is 6/7 != b?
True
Let m(z) = z**2 - 3*z - 4. Let v = 3 - -2. Suppose v*d - 28 = -8. Let r be m(d). Is r >= 1?
False
Let x = 5233/1455 + 1/291. Are 5 and x unequal?
True
Suppose 0 = -4*i + 6*i + 5*p + 5, -19 = 4*i + p. Let y be -2 - (1 - i/(-2)). Let w(s) = s - 9. Let z be w(9). Which is bigger: z or y?
z
Suppose -4*m - 10 = -2*a + 10, 2*a = -m - 5. Suppose 3*t - p = -4*p - 6, 4*t + 3*p + 6 = a. Let n be (-2)/(-7) - 15/(-21). Which is smaller: t or n?
t
Let s = -11 + 23. Let j = s - 12.2. Which is smaller: -1 or j?
-1
Let d be 4/24*-2*3. Is 1 greater than d?
True
Suppose 0 = -2*n + 3*n - 5. Suppose 22 - 3 = -n*r + 3*p, p = -2. Which is greater: -3 or r?
-3
Let q(f) = -5*f**2 - 3*f - 6. Let t(g) = 2*g**2 + g + 2. Let c(u) = 3*q(u) + 8*t(u). Let b be c(-5). Let s = b - 19. Which is smaller: s or 8?
8
Let r = 489/7 - 70. Let u(m) = -2*m + 8. Let g be u(4). Is g >= r?
True
Let w be (-8)/60 - (-7)/15. Is w greater than or equal to -3?
True
Suppose -4*t + 6 = -2*t. Let v = -6 - -3. Let h = t + v. Which is smaller: h or -1?
-1
Let s = -136 - -1359/10. Is s > -2/5?
True
Let q = -3.6 + 4. Let w = -0.5 + q. Which is smaller: w or 1?
w
Let u = 0.3 - 0.2. Let j be (-66)/364*2 - -1. Let k = -12/13 + j. Which is smaller: k or u?
k
Let h = 178 + -94. Let p = -171/2 + h. Which is bigger: 0 or p?
0
Suppose q = g + 6, -q + 7 = q + 3*g. Suppose -6 = -q*v + 24. Let p(s) = s**3 - 7*s**2 + 7*s - 4. Let l be p(v). Is l >= 2?
True
Let t(x) = x**2 - x. Let q be t(0). Let k be (-1524)/54 - 4/(-18). Let w be ((-2)/12)/((-7)/k). Is w at least as big as q?
False
Let p = 0.04 - 10.04. Which is smaller: 0.2 or p?
p
Let f be (-14)/(-63) - 61/(-9). Is 6 bigger than f?
False
Let v(q) = -q - 9. Suppose 2*k - 6 = 0, -4*d - 17 = 3*k + 10. Let t be v(d). Which is smaller: -6/7 or t?
-6/7
Let k be 86/(-18) - 4/18. Let j be (2 + 0)*k/2. Let u = j - -3. Is u at most 1?
True
Suppose -7*x = -2*x + 5*w - 410, 5*w - 326 = -4*x. Let u = 39 - x. Let s be u/(-20) + (-1)/4. Is 3 not equal to s?
True
Let f be (-20)/77 + 16/(-56). Let p(n) = -n**2 - 2*n + 1. Let o be p(-3). Is f equal to o?
False
Suppose -4*a + 36 = 4*h, 3*a - 21 = 2*a - 5*h. Let m be ((-4)/(-6))/(12/99). Let j = m - a. Which is greater: j or -2?
j
Let j = -89 - -30. Is -1 at least as big as j?
True
Let t be (-36)/(-60) + 44/10. Is 6 at least t?
True
Let a be (-9)/3*(-7)/3. Let n(l) be the first derivative of l**2/2 - 5*l - 2. Let p 