Let d = -49 + 303. Which is smaller: 253 or d?
253
Let n be 1*(-2 + 2 + -2). Suppose -c - 4*p + 33 = -0*c, 0 = c - 5*p - 24. Let i = -36 + c. Is n equal to i?
False
Let o be 1 + 8/(-14) + (-137401)/77. Let a = o - -69566/39. Which is greater: 1 or a?
1
Let i = -1057/4 - -264. Let x = -3.04 + 3. Which is bigger: x or i?
x
Let z = -411 + 409. Do -36/25 and z have the same value?
False
Let n = 6.4 - 3.5. Let q = 0.6 - 3.6. Let d = q + n. Are 4 and d nonequal?
True
Let u = -14.758 - 0.242. Which is smaller: 0.023 or u?
u
Let m = -137 - -131.9. Let v = -1 - -6. Let a = m + v. Which is smaller: a or 2/3?
a
Let d = 5 + 5. Let q be ((-32)/d)/((-6)/(-30)). Let l be (-2)/(-3)*(-2)/q. Are -1 and l unequal?
True
Let b(m) = 5*m + 97. Let r be b(11). Is 151 <= r?
True
Let d = 201 - 203. Is 3/166 smaller than d?
False
Let p = -4 - -7. Suppose y + p*y - 4*i = 0, y - 3*i = 10. Let g = y + 7. Which is greater: -1 or g?
g
Let m(v) = -v**3 - 9*v**2 - 16*v - 53. Let q be m(-10). Which is smaller: q or 208?
q
Let x be 38/95*(-10)/4. Let u be (3 - 2)*30*(x - 0). Are u and -30 non-equal?
False
Let y = -38 + 43. Let k be (-3*y/15)/1. Is -2/15 greater than k?
True
Let z = -21.3 + -3.3. Let d = -3.4 + z. Let r = d + 39. Which is smaller: 0.1 or r?
0.1
Suppose 0 = n - 2*b + 32, 0 = 2*n - 5*b + 3*b + 62. Let m be (36/n)/(6/(-140)). Is m != 30?
True
Let l = 752 - 839. Which is bigger: l or -4?
-4
Let u be ((-26)/(-65))/((-3)/(-1065)). Which is smaller: u or 144?
u
Let i = -0.329 - -8.329. Which is smaller: i or 1?
1
Let y = -3 + 4. Let w be y*(-12)/(-4) - 3. Let q be 1*w/((-4)/1). Which is greater: 5/6 or q?
5/6
Let d be (5/375)/(1/2). Let u = d + -47/825. Which is bigger: u or -1?
u
Let t = -4 + 6. Let v(p) = -p**3 - 5*p**2 - 4*p - 1. Let q be v(-3). Let k be -1*(-1 - (q - -4)). Is k at least as big as t?
False
Let q(v) = 3311*v**3 + v**2 - 4*v. Let f be q(2). Let b be f/15*(-2)/8. Let u = -443 - b. Is u bigger than -1?
False
Suppose 2*q + 3*m = -m - 22, -q = -5*m - 24. Which is smaller: q or 7/57?
q
Let d = 0 - 0. Let k be 1/((-2)/46) - 3. Let s be (-30)/20 - k/16. Does s = d?
False
Let f be 775 + (-22)/(-12) + 3/18. Let v = -59827/77 + f. Which is smaller: v or 1?
v
Let r = -484 + 488. Suppose 5*v = 10, -4*v + 7*v = 2*t - 8. Is r smaller than t?
True
Let l = 32.841 + -32.8. Which is bigger: l or -0.02?
l
Let k = -0.07 + -6.93. Let o = k + 5.5. Let g = o + 0.5. Is g < 1?
True
Let p be (5/(3270/9))/((-9)/12). Let w = -208/545 + p. Which is smaller: w or -8?
-8
Let u = 618.02 - 610. Let s = u + -8. Let f = s - 1.02. Does f = -0.2?
False
Let z = 289 - 286.6. Which is greater: 1 or z?
z
Let m(l) = l**2 + 19*l. Let g = -32 - -13. Let h be m(g). Is 1/54 smaller than h?
False
Let q = 8907987976/2385 - 3735006. Let m = q - -1/265. Suppose 0 = d - 2*p - 7, -d - 2*p + 0*p - 9 = 0. Is d at least m?
False
Let i be ((24/15)/4)/(1/(-165)). Suppose 0 = -3*r + j + 15, 3*r + 5*j - 1 = -r. Let q be (r - 7) + i/(-21). Which is greater: q or 0?
q
Suppose 7*r + 16*r - 7*r = 0. Is r at least as big as 5/521?
False
Let d be (-42)/238*-17 - 1584/530. Is 0 >= d?
False
Let r(a) = a**2 - 1. Let x be r(2). Let b be 2*x/2*(-7)/(-7). Which is smaller: b or -3/2?
-3/2
Let k be (-1 - (-3)/1) + (-120)/61. Is 0.4 at most k?
False
Let h = -252 + 173. Let b = -8.1 + 8. Which is bigger: h or b?
b
Let r = -252 - -251. Let v = -0.1 + -6.9. Which is greater: r or v?
r
Let s = 62 + -62.5. Let h = 4 - 3.83. Let w = h + -0.07. Which is smaller: s or w?
s
Let o be (0 - -1)*0/3. Let s be (-148)/426 + (-2)/(-6). Let b = -66/355 + s. Which is smaller: b or o?
b
Let b = 2 - 3. Suppose 44 = 6*a + 8. Suppose 0 = -3*p - a, 70 - 191 = -5*t - 2*p. Which is smaller: b or t?
b
Let t be (-1*(8/(-2) + 5))/2. Is -2 < t?
True
Let n = 4055/8 + -506. Suppose 5*d + w = 6, -w = -5*d + 4*w + 30. Is d at most n?
False
Let h be (3 + 32/(-12))/((-1)/(-9)). Suppose 4*n - 94 = 2*m, -4*m + h*n - 96 = -2*m. Which is smaller: -52 or m?
-52
Suppose k = -3*a - 5, -a + 4*k = 2 + 4. Let h be 160/24 - a/(-3). Let q be -1 - -1 - (h - -2). Is q smaller than -8?
False
Let k = 355/7 + -51. Let y = k + 1/28. Which is bigger: y or -18?
y
Let d be (1/(-12))/(8/(-50)). Let o = 3/16 - d. Do 2.3 and o have different values?
True
Let j = 4255/12 - 355. Suppose -5*b - 3*w - 2 + 8 = 0, -2 = -6*b - w. Which is greater: b or j?
b
Let j be (-7 - (-574)/21) + 2. Is j at least as big as 22?
True
Suppose 0 = 2*n + 11 + 5. Which is greater: -20/3 or n?
-20/3
Let r(a) = 7*a**2 - 2*a - 2. Let t be r(-2). Let l be ((-8)/(-150))/((-36)/t). Let b(j) = -j**3 - 2*j**2 + 3*j - 1. Let w be b(-3). Which is smaller: l or w?
w
Let z(a) = -3*a - 3. Let n be z(-1). Is n smaller than 19/24?
True
Let p be ((-28)/16 + 3)*(-2 + 338). Which is greater: 423 or p?
423
Let k = 39 - 32. Let w = k - 2. Let h = -4 - -3.9. Which is smaller: h or w?
h
Let s = 2761/8 + -344. Let d be 6/(-24)*2*-2. Which is bigger: s or d?
s
Let i be 9/(-15) + (24/10)/(-6). Is i != 3/142?
True
Let w = 14 - 100/7. Is 2/261 smaller than w?
False
Let a = -2.31 + -0.39. Let k be (-4 - -13) + 8/(-2). Suppose -4*x - k*t = -x + 23, -2*x + 4*t + 14 = 0. Are a and x unequal?
True
Let x = 0.156 - -0.844. Which is bigger: -176 or x?
x
Let v be (154/42)/((-4)/(71 - -1)). Which is smaller: v or -6?
v
Let t = -155 + 164. Which is smaller: 47/5 or t?
t
Let l be (-42)/4*(-624)/637. Is 11 less than l?
False
Let s be 1 - -1*(3 - -1). Suppose 0 = s*p + t - 8, -3*p + 1 - 5 = 5*t. Let g(o) = o**2 + 6*o. Let c be g(-6). Is c < p?
True
Suppose 0 = -4*q - 12, 0 = -t + 5*q + 17 - 1. Is 341 at most as big as t?
False
Let s(g) = -8*g + 4. Let u(n) = 7*n - 4. Let v(x) = -4*s(x) - 5*u(x). Let d be v(6). Let p be (-29)/2 - 3/(-6). Are p and d equal?
True
Let g be -1 + 2 - 4/2. Let i be g*1*2/22. Let y = 5133 - 5132. Which is greater: i or y?
y
Let k be (-12)/(-2) - 8*6/(-48). Suppose -2*h - h = -2*r + 19, 0 = -3*r - 5*h. Suppose -48 = -r*y + 5*i + 2, -5*i = y + 8. Are k and y non-equal?
False
Let w = 1161/22 - 17497/66. Is -213 greater than or equal to w?
False
Let i = 38 - 66. Let s = -29 - i. Are -2/69 and s nonequal?
True
Let b = -609 + 3043/5. Which is smaller: b or -1347?
-1347
Let m(q) = -q - 15. Let n be m(-9). Let z be 3/37*4/n. Suppose -20 = 3*t - 4*x, 4*t - 3*x + 17 - 2 = 0. Is t at most z?
False
Suppose -5*b = 5*l + 90, l = 4*l - b + 58. Let f(i) = i**2 + 11*i + 9. Suppose 12 = 3*q - 3, -3*q + 23 = -2*a. Let p be f(a). Is l at most p?
True
Let h = 14.6 - 17.6. Let w(a) = a - a - 2*a + 4 + 3*a. Let g be w(-7). Is g smaller than h?
False
Let z(w) = w**3 + 22*w**2 - 50*w - 45. Let q be z(-24). Which is smaller: -135 or q?
-135
Let w = -153 + 345/2. Let l be 1/(-1*1/(-19)). Is w bigger than l?
True
Suppose 7*w + 2*w - 45 = 0. Suppose b + 4*m - 4 = 0, -w*b + 0*m = 5*m - 35. Let d be (2 - 0)/4*12. Which is bigger: d or b?
b
Let s = -22 - 2. Let j = s + 20. Let a = j + 5. Is a greater than or equal to 1/17?
True
Suppose -j = 70 - 74. Let h be 4384/(-5680) + j/5. Is 2/5 >= h?
True
Let a(f) = f**2 - 6*f + 7. Let p be a(-8). Let w = -71 + p. Suppose 3*r = -3*r - w. Which is smaller: r or -6?
r
Let a(c) = -c**3 + 28*c**2 - 4*c - 32. Let q be a(28). Do -146 and q have the same value?
False
Suppose -38*f = 108 + 44. Suppose l = 3*l. Suppose -t - 2*o = 13, 5*t - 2*t + 5*o + 35 = l. Which is greater: t or f?
f
Let o = -46.996 - -47. Let d = 6.996 + o. Which is greater: d or 0.1?
d
Let s(f) = f**3 - 8*f**2 + 31. Let u be s(5). Is -44 equal to u?
True
Let k be ((-3)/10)/(4 - 846/210). Is 12 less than k?
False
Let w be (63 + -4 - 4) + -9. Which is smaller: w or 2?
2
Let a = 5 + -11. Let k be (a/7)/((-20)/28). Let t = k - 29/20. Which is greater: 1 or t?
1
Suppose 9*o - 775 = 1448. Is 247 > o?
False
Let v be (-1)/2 - (-15)/(-6). Let t be 1*(v/(-3) + -2). Let x = 17/10 + -139/70. Which is smaller: t or x?
t
Let q(m) = m**3 - 3*m**2 + 1. Let l be q(1). Let r be l/(-3) - (-74)/(-30). Let o = -7/3 - r. Which is greater: o or -1?
o
Let i(n) = -n**3 + 5*n**2 - 4*n. Let v be i(3). Let t = v + -6. Suppose 4*u + 2*z + 24 = t, -2 = 3*z - 8. Is -7 bigger than u?
False
Suppose 10 = -3*a - 2*a. Let m be a - 3/(-3 + 2). Let c be m/6*36/(-40). Which is bigger: c or -1?
c
Let o = -0.3 - -5.3. Let q = o + -9. Let z = 6 + -6. Are q and z equal?
False
Let a be 2