be 2/4 - (-249)/(-12). Let j = a + d. Are j and 2/7 non-equal?
False
Suppose -t = -2*p + 3*p - 1, -t = 5*p - 17. Let c = p + -5. Let f be ((-1)/3)/((-4)/(-18)). Which is greater: c or f?
c
Let o = 571/4 + -143. Which is bigger: o or 44?
44
Let f = 4 + -3. Let v be (-4 - -2 - -7) + f. Is v smaller than 6?
False
Let z be (2/207)/((-3)/9). Which is smaller: 0 or z?
z
Let g(w) = w**2 + 11*w + 1. Let c be g(-10). Let x be (-22)/4 + c/(-18). Which is smaller: 1 or x?
x
Let u be 7/(-3)*(-2)/(-7). Let g = -4 + 7. Suppose 7 = x + g*s + 15, -6 = -x + 4*s. Which is bigger: u or x?
u
Let n = 5/17 - -2/51. Which is smaller: 4 or n?
n
Let b(w) = -w**3 - 3*w**2 - 4. Let t be b(-3). Suppose -5*r - 10 = -7*r. Suppose 3*m = -2*m + 5*q - 35, 5*q - r = -m. Is m not equal to t?
True
Let m = -233 + 334. Is m less than 101?
False
Let a = 35112 - 23152. Let k = a + -239339/20. Let i = -27/4 - k. Which is bigger: i or 0?
i
Let p be -2*-6*3/528. Which is bigger: p or -1?
p
Let a = -35 + 24. Let n = -18 - a. Is 1 at most n?
False
Let p = 3 + -2. Let k = -0.3 + 0.1. Let l = 0.5 + k. Which is smaller: l or p?
l
Suppose 4*y + 3*f + 416 = 7*f, 2*y + 198 = -3*f. Is -103 at least y?
False
Let m = -24 - -20. Is m less than or equal to -0.5?
True
Let r = -9/7 - -34/21. Is r greater than or equal to 0?
True
Let a = -111 + 73. Is 0.1 equal to a?
False
Suppose -q - 60 = -3*o - 3*q, -5*o - 5*q = -95. Let k = o - 45/2. Which is smaller: k or -1?
-1
Let h(i) = -i**2 - 2*i + 3. Let k be h(1). Let o be (1 - 1) + 2/(-10). Is k less than or equal to o?
False
Suppose 3*t - 12 - 11 = 2*n, -33 = 2*n - 5*t. Let l = -70 - -64. Let z = l - n. Is -2 at least z?
True
Let b(y) = y**3 - 4*y**2 + 2*y + 4. Suppose -3*a = -4*d + 28, 3*a = -2*d - 1 - 3. Let z be b(d). Let t be z/(-7) - (0 + -2). Which is smaller: t or -2/7?
-2/7
Let a = 2 + 8. Let u = a - 15. Let n = u + 5. Is 2 < n?
False
Let d be 14/6 + -1 + -1. Let f = -6 - -6.15. Let l = 0.05 - f. Which is smaller: d or l?
l
Let j(x) = -2*x**2 - 2*x - 13. Let t be j(0). Let f(q) = -q**3 - 3*q**2 + 5*q + 2. Let o be f(-3). Is t less than o?
False
Let b = 0 - 0. Suppose -4*l + 10 + 13 = -j, b = -2*j + 4*l - 26. Let k = -6 - j. Is -3 > k?
False
Let q(h) = -h**2 - 5*h - 4. Let u be q(-4). Let t be u/(-3*4/6). Which is bigger: t or -1/4?
t
Let s be -118 + (7 + -4)*6/9. Is s at least -117?
True
Let a(f) = f**3 + 21*f**2 + 38*f. Let m be a(-19). Which is bigger: m or 9/17?
9/17
Suppose 5*u = -5*n + 10, -2*n + 7*u - 2*u = 10. Is n < 2?
True
Suppose -4 = -2*g + 6. Suppose -g*y = -10*y. Does -2/3 = y?
False
Let v = -48137/10 + 4818. Let j = 4 - v. Is -1 at least as big as j?
False
Let f = -7 - 0. Let t = f + 11. Let a = 3 - 0. Is a bigger than t?
False
Let z = -37/13 + 4503/1573. Is 1 smaller than z?
False
Let u be 1312/(-45) + 2/(-5). Let c = u - -30. Are 1 and c equal?
False
Let h = 129 + -117. Which is greater: 9 or h?
h
Suppose 2*h - 14 = -2*f, -h - 2*f + 7 = f. Let i = h - 3. Let c be (1 + -4)*i/15. Are -1 and c nonequal?
True
Suppose 34 = 4*l - 6. Let p = 159 + -151. Do l and p have the same value?
False
Let p be 17/85*(-1)/2. Does 1 = p?
False
Let l be 21/(-27) + 4/(-18). Let a be (-1)/(l*(-1)/1). Let z = 2 + -3. Is z less than a?
False
Let i = -16 + 16. Which is greater: 1/7 or i?
1/7
Let q = 0.7 + 0.3. Let c be ((-6)/10)/((-8)/80). Let r be (-4 + c)/((-30)/9). Which is smaller: r or q?
r
Let t = 304 + -2132/7. Let k = -2.03 - -2. Let q = 0.13 + k. Is t equal to q?
False
Let s(d) = -d**2 - 5*d - 5. Let o(f) = -2*f**2 - 9*f - 9. Let i(z) = -6*o(z) + 13*s(z). Let h be i(-10). Which is smaller: -2/7 or h?
h
Let j = 25.6 + -11.6. Which is greater: -0.07 or j?
j
Suppose 0 = 2*w - 2*g - 0*g - 18, -5*w = 4*g. Suppose -x + 7*b = 2*b + 5, 0 = -w*x + 2*b - 2. Which is smaller: -6/13 or x?
-6/13
Let j be (-76)/15 - (-18)/(-30). Let u = -19/3 - j. Which is smaller: u or 2/7?
u
Let m = -20/39 - -461/975. Which is bigger: m or -1?
m
Suppose 4 = 3*c - z, 3*c = -c + 5*z - 13. Suppose -3*l + 0 = c. Is l at least as big as 1/3?
False
Let u = -69 + 70. Which is smaller: 2/41 or u?
2/41
Let j = -1 + 1. Suppose -z + 0 + 4 = j. Let v be -4 + (-3)/(6/z). Is -6 greater than v?
False
Let p = 3 + 0. Suppose 0 = -b - 5*m + 24 - 0, -5*m + 22 = p*b. Which is greater: b or -1/2?
-1/2
Let z = 73/986 - 239153/180438. Let p = z - 5/61. Let m be (-30 - -37)*((-6)/(-7))/(-3). Do p and m have the same value?
False
Suppose -11 = 3*b - 47. Suppose -3*o + 0*o = -b. Let h be ((-2)/16)/((-2)/o). Which is smaller: h or 1?
h
Let o = 1.1 + -0.1. Let h = o - 1. Let g = -0.1 + 0.3. Which is smaller: g or h?
h
Suppose -4*p - 4*m + 2 = -p, p + 4*m = -2. Suppose p*v - 15 = 5*v. Is v at least -5?
True
Suppose 4*w + 4*k = -12668, 0 = 2*w + w + 5*k + 9493. Let d be w/(-14)*(-2)/(-12). Let g = d + -38. Are g and 1 unequal?
True
Let z(y) = 6*y + 4 + 1 - 5*y. Let i be z(-5). Is i bigger than 1?
False
Suppose 0 = 2*f + f - 15. Let o be f/(-25)*-1*5. Are o and 1 nonequal?
False
Suppose -5*i = i - 24. Is 3 at least i?
False
Let w = -4 - -1.8. Let q = 3.2 - 3. Let r = w + q. Is -2/5 smaller than r?
False
Let y be (-6)/(0/4 - -2). Let s be (-58)/y - (-4)/6. Which is greater: s or 19?
s
Let d be 1/(-2) - 38/(-60). Suppose -4*z - 3 = -5*z. Suppose -z*j - 1 = -2*j. Which is bigger: j or d?
d
Let g be 1/(-4) + 1 - (-19)/76. Is -2/11 less than or equal to g?
True
Let l be 4/16 + 11/4. Suppose -4*f = -3*d - 29 + 11, -19 = 5*d - l*f. Let i = 3 + -6. Is i <= d?
True
Suppose -3*i = -2*u, 0*u + 4*u + 18 = -3*i. Let f be (-4 - -2)*(i - 0). Is 4 != f?
False
Suppose 0 = -28*u + 30*u + 4, -2*o + 3*u = -12. Suppose 0 = -0*c - c + 5. Which is greater: c or o?
c
Let t = 2 - 0. Suppose 3*q + 2*i - 32 = -2*q, 0 = 2*q - 5*i - 36. Suppose q + 0 = 4*w. Is t at most w?
True
Let i be (-1)/(-4) + (-12)/16. Which is bigger: -19 or i?
i
Let a(v) = 3*v**3 - v**2 + 2*v - 1. Let c be a(1). Let p(w) = w**2 + 3. Let o be p(0). Suppose -5*m = -0*m - 4*t + 5, -2*t + 1 = -o*m. Are m and c non-equal?
False
Suppose 3*y + y + 80 = 0. Let l be ((-14)/(-6))/(y/(-112)). Let s = 62/5 - l. Do s and 0 have different values?
True
Let v(m) = -2*m + 2. Let c be v(-5). Let y = 24 - 16. Suppose 5*b = c + y. Which is bigger: b or 3?
b
Let g be 10/35 + (-18)/(-35). Which is greater: 2 or g?
2
Suppose 3*o - 2*o - 25 = 0. Let n = o + -53/2. Which is smaller: n or -2?
-2
Let t = 26/25 + 173/50. Which is smaller: 6 or t?
t
Let r(m) = m**3 + m**2 - m - 1. Let x(c) = -3*c**3 + 5*c**2 + 9. Let t(v) = 2*r(v) + x(v). Let o be t(7). Which is bigger: o or -8?
o
Suppose 5*w - 343 - 457 = 0. Let n = w + -1445/9. Is n bigger than 0?
False
Let j be (-860)/25 + (-3)/(15/(-2)). Which is greater: j or 1?
1
Let j be 0 + -2 - (-1 + 3). Let x(b) = b**2 - b. Let m be x(-1). Suppose -4*l = -z - 7 + m, -5*z + l = 6. Which is smaller: z or j?
j
Let q be (72/20)/((-4)/(-110)). Which is smaller: q or 2/3?
2/3
Suppose -2*f = 4, -2*c - 4*f - 3 = 11. Let p be c*(-2 + -1)*5. Let j be 0/2 - 6/p. Which is greater: 0 or j?
0
Let b be 2/(-10) - (-78)/(-10). Let x be ((-6)/b)/((-2)/(-8)). Is x bigger than 3?
False
Let o be (3/2)/((-1)/(-2)). Suppose -o*i = 2*i - 5. Which is bigger: 2/19 or i?
i
Let x = -0.08 + 4.08. Let n = -4 + x. Is n at most as big as 0?
True
Let p = 32 - 46. Let b be 4/p - 27/(-21). Suppose -3 = -3*y - 0. Is y less than b?
False
Let g = -8 + -10. Let x = g + 12. Is 0 equal to x?
False
Let o be 4/18 + 256/(-504). Suppose -p = 3*p. Let q be (p/1 - 0)/1. Is q bigger than o?
True
Let w = -0.2 - -0.1. Let y = -3.1 - w. Which is bigger: 1/2 or y?
1/2
Let m = 22 + -22. Which is smaller: m or -1/11?
-1/11
Let u = 5.3 - 5.26. Which is smaller: -7 or u?
-7
Let r = 100 + -70. Let n = 76/15 + 409/15. Let u = r - n. Is u < -1?
True
Let h(k) = 7*k**3 - 2*k**2 - 2*k - 1. Let r be h(-1). Let v = r - -4. Let i = v - -5. Is 3/7 smaller than i?
True
Let z = -9 - -14. Suppose -z*l = -3*l. Let s be ((-3*1)/(-15))/(-1). Is s less than or equal to l?
True
Suppose -7*q + 20 = -4*n - 3*q, -q = -3*n - 13. Which is greater: -3 or n?
-3
Let n(b) = -b**2 + 9*b - 13. Let h be n(6). Let y(r) = -r**2 + 5*r - 2. Let s be y(h). Which is smaller: s or -1?
s
Let t = -11 - -11. Which is smaller: -2/35 or t?
-2/35
Let m(u) = u - 5. Let v be m(5). Suppose v*w + r = -5*w - 1, 0 = w - 3*r + 13. Let i = w + 1