Suppose o*s = -2 + 44. Is s < 0?
False
Let o be (1 + 0)/(255/(-51)). Which is greater: -11/6 or o?
o
Let q be 1743/(-12) + (1 - 5). Let c = -136 + -12. Let s = q - c. Which is greater: s or 0?
0
Let x = -20.63 + -0.37. Let y = -47 + 65. Let j = y + x. Which is smaller: 3/5 or j?
j
Let x(h) = -3*h - 4. Let a(y) = 4*y + 15. Let d(p) = 2*p + 7. Let u(r) = -2*a(r) + 5*d(r). Let i(g) = 6*u(g) + 5*x(g). Let z be i(5). Are z and -13/3 non-equal?
True
Let q = 0 - -1. Let p be (-21)/27*-1 - (-2)/9. Let g be (q + 0)*(-5 + p). Is g <= -4?
True
Let b = -2.04 - -0.04. Let q = 18385/13 - 1414. Is q less than b?
False
Let h = -23163/53 - -437. Which is greater: 1 or h?
1
Let d(s) be the third derivative of s**6/120 + s**5/15 - s**4/24 + s**3/3 - 10*s**2. Let v be d(-4). Let j be ((-3)/(v/(-4)))/2. Which is smaller: j or -2/101?
-2/101
Suppose -5*a + 11 = -h - 2*a, -3*h - 2*a + 22 = 0. Let n = 3 - h. Let p = 2 + n. Is 1/3 at most as big as p?
True
Let y be (-8)/(-5) + 4/10. Let a be y/7 - (-300)/(-21). Let j(s) = s**2 + 14*s + 1. Let r be j(a). Is r less than or equal to 1/5?
False
Let x = -43.139 - 3.861. Let a be (-4)/(-7)*1/2. Is x equal to a?
False
Suppose -5*v = 3*q - 19, q + 7 = 2*q + 2*v. Let a be 1 - ((-18)/(-8))/q. Let o(z) = z**3 - 17*z**2 + 2*z - 34. Let k be o(17). Are a and k non-equal?
True
Let k = 0.07 + 0.03. Let n = 1326.99 + -1326. Which is greater: k or n?
n
Let b be -2*(-4)/8*13. Suppose u = 5*y - u - 23, 2*u + b = 3*y. Suppose -3*w = -y + 23. Is -6 >= w?
True
Let c = 653 + -642. Which is bigger: -0.04 or c?
c
Let j(n) = n**3 + 4*n**2 + 3*n + 2. Let a be j(-3). Let l(r) = r + 4. Let d be l(-3). Let f be (3 - -3)/(a/d). Which is bigger: 0 or f?
f
Suppose 0*a - 5*a = -3*v + 17, 2*a + 18 = 4*v. Let n = -2576/3 - -840. Let j = 22 + n. Are j and v nonequal?
True
Let g = 51 + -46. Suppose 2*n = g*l - 90, -5*l + 35 + 55 = 4*n. Is l smaller than -0.1?
False
Let t = 0 - 0. Let z = 24.82 + -21.82. Is z at most t?
False
Let w(m) = m**2 + 12*m - 9. Let z be w(-13). Let q be 48/9 + z/(-12). Let d be (-1)/(-2) - (-10)/(-12). Is d > q?
False
Suppose -6*l - o - 162 = -4*l, -2*o + 86 = -l. Let v = 81 + l. Is v != 1/11?
True
Let b = 9.26 - 8.96. Is 1/30 not equal to b?
True
Let p be (11 - (-26196)/(-126)) + (-4)/42. Which is greater: p or -793/4?
p
Suppose 5*j + 14 = 3*g - g, -g + 2*j = -6. Let f(a) = -a**2 + 4*a - 3. Let u be f(g). Is 2/213 > u?
False
Suppose 10 = 7*q - 25. Let h = -6 + 6. Suppose 4*z = 4, -j + h*j - q*z = 11. Which is greater: j or -15?
-15
Let z be (-2 + 14/5)/(-1). Suppose 2*a + 4*v - 2 = 0, 1 = 4*a + 3*v - 3. Let i be -9 - -11 - (a - -3). Which is smaller: z or i?
i
Suppose 14530 = 39*y + 2791. Is 904/3 greater than or equal to y?
True
Let g = -6517 + 10603160/1627. Is -1 bigger than g?
False
Let h(q) = -14*q - 4. Let k be h(-2). Suppose k = 2*y - 4*y. Let i = y - -9. Which is bigger: -4 or i?
i
Let m be (-17)/(-4) - 16/64. Let t be m/10 + 7/(-30). Which is bigger: t or 0?
t
Suppose 7*m - 15 = 2*m. Let w = -695 + 698. Is m at most w?
True
Let d = 320 + -337.91. Let x = -18 - d. Let o = x - 1.11. Which is smaller: o or -2/3?
o
Let w = -38 + 43. Suppose w*r + 22 = 27. Is -1/10 < r?
True
Let r(l) = -2*l**2 - 66*l + 32. Let c be r(-36). Is -187 not equal to c?
True
Let h = -94 + 60. Let z = -33.9 - h. Which is bigger: 1/23 or z?
z
Suppose -83*w - 110 = -88*w. Is w not equal to 3?
True
Suppose -j = -4*j + 4*u - 36, -2*u + 60 = -5*j. Let n = 12 - j. Which is greater: 25 or n?
25
Suppose 2*s = -3*u + s + 26, -2*u + 20 = 2*s. Suppose -12 = -3*k, -6*f + 2*f = -3*k + u. Let q = 2/29 + 119/377. Which is smaller: f or q?
q
Let j be 16/(-4) - ((-1074)/6 + -4). Is j < 180?
True
Let d(w) = 29*w**3 + 10*w + 7. Let v be d(3). Is v not equal to 820?
False
Let y(k) = 7*k**3 - k - 8. Let c(a) = a**3 - 1. Let w(x) = 6*c(x) - y(x). Let o be w(3). Is -22 greater than o?
False
Let o = 335 - 337. Is o <= 102?
True
Suppose -2*d + 20 = 4*l, 5*d = -l + 19 + 13. Suppose 2*x + d*x = 0. Which is smaller: -2/25 or x?
-2/25
Let r(w) be the first derivative of -3*w**4 - w**2 - w + 7. Let c be r(-1). Is 13 smaller than c?
False
Suppose -3*q - 3*i - 6 = 0, -2*q + 3*i = i. Suppose -5*y + 25 = 0, 0 = 2*a + 5*y + 13 - 68. Let v be ((-2)/6)/(6/a). Is q at most v?
True
Let g be 3/(15/(-4)) - 2135/13300. Let y be ((-2)/95)/(2/(-20)). Let x = g + y. Are -3 and x nonequal?
True
Let h(l) = -l**2 - l - 8. Let c be h(-5). Let p be (4/(-14))/(8172/c). Let g = 4228/145053 - p. Is g at most as big as 0?
False
Let q be (8/(-2))/(-8)*-4. Let a be (-1)/(-2 + q/2). Is 0 smaller than a?
True
Let p be (1/969)/((-4)/8). Is 0 <= p?
False
Let n = 11 + -6. Suppose 0 = a + 4 - n. Suppose 3*r = -a - 17. Which is bigger: r or -5?
-5
Let k = -407 - -5701/14. Suppose -2*b + 36 + 16 = 0. Let r = b + -26. Is k greater than or equal to r?
True
Let l = -1168 - -1431. Which is smaller: l or 265?
l
Let q(j) = 13*j**2 + 46*j + 3. Let k be q(-2). Is -39 less than k?
True
Let b = 3973/3 + -28129/21. Let f = 332/21 + b. Which is greater: f or -1.3?
f
Let f be 10/(-25)*(-10)/(-4). Is f < 2/23?
True
Suppose 0 = w - 4. Suppose -w*i = i + 20. Let g be (1/(-3))/(11/33). Which is greater: g or i?
g
Let u be (-2780)/663 - (1 - 5). Let g = 2/13 + u. Which is greater: -1 or g?
g
Let m(l) = l**3 - 10*l**2 + 18*l - 16. Let x be m(8). Is -1/87 less than or equal to x?
True
Let t = -5.2 + 5. Let g = -5.48 - -0.48. Let v = g + 5. Which is bigger: v or t?
v
Let c = -875 - -1012. Do 142 and c have different values?
True
Let l = 209 - 145. Let y = -63.7 + l. Which is smaller: y or -2/9?
-2/9
Suppose -c - 5*h = 65, c = 6*c - h + 247. Let k be (-105480)/2051 - (-28)/7*(-6)/(-56). Is c < k?
False
Let j = -39 - -21. Let v be j*3*3/(-27). Suppose 5*i + 4*n = 30, 4*i - 19 - 5 = 4*n. Is i less than v?
False
Suppose -129 + 339 = -5*g. Let z be (g/8)/(3/12). Which is bigger: -20 or z?
-20
Let j = 0 + 22. Let d = 79 + -56. Let c = d - j. Which is smaller: c or 2/73?
2/73
Suppose -4*t - 10 = -2*g, 25 - 5 = -4*t + 4*g. Which is greater: t or 2/169?
2/169
Let v be (1 - -2)/(30/4). Let r = 14.82 - 15. Let y = -6.18 - r. Which is greater: v or y?
v
Let q = 127834624 - 71715245870/561. Let p = -428/11 - q. Is p smaller than 1?
True
Let h(m) = -m**2 + 9*m - 4. Let y be h(9). Let f be (-20)/(4/8*y). Is f > 11?
False
Let h = 69 + 0. Which is greater: 0.1 or h?
h
Let d = -34 - -19. Let v = -9 - d. Let y = v - 6. Is y >= 2?
False
Let q = 123/2 - 65. Let p = -26.72 + -0.28. Let u = 27 + p. Is q greater than or equal to u?
False
Let l = 71/2 - 39. Is l not equal to -5?
True
Suppose 7150 = -10*s - 2590. Are -974 and s nonequal?
False
Suppose n + 4*i - 128 = 2*n, -6 = -3*i. Which is smaller: n or -121?
-121
Let w be -1*(-68)/18 - 630/(-2835). Let y = -9 - -13. Is y != w?
False
Let p be (-22)/6 - (-2 - 7/(-3)). Let x be 26/8 - (-1)/p. Suppose -5*a + 23 + 2 = 0. Is x less than or equal to a?
True
Let t = 11.74 + -11.606. Is -4 at least as big as t?
False
Let l be 15/4 - (-1 - (-3)/4). Let h(q) = 7*q - 1. Let x be h(l). Do 27 and x have the same value?
True
Let u = 49.91 + -49.7. Which is smaller: u or 2/37?
2/37
Let c(d) = 8*d - 25*d + 8*d + 15*d + 3. Let t be c(-2). Which is smaller: -33/4 or t?
t
Let p = -17979/115 - -783/5. Let f = -47/92 + p. Which is bigger: -3 or f?
f
Let d(x) = -x - 1. Let s be d(0). Let g = -2647/5 + 527. Is g greater than s?
False
Let r = 1/510 - -421/45390. Let m = r - 98/801. Which is greater: 0 or m?
0
Let a be (-2 - -1)*2*54/(-36). Suppose 3*z = 2*z - 4*j + 22, 5*j = -a*z + 31. Which is smaller: z or 24/11?
z
Let w be (29 + -2)*20/(-15). Let f be w/70 + 16/20. Is -4 bigger than f?
False
Let u = 2441 + -2392. Which is smaller: u or 30?
30
Let l be ((-48)/350)/(3/(135/6)). Which is smaller: l or -2?
-2
Let x be 10/(-4575)*(4 + (-29)/6). Is 1 less than x?
False
Let z(f) = 4*f**2 - 14*f - 5. Let k be z(5). Which is greater: k or 18?
k
Suppose 0 = -2*q + 2, 2*s + q + 4 + 1 = 0. Let b = -0.0092 - 0.0108. Is b equal to s?
False
Let j be 36/(-162) + 6/(-459). Is j >= -0.025?
False
Let j = 2.1 - 2. Let m = -0.6 - j. Let t = m - -0.6. Which is bigger: t or 1/5?
1/5
Suppose x + 42 = -6*x. Let t be 21/(-12)*x/(-49). Is 1 at least t?
True
Suppose 0 = 4*t - 4 - 0. Suppose 2*a + a - 18 = 0. Let g be a/9*12/(-128). Are g and t equal?