 413. Is o equal to 60?
False
Let v be 9/(-22)*8/(-3). Let f(j) = 24 - 18 + j + j**2 + j**3 + 5*j**2. Let t be f(-6). Is t equal to v?
False
Let z = -0.3 - -0.4. Let i = -5.14 - 18.86. Which is smaller: z or i?
i
Let w be (-2)/(-1 + 14/18). Let c = w - 23. Let u be 39/189 + 6/c. Do 3/4 and u have the same value?
False
Suppose 0*b = -2*b + 10. Suppose 5*v - 21 = -2*j, b*v + 4*j = j + 24. Let o be v*((-2)/(-3))/2. Is 2/49 equal to o?
False
Let d = -667 - -772. Is d bigger than 108?
False
Let k = -1.52 - -101.52. Let r = 109.2 - k. Let p = r - 0.2. Is 1 < p?
True
Let t = -0.2 - 1.8. Which is greater: t or -47?
t
Suppose 16 = 8*x - 72. Are x and 11 equal?
True
Let i(a) = 17 + 2*a - 4 - 6*a. Let f be i(17). Is -54 less than or equal to f?
False
Let w = 3 + -4. Let o = w + 1.1. Let i = 32 + -30. Are i and o equal?
False
Suppose 5*y - 277 = -3*b, y - 2*b = b + 41. Which is greater: y or 47?
y
Let t = 12 + -13.4. Let c = t + 3.4. Does c = 2?
True
Let f = 572 + -533. Suppose -4*h = 2*z - 156, 152 = 6*h - 2*h + 3*z. Is f bigger than h?
False
Let p be 2*(1 - 37/(-2)). Let n = -41 + p. Which is smaller: -5 or n?
-5
Suppose -2*k + 4*d + 62 = 0, 3*k + 7*d - 2*d = 49. Is k smaller than 252/11?
False
Let z(j) = -j + 1. Let c be z(-4). Let l = 0.103 - 53.103. Let s = l + 50. Is s at least as big as c?
False
Let s = 110 - 766/7. Is s greater than -37?
True
Let b be 7 + 6/90*387. Do 32 and b have different values?
True
Let a(y) = -3*y + 15. Let u be a(0). Suppose -4*n = g - 0 + u, g - 5*n = 21. Is g > 1?
False
Let y(n) = -41*n**2 - 1. Let i(v) = 83*v**2 + 2. Let g(j) = -4*i(j) - 9*y(j). Let l be g(1). Let x = 54 - l. Which is greater: 1 or x?
x
Let j = 433/9 + -108665/2259. Is j < 1?
True
Let l be -7 - -15 - (-104 + -4). Is l at most as big as 117?
True
Suppose -72*s - 21 = -71*s. Let m be (-10)/(-12)*s/14. Which is smaller: 0 or m?
m
Let d = -964 - -972. Which is smaller: 18 or d?
d
Let v(d) = d**3 + 3*d**2 + 4*d + 2. Let a be v(-2). Let h be 0/((-4)/a + -1). Let g = -23/630 - 4/63. Which is greater: g or h?
h
Let s(g) = 13*g**2 - 12*g - 10. Let h be s(5). Is h less than 254?
False
Let a be (-20)/(-6)*18/4. Suppose 0 = -2*j - 0*j - 4*o - 20, -3*o = -a. Which is bigger: -18 or j?
-18
Let s be 8/48 + (-15)/18. Let a = 4 + -6. Is a < s?
True
Let s(p) be the second derivative of -p**3/6 + 3*p**2 + 16*p. Let a be (1 - -2)*8/6. Let t be s(a). Which is greater: 5 or t?
5
Let o be (-35)/15*(-12928)/336. Which is smaller: 90 or o?
o
Let w be 3/(-9) + (-14)/12. Let k be (-368)/(-26) - 10/65. Are k and w non-equal?
True
Let s = -60 - -59.995. Let l = s + -1.995. Which is greater: -0.6 or l?
-0.6
Suppose 2*w = -h - 4, 8 = -h + 2*w - 6*w. Suppose 2*d = 5 + 1. Suppose 3 = 4*i + m, 12 = 5*i - m - d. Which is greater: i or h?
i
Suppose -6*v + 15 - 9 = 0. Which is smaller: v or 8/25?
8/25
Let y be (-276)/(-24472)*(-4)/3. Which is greater: y or 1?
1
Let s = 0.16 + 16.84. Let d = -17 + s. Which is greater: 7 or d?
7
Let q = 4 - 4. Suppose q = 3*r - 7*r - 4*k + 12, -k + 3 = -4*r. Let f = -45 - -44. Which is greater: f or r?
r
Let t = -60 + 53. Let z be 1/2*6/(-819)*t. Which is smaller: 1 or z?
z
Suppose 2*l - 6 - 2 = 0. Suppose -3*g = -l*g + 4. Suppose 2*h = g*h - 8. Is h not equal to 18/5?
True
Let d = 8093/7 + -1156. Which is smaller: d or -38?
-38
Let v be (6/(-9))/(-9 - -8). Is v <= 2?
True
Let c(q) = 4*q**2 + 12*q - 9. Let y be c(5). Does 148 = y?
False
Let c(x) = x**2 - 4*x - 2. Let n be c(4). Let p be 1/n*12/24. Which is greater: p or -2?
p
Suppose 36*m + 332 = 31*m - 3*j, 0 = 5*m + j + 334. Is m smaller than -0.4?
True
Let i(d) = -36*d - 19. Let w be i(-11). Let f = w + -1142/3. Which is smaller: -3 or f?
f
Let h be (5 - -1) + -27 + 20. Is h > -11/8?
True
Let s = 2 - 25/3. Let j = -86/15 - s. Is j smaller than 3?
True
Let f(p) = -38*p + 298. Let d be f(8). Which is smaller: 21 or d?
d
Suppose 3*h - 17 = -d, 5*h + d - 19 - 6 = 0. Let y(r) be the first derivative of r**4/4 - 5*r**3/3 + 2*r**2 - 5*r - 1. Let n be y(h). Is n not equal to -5?
False
Suppose -t = -2*h + 1, h + t - 3 = -h. Let o = 807/5 - 8807/55. Which is smaller: h or o?
h
Let p(j) = -j**2 - 14*j + 94. Let s be p(-19). Which is bigger: -3/127 or s?
-3/127
Let h(i) = -i**3 - 9*i**2 - 9*i - 12. Suppose -q - 3*f - 28 = f, 65 = -5*q - 5*f. Let v be h(q). Let n be v/(-10) - 24/(-40). Is 15 < n?
False
Let i be (-12198)/2996 + 1*(0 - -4). Which is smaller: -6 or i?
-6
Let u be (-20)/(-27)*12/(-8). Let l(f) = f - 44. Let k be l(0). Let v = 43 + k. Which is smaller: v or u?
u
Let q be 0 - (2 + -3)/1. Let m be q/(1/2) + -2. Let w be (3/(-4))/(50/40). Which is smaller: w or m?
w
Let q be 2/6 - (-16)/(-48). Let y = -27145/52 - -522. Which is smaller: y or q?
y
Let r(w) = 2*w - 6 - 31 + 8. Let f be r(14). Which is greater: -7/5 or f?
f
Let b = 15.6 + -2.6. Let l = -0.4 - 11.6. Let x = l + b. Is x at most as big as -0.04?
False
Suppose 16 = -4*n + 2*l - 4*l, 5*n + 9 = 3*l. Let c(g) = -4*g - 13. Let s be c(n). Is -3 not equal to s?
True
Let b be (-2)/(-36) - 460/(-72). Is 7 less than or equal to b?
False
Let m be 1*(-544)/24*-12. Are m and 272 non-equal?
False
Let q(p) = 16*p**2 + p + 3. Let v be q(-1). Suppose -6*j + v = -0*j. Suppose -2*k + 5*i - 2 = 0, -5*k + 4*i + 3 = -9. Are j and k nonequal?
True
Suppose 5*d + 81 = 8*d. Let a = d - 28. Which is smaller: a or -8/5?
-8/5
Let v be 1/6 + 3/(-18). Is -9/11 greater than v?
False
Suppose -5*i + o = -26, i + 4*i - 3*o = 18. Suppose -5*p - 2 = y - 51, -16 = -4*y. Is i greater than or equal to p?
False
Suppose -15 = -4*v + 5*d, 2*v + 1 = -4*d + 15. Suppose v*a - 4*w = 107, -a - 2*w - 3*w + 33 = 0. Let f be 1*-4 + (a - 7). Which is smaller: f or 11?
11
Let d = 4577 + -517197/113. Which is smaller: 0 or d?
0
Let o = -48997/33 - -1485. Is o > 0?
True
Let j = -961/35 - -202/7. Let u(y) = 12*y**2 + y**3 - 16*y**2 - 2 + 0*y - 3*y + 7*y. Let h be u(3). Which is greater: j or h?
j
Let o(x) = x - 2. Let s be o(7). Suppose 3*b = 2*a + 36, 0*a + 16 = -3*a - s*b. Let n be -1 + (-4)/a*0. Do n and -5/3 have the same value?
False
Let c be ((-5)/(-15))/(2/6). Let w = 486/19 + -8281/323. Which is bigger: w or c?
c
Suppose -3*u + p - 724 - 306 = 0, 5*u + 1730 = -p. Is u bigger than -1?
False
Let h = -3 + 5. Let i = -32 + 30.8. Let q = i + 1. Which is smaller: q or h?
q
Let a(s) = 6*s - 29*s - 28 - s**3 - 12*s**2 + 8*s. Let f be a(-11). Which is smaller: 17 or f?
f
Suppose -12*p + 19 + 5 = 0. Suppose 21 = -p*o + 3. Suppose 0 = 4*b - 9*b - 45. Is b equal to o?
True
Let u = -0.2 - 0.1. Let l = 0.2 + u. Let f = 0 - -0.2. Which is greater: f or l?
f
Let s = -5 + 5. Suppose s = 5*i + 3*y + 13, 0*i + 2*i = -y - 5. Let l be (i/10)/(13/78). Which is greater: l or -1?
-1
Let i = 696 + -689. Does -0.24 = i?
False
Let s = -280 - -285. Which is smaller: s or 5/2?
5/2
Let d = -3729309/647 + 5764. Which is greater: d or -1?
d
Let n be 4/(-6) + (-14)/(-3). Suppose n*j - 48 = -2*j. Is 8 bigger than j?
False
Let m = -296 - -276. Which is smaller: m or -62/3?
-62/3
Let g be ((-49)/5)/(-2 + 3). Let c = g + 9. Is c not equal to -2?
True
Let u(p) = -7*p + 5. Let g(y) = 29*y - 21. Let c(t) = -2*g(t) - 9*u(t). Let j be c(4). Suppose -40*a = -379 - 301. Is j greater than a?
False
Let p = -357 - -428. Is 2 less than or equal to p?
True
Let n be 17 - (-4)/(-1)*18/(-36). Is n smaller than 0?
False
Let h(c) = 2*c**3 + 12*c**2 + 5. Let z(l) = l - 1. Let f(v) = h(v) + 5*z(v). Let t be f(-6). Does t = -29?
False
Let a = 747 - 872. Which is smaller: a or 0.3?
a
Suppose 0 = u - 11 - 14. Let t = u - 21. Do t and 2 have different values?
True
Suppose -3*n - 2*n = j - 9, 2*j - n - 7 = 0. Suppose -j = -13*f + 11*f. Let s(l) = l**2 - 5*l + 1. Let r be s(5). Do f and r have the same value?
False
Suppose -7*b - 18 = -5*b. Let j(s) = s + 4. Let y be j(b). Let c be (-12)/y + (-10)/5. Are 2 and c unequal?
True
Let b = -198/53 - -23205/6254. Which is smaller: b or 0?
b
Let u = 105 + -44. Is u smaller than 60?
False
Suppose 3 + 15 = -5*l - 2*p, -3*l + 6 = -3*p. Let t be l/1 + (-1 - -2). Is -5/9 at most as big as t?
False
Let r = -3 - -5. Let z be (21/(-2))/(-7)*r. Suppose 3*w - 12 + z = 0. Is w > 3?
False
Let a(h) = -h + 3. Let d be a(-6). Suppose -b - 2*b = -d. Let i = 254/5 - 2216/45. Is i greater than b?
False
Let d(j) = 3*j + 33. Let 