e value?
False
Let d = -91 - -93. Suppose k = -d*o + 37, -o - 2*o + 6 = 0. Which is smaller: k or 35?
k
Suppose 1008 = -2*c - 4*k, 3*k + 14 = 2. Which is smaller: -494 or c?
c
Let f = -49.8 - 585.2. Let c = f + 622. Does 6 = c?
False
Let y = -1351 + 6801/5. Let x = y - 87/10. Let o = x - 1/7. Which is smaller: 1 or o?
o
Let p = -3.8 - -3.775. Let u = -4.2 - -4.1. Are u and p nonequal?
True
Let n be (8/(-48))/(1/4) - (-71825)/39. Are n and 3679/2 unequal?
True
Suppose 0 = 5*j + 5 + 15. Let d be (174 + 3)*j/15. Let u = -257/5 - d. Is -5 >= u?
False
Suppose -4*z - 3*c = 20, -3*c = -0*c. Let g be (z/6*3)/((-226)/134). Let w = g - -2/113. Do 2 and w have the same value?
False
Suppose m - 2*a - 23 = 113, 3*m - 430 = -5*a. Which is bigger: m or 9?
m
Let t = -18266 - -29341. Which is bigger: 0.1 or t?
t
Let y(o) = -5*o**3 - o**2 + 1. Let h be y(-1). Suppose 3*v + h = 2*l, 3*l - 2*v + v = 11. Suppose -4*d - 2*r = -l, 2*r = 7*r. Which is smaller: d or -1/6?
-1/6
Let a = 1006792324/7759 + -129758. Do 1 and a have the same value?
False
Suppose -m - 20104 = -4*t, -3*t = 3*m - 11765 - 3298. Is 5023 less than t?
True
Let y be (1064/20 - -4)*7/378 - 1. Is y not equal to 0?
True
Let c(d) = 19. Let k(v) = -v + 3. Let w(u) = -c(u) - 3*k(u). Let n be w(9). Are n and -1 equal?
True
Let d = 0.085 - 0.827. Let t = -0.258 + d. Which is smaller: 237 or t?
t
Suppose -o + 19 = -4*s, 5*o - 5*s + 4*s - 38 = 0. Let c be (-7 + o - -2) + (-621)/309. Which is smaller: c or -1?
-1
Let x be 3*1 - (7 + 201*(-16)/48). Let z(o) = 8*o**2 + 2*o - 2. Let i be z(-3). Does x = i?
False
Suppose 0 = -5*n + 3*n + 118. Let u = n + -55. Let x be (-18)/7 + (u - 48/14). Is 1/27 >= x?
True
Suppose 3*h = 7 - 4. Let p be 7*(-6)/4*(-8)/14. Let s be (-2 - 34)/(-12)*(-4)/p. Which is greater: h or s?
h
Let s(x) = -x**3 - 3*x**2 + 124*x + 807. Let q be s(-11). Is q >= 409?
True
Let l be (12/1220)/(3/9369). Let d = l - 154/5. Which is smaller: d or 0?
d
Let o be 2/4 + (-10)/(-4). Suppose -o*s = -0*s + 156. Let g = 160015 - 160066. Is s bigger than g?
False
Let s = -4 - -4. Let b = -360 - -409. Let n = -74 + b. Which is smaller: n or s?
n
Let s(p) = p**2 + 11*p + 7. Let u be s(-7). Let l(f) = -f**2 - 16*f + 14. Suppose 79 = -7*y - 47. Let j be l(y). Which is bigger: u or j?
u
Let g = -7 - -6. Let p = 7082972/687 + -10310. Is g bigger than p?
False
Let a be (-60)/5*(-3)/((-9)/(-2)). Suppose 0 = -4*t + 8 + a. Suppose -2*k = 4*l - t, -l + 3 - 2 = -2*k. Is -1/36 at least l?
False
Let l(j) be the second derivative of j**4/12 - 2*j**3 + j**2/2 - j - 2. Let t be l(12). Which is smaller: t or -1/5?
-1/5
Let u be (-15)/(-20)*(-656)/3816. Let k = u - 2/53. Is 4.8 equal to k?
False
Suppose 4*i = -p - 433, 2*p = -5*i + p - 542. Let a = i - -120. Which is greater: 10 or a?
a
Let u = -18118 - -8125. Is -9993 less than u?
False
Let l(m) be the second derivative of m**3/3 - 48*m**2 - 8*m. Let z be l(39). Is -18 > z?
False
Suppose -1321 = 4*b + 695. Let h be (-1)/(-8) + (-11025)/b. Is h less than 106/5?
False
Suppose -4*u + 18 - 10 = 0. Let i(b) = -3*b - 8. Let h be i(-4). Suppose 3*g = -s - h*s - 66, 3*g - 39 = u*s. Is s at most -16?
False
Suppose -w + 549 = 4*m, 250*m = 253*m + 2*w - 408. Let z = -199 + 337. Is z smaller than m?
False
Let u be -2 - (174/(-183) + -1). Let f(c) = 2*c**3 - 16*c**2 + 2*c - 4. Let q be f(8). Suppose q*h - 9 = 21*h. Which is smaller: h or u?
h
Suppose 0 = 14*z - 23 - 5. Suppose -o = -5*t + 160, -5*o - 291 - 463 = -z*t. Let y be (-446)/o - 2*(-3)/(-2). Is -1 bigger than y?
False
Let h = -967/21 + 3973/84. Are h and 2723 equal?
False
Let z = 86.04 + 1070.96. Which is bigger: z or -2/5?
z
Let u be ((-8)/14)/((-2)/14). Suppose u*f + 15 = 59. Let r = -7 + f. Is r at most as big as 4?
True
Suppose 0 = -10*n + 4*n - 1416. Let j be (1121/n)/(2/(-296)). Which is greater: j or 704?
704
Let y = -35.707 - -0.107. Let i = -35.658 - y. Is i < -4?
False
Let v = 678 + -654. Let h = -23.34 - 0.56. Let n = h + v. Is -35 >= n?
False
Let g = -8714 - -8719. Let f(h) = -h**3 - 3*h**2 - 4*h - 2. Let y be f(-2). Suppose -v - y = -4. Which is smaller: v or g?
v
Let m be -9 - (7 + 31512/(-1972)). Is m < -1?
False
Let f(n) = -n**3 - 17*n**2 + n + 5. Let u(o) = 3*o**2 + 5*o - 4. Let q be u(1). Let j be (-17)/((-4 - -1) + q). Let h be f(j). Is h greater than -10?
False
Let w(c) = -c**3 + 22*c**2 - 57*c - 54. Let t be w(19). Which is smaller: t or -5?
t
Suppose -14*g + 10*g = 5*n + 166, 2*n + 2*g + 66 = 0. Is n at least as big as -2/79?
False
Let w = -0.091 + -2.941. Let f = w - 0.268. Is 6 smaller than f?
False
Let y = 576 + -576.08. Let l = 0.28 + y. Which is smaller: -80 or l?
-80
Let t = 3 + -2. Let a = 0.1 - -16.9. Let b = 4 - a. Do b and t have the same value?
False
Let k = -726 - -1063. Which is smaller: 1 or k?
1
Let w = 0.553 + -0.48. Let g = 0.203 - w. Let d = g + -0.2. Is -10 greater than d?
False
Suppose 3*d + 22*d = -15*d. Is 34/103 less than d?
False
Let n(d) = 3*d**2 + 6*d - 6. Let s be n(-5). Suppose -176*a = -427 - 6085. Which is bigger: a or s?
s
Let x = -14544 - -14537. Which is smaller: x or -31/14?
x
Let k = 3 + -9. Let m = 6 + k. Let v be (4900/(-170))/(-7) + 12/(-102). Which is greater: v or m?
v
Let v(p) = 46*p + 480. Let y be v(-8). Which is bigger: 72 or y?
y
Suppose s + 0 = -2*m - 5, -3*m + 15 = -3*s. Let i be (-432)/(-60) - (-1 + (m - 2)). Is 9 smaller than i?
True
Suppose 52*g - 25 = 51*g + 4*b, -3*g - 5*b + 41 = 0. Let z(o) = -3*o - 15. Let x be z(-5). Let c be (4 - x)/((-24)/(-12)). Which is bigger: g or c?
g
Suppose 5*p - f - 12 = 0, 20 = 3*p + 4*f - 1. Let z be p/(18/4*(-3)/(-18)). Which is smaller: z or 8?
z
Let z be 1 - 161/2258*14. Let q = z - -15796/5645. Suppose -7*y + 6*y - 3 = -l, 2*l - 18 = -4*y. Which is smaller: q or y?
y
Let m be (-5 + 1 + 4)/2 + (-7)/(-12292). Which is smaller: 1 or m?
m
Let g be (-3 + 3)/(-3 + (3 - -2)). Let s = 5691 - 108153/19. Which is smaller: s or g?
s
Suppose -3*p - 5*a = 1586, 0 = 53*p - 48*p - 3*a + 2632. Which is bigger: -538 or p?
p
Let b = 43.937 - -0.063. Let g = b - 75. Let m = g - -24. Does m = -1?
False
Let s(u) = u**2 + 7*u - 168. Let b be s(10). Suppose -f - 422 = -b*t, -13*t = -10*t + 5*f - 607. Are t and 209 equal?
True
Let z = 225 + -132. Let s = 89.044 + -0.044. Let g = s - z. Is g > 2?
False
Let h = -42.5 + 620.5. Let g = -596 + h. Are 0.05 and g equal?
False
Suppose -q + 3*q + 54 = 0. Let i be (-2002)/(-99) - 2/9. Suppose i*p - 4*p + 464 = 0. Is p not equal to q?
True
Let o(f) = -17*f - 4. Let w be o(-1). Suppose -114 = -w*z - 1258. Is z greater than -88?
False
Let h(f) = f**2 + 20*f + 27. Let s = -53 - -56. Suppose -2*n + 30 = -s*j - 1, -3*j = 5*n - 4. Let p be h(j). Which is greater: p or -63?
-63
Let s be ((-624)/(-15))/(19/475). Let b = 1014 - s. Which is smaller: b or 12?
b
Let n be 552/(-864) - 9/(-12) - 2/6. Is 4/55 != n?
True
Suppose 0 = y + 3*s + 1089 + 3589, -s - 4668 = y. Which is bigger: y or -4666?
y
Let t = 211 - 200. Suppose -6*x + 35 = -5*d - 7*x, d + t = -x. Which is bigger: d or -5?
-5
Let j = 88.2 + -85. Let z = -7/16 + 227/592. Let p = z - 29/148. Is p not equal to j?
True
Let a = 5469.2 - 5470. Is a >= -3.72?
True
Suppose -26*i = -38*i + 444. Let g be (10/48*1)/(i/148). Let m = 1 + 0. Is g < m?
True
Let t(z) = 88*z - 3039. Let a be t(33). Which is bigger: -18/11 or a?
-18/11
Suppose -2*j + 31 - 64 = -5*v, j = -3*v - 22. Are j and -186 non-equal?
True
Let c(a) = 2*a - 2. Let p be c(1). Let n be (8 - 3)*(0 + (p - 1)). Let h be 1*-3 + (-23)/(-3) + n. Is h at least -2/15?
False
Let t = -9134 + 593. Is -2 not equal to t?
True
Let z = 680 + -617.6. Let l = -85 + z. Which is smaller: 0 or l?
l
Let p(s) = -366*s**3 - 15*s**2 + 8*s + 16. Let c be p(-3). Do c and 9740 have the same value?
False
Let d(l) = l + 1. Let s be d(-4). Let a = 7 + s. Let x = 573 - 571. Is x >= a?
False
Let v = -8450 + 8769. Does 313 = v?
False
Let t = 327 - 326.83. Let a = -1/1576 - 74065/11032. Let k = a - -437/63. Are t and k non-equal?
True
Let h = 0.02897 + -0.86897. Are 7/3 and h unequal?
True
Let o = 0 + 36. Let u be 8/6*o/24. Suppose u*b - 3*n + 9 = -30, 111 = -4*b - 5*n. Is -23 smaller than b?
False
Let l be ((-395)/20*-10)/((-39)/4 - -11). Which is smaller: l or 150?
150
Let q be 2091/1 - (586 + -573). Is q greater than 2085?
False
Le