 o + 9 = 3*j - 4, 5*o - 5*j + 35 = 0. Let a be o - (82/(-20))/1. Is a > 0?
True
Suppose c + 30 = 4*c. Let p(a) = -a**3 - 7*a**2 - 7*a - 8. Let x be p(-6). Let v be x/(3 + 87/(-27)). Are v and c nonequal?
True
Let b = 9.48 + -10. Let q be 125/(-135) + (-4)/54. Is b at most as big as q?
False
Let f = 17.9 - 19. Let w = -176.9 + 178. Let i = w + f. Which is smaller: i or -2/17?
-2/17
Let c = -29 + 5. Let i = 24 + c. Is i at least 3?
False
Suppose 0 = 5*l - 0*l + 5. Let u be l + -2*(-12)/8. Let z = 10 - u. Is 8 <= z?
True
Suppose -78 = -5*y + 2*o, 5*y + o - 90 = 6*o. Let l = 23/2 - y. Suppose -2*z - 5*q - 4 = 0, -3 = -z + 2*q - 5. Which is bigger: l or z?
z
Let u(p) = -7*p**3 + 29*p**2 - 7*p + 9. Let c be u(4). Let v be (-52)/30 + (-6)/(-3). Is c less than or equal to v?
True
Let x = -197 + 204. Is x at most 7?
True
Let x be ((-33)/2)/(20/(-40)). Let z be 258/x + (-4)/(-22). Suppose -2*h + z = 3*m - 24, 3*m = 5*h - 59. Is h greater than 13?
False
Suppose -7 - 2 = 3*a - 4*o, -4*o = -4*a - 12. Let l = 216 + -215.9. Is l > a?
True
Let o be ((-9)/2 - (-10)/20) + 2. Let l = -0.21 - 0.29. Which is smaller: l or o?
o
Suppose 0 = 3*q - w - 43 - 255, -5*q + w + 500 = 0. Which is smaller: 2 or q?
2
Let l(p) = -p**3 + 9*p**2 - 14*p + 12. Let a be l(6). Let c be (-2)/a*(-16)/(-6)*6. Which is bigger: c or -1?
c
Suppose -3*l - 99 = -2*f, -l - 200 = -4*f + 3*l. Suppose 5*j - 36 = -f. Is 0 bigger than j?
True
Let p = 634 + -403. Let n be 8/(-6)*7/(p/54). Which is bigger: -2 or n?
-2
Suppose -3*l + 12 = l. Let s be l + 50/4 + 1/2. Is s bigger than 16?
False
Let z = 2 - 3. Let f be ((-5)/15)/(z/6). Which is smaller: f or 1/2?
1/2
Let m = -1.95 - 0.55. Let h = m + 12.5. Let o = -4/9 + 1/9. Is o smaller than h?
True
Let x be 19*1 + (0 - 1). Let f be 0/(-1)*(-9)/x. Suppose 0 = 5*c - 5*h + 1 - 11, -4*c - 4*h = f. Is -2/11 less than or equal to c?
True
Suppose 52 + 32 = -3*n. Let o be ((-36)/n)/(6/(-8)). Which is bigger: o or -2?
o
Let o = -7379 + 17727. Let s be (-2)/5 + o/195. Let u = -52 + s. Which is bigger: 2 or u?
2
Suppose 5*q = 15 - 5, 5*x - 4*q - 272 = 0. Let b be x/66 - 4/22. Is b greater than or equal to 1?
False
Suppose 7*z - 2*z = 15. Let w(g) = -2*g**3 + 3*g**2 - 2*g + 3. Let k be w(z). Let y be (-2)/(4/2)*25/225*261. Is y equal to k?
False
Suppose -302 = 5*r - 2*q, 5*r + 295 = -0*r - 5*q. Let s be -1*(4 - r/(-16)). Which is greater: 0.1 or s?
0.1
Suppose -32 = r - 35. Let n be 1/(3/((-2)/((-2)/r))). Is 1/65 at least n?
False
Let p(l) = -25*l - 75. Let s be p(-3). Which is smaller: s or 11/9?
s
Suppose 0 = -55*k + 9000 + 4750. Are k and 250 equal?
True
Let a = 1576 - 1580. Suppose -1 - 4 = 5*s. Which is greater: s or a?
s
Let y = -8 - -5. Suppose -t + 7 - 2 = 0. Suppose t*z = 10, 3*l - z = z - 7. Is l equal to y?
False
Suppose 0 = -3*f + 2*d + 24, -2*f - 3*d = -1 - 15. Let p be 16/f + 2 + -1 + -3. Let s = -2363/1695 - 2/339. Are p and s unequal?
True
Let l(o) = -o**3 - 4*o**2 - 3*o. Suppose -7 + 23 = -4*q. Let m be l(q). Suppose 4*g - 9 = -u - 0*u, 3*u - m = 3*g. Which is greater: 2 or g?
2
Let b be (682/(-6006) - (-2)/(-26))/(-302). Are b and -1 nonequal?
True
Let m = 5.3 + -5. Let u be (0 + -1)/(-1) - (-3)/(-1). Let o be (1/u - 4/8) + -1. Is m < o?
False
Suppose 32*m = 28*m + 624. Let b be ((-8)/(-20))/(m/30). Is b != 1?
True
Let d = 90 - -9. Let p = d + -100. Does -3/7 = p?
False
Let z = 0.251 - 0.651. Which is bigger: -75 or z?
z
Let p be 54/42 - ((-8)/4 - -3). Let m = 0 + 0. Is p != m?
True
Let h(b) = -b**2 - 2*b + 4. Let u be h(-4). Let q = 2783 + -2780. Is u > q?
False
Suppose 0*h - 26*h - 104 = 0. Is h greater than 14?
False
Let i(j) = j**2 - 27*j - 127. Let c be i(30). Are c and -39 equal?
False
Let w = 59 + -64. Is 12 <= w?
False
Suppose 2*b = 5*i - 16, -3*b = -0*i - 5*i + 24. Let c be 2 + -2 - (-14)/(-2). Let p = b - c. Which is smaller: 2/15 or p?
p
Let k = 18 + -56. Let b = 52 + k. Is 14 greater than or equal to b?
True
Let h(p) = p + 15. Let k be h(-18). Let m(a) = -6*a - 6. Let z be m(-6). Suppose 0 = b + b - 4*s + z, 0 = 4*s - 16. Which is smaller: k or b?
b
Let u(r) = -r**3 + r**2 - r - 77. Let p be u(0). Let x = p + 81. Which is smaller: 2 or x?
2
Suppose 0 = 3*g - 18 + 15. Suppose -3*f = -4*f - 5*t + 11, 5*f - 3*t + g = 0. Which is bigger: -9 or f?
f
Let q = 32 - 40. Suppose 16*r - 12*r = -36. Which is bigger: q or r?
q
Let u = -7806 - -23626/3. Which is bigger: u or 70?
70
Let u be (-8)/(-12) - 10/(-39). Suppose 3*q = -0*q - 93. Let k = -29 - q. Is k <= u?
False
Suppose -4*x - 2 = -5*o + 7, -3*x = -2*o - 2. Suppose 5*p - x*b = -103, 3 = 3*b - 3. Which is greater: p or -21?
p
Suppose 2*s = 0, 20*s - 19*s = -2*m - 36. Which is bigger: m or -0.03?
-0.03
Let a(n) = 6*n + 93. Let x be a(-17). Is -58/7 > x?
True
Let h be (-8)/(-12) - 5/3. Suppose 4*u - 4*z = 0, 5*u - 3 = 3*u + z. Suppose 2*s - 10 = -5*b - 4, u*s + 16 = 5*b. Which is smaller: h or b?
h
Let m(y) = y - 7. Let o be m(12). Let q = -9/2 + o. Let d = -8.17 - -0.17. Is d bigger than q?
False
Let h = -4 - -11. Let y(s) = -s**2 + 7*s - 11. Let u be y(h). Suppose 0 = -2*l - 2*f + f - 19, -3*f + 64 = -5*l. Is l smaller than u?
False
Let a be ((-7)/(-154))/((-3)/12). Which is smaller: 2/37 or a?
a
Suppose 41 = -4*c - 5*u, 2*c + u + 0*u + 25 = 0. Let j = c + 13. Let t be (2 - (0 - -2))*j. Is t greater than -1/12?
True
Let n = -2 - -2.2. Let f = 14.2 - 15. Let b = n - f. Are -1 and b equal?
False
Let a = 4 + -7. Let c = -1.7 - 0.1. Let v = -0.2 + c. Which is bigger: a or v?
v
Let v = -1042/9 + 116. Suppose 0 = b + 3*h - 8, 0 = -b - 7*h + 12*h. Suppose 0*a + 2*a - b = -5*m, -3*a = 0. Which is smaller: m or v?
v
Let z be ((-5941)/(-66))/(-13) + 7. Are z and -1 equal?
False
Let a be ((-2)/(-12))/(1/3). Let g be 3/(-5) + (-392)/(-70). Suppose -g*c + 3*c - 4 = 0. Which is smaller: a or c?
c
Let j(i) = i**3 - 6*i**2 - 7*i - 3. Let p be j(7). Let u(m) = -m**2 + 7*m - 6. Let y be u(5). Let d be -1 + (-5 - (1 - y)). Is d at most p?
True
Let o = -264/19 - -14. Is 3/14 >= o?
True
Let d = -36.3 + 46.3. Which is smaller: -1.3 or d?
-1.3
Let r(f) = -f**2 - 20*f + 1. Let g be r(-20). Let z be (-21)/(-14)*1*g/2. Which is smaller: z or 0?
0
Let l = -3.3 - -34.5. Which is smaller: l or -1?
-1
Let k be (-16)/34*2/4. Suppose -675 = 9*m + 351. Let n = m + 115. Which is smaller: n or k?
k
Suppose -4*l = d + 18, 0 = -2*l + 3*l + 2*d + 1. Let h = -7 - l. Let u = h + 1. Does 2/9 = u?
False
Let s = 0.352 - 0.152. Let q be (4/(-6))/(4/(-8)). Is s less than q?
True
Let y be ((-24)/(-5))/(4/(-20)). Let s = -26 - y. Let l be (2 - 1) + (-22)/8. Which is greater: s or l?
l
Let n(u) = -u**3 - 8*u**2 - 4*u + 6. Let o be n(-8). Let a = -57 + o. Let h be 3*1*(-38)/6. Is h less than a?
False
Let i = 10642/1271 + -252/31. Is i at most 0?
False
Suppose -2*p = -4*a + 8, 2*a + 2*p - 16 = -3*p. Let o be (50 - 20/5) + 1*a. Do 49 and o have the same value?
True
Let q(i) = -i**2 + 8*i + 20. Let p be q(9). Let j be p + -2*(-2)/(-2). Suppose -h = -9 + 2. Which is smaller: h or j?
h
Let f be 2394/(-486) - ((-6)/81)/(-1). Is f greater than or equal to -192/47?
False
Let h = -18217.07 + 18297. Let n = h - 80. Is n less than or equal to 5?
True
Let d = -902.4 + 902. Let b be -12 + -3*(-6)/(-9). Is d not equal to b?
True
Let a = -0.12 - -0.15. Let s = -0.13 + a. Are -3 and s non-equal?
True
Let a = -20/13 + 606/377. Is a smaller than -1?
False
Let k(o) = o**2 - 2*o + 3. Let q be k(2). Let g = -23 + -73. Let l be -2 - (g/30 + 2/10). Which is smaller: q or l?
l
Let p = -0.028 - -0.758. Let n = 36.27 + p. Which is smaller: n or 1?
1
Let a(k) = 3*k**3 + k**2 + 2*k - 2. Let r be a(1). Suppose 0 = -r*v - v - 10. Let q be (-7 - -3)/v + -3. Which is smaller: q or 6/13?
q
Let i(x) = -x - 2. Suppose 0 = 3*b + 2*s - 7, 33 = 5*b - s - s. Suppose -5*r - 2*g + 3 - 30 = 0, -b*g + 48 = -4*r. Let y be i(r). Is 5 greater than y?
False
Let c be (6/(-3))/((-1)/(-4)). Suppose -10*q + 71 = -19. Let u be (-3)/(-3 + 6)*q. Which is smaller: u or c?
u
Let i = -145 + 1297/9. Do -2 and i have different values?
True
Suppose -289 = -5*y + 4*a, -92*a = -95*a - 3. Is y < 48?
False
Suppose 10*r + 18 - 78 = 0. Which is smaller: r or 12?
r
Let t = -13.1 + 13. Let w = -3 + 2.9. Let x = w - t. Which is bigger: -2 or x?
x
Suppose k + 10 = -5*u, 2*u + 8 = -k + 4. Let y = 127