- 312. Let c be w(-3). Is 40 < c?
False
Let c(g) = g**2 + 4*g - 10. Let j be c(-7). Suppose -34 = -3*w + j. Suppose 4*l + 4*z - 14 = -z, 5*l + 5*z - w = 0. Is l at least 0?
True
Let k be 10/25 - (-514)/140 - 4. Suppose -5*p + 5 = -0*v - 2*v, 0 = 4*p - v - 1. Which is smaller: p or k?
p
Let j = -3414 + 3436. Is -11 equal to j?
False
Let o(d) = 48*d + 5. Let l be o(1). Suppose 322 = 76*t - l*t. Which is bigger: 12 or t?
t
Suppose 0 = 3*l + 3*n, -1 = -3*l + 266*n - 270*n. Which is smaller: l or 4/1717?
l
Suppose -3*a = 2*a + a. Suppose a = -3*g + 2*w + 1, -2 = -g + 2*w + 5. Let k be (1 + 1/g)/(1/(-24)). Which is smaller: k or -14?
k
Suppose -2*l - 18 = -12*p + 8*p, 2*l + 13 = 3*p. Let r be (-2)/(-9) + (-496)/2151. Is r < l?
True
Let p = 253 - 253. Let o = 0.255 - 0.055. Let h = o + p. Are h and -2/13 non-equal?
True
Let q(n) = 171*n**2 + 93*n - 2. Let x be q(-2). Are x and 504 nonequal?
True
Let i = 10413 + -10391. Which is bigger: i or -389?
i
Let f = 675.2 + -559. Let d = f + -116. Is d bigger than 0.08?
True
Let k = 291/14 - -54/7. Let a(y) = -285*y + 1169. Let q be a(4). Is k smaller than q?
True
Let q = 360 - 377.3. Let x = q + 90.3. Let v = x - 73.05. Is v equal to 0.1?
False
Let g(z) = z**3 + 8*z**2 + z - 4. Let q be g(-8). Let k be ((-2)/q)/((-15057)/(-756)). Is k != -1?
True
Suppose 0 = -4*a + 3*a + 4*f + 24, -5*a + 2*f + 48 = 0. Suppose -a*w + 469 = -w. Is 67 less than w?
False
Let d be ((-76090)/(-46) - -9)*2/9540. Let b = d - 2/2385. Which is bigger: b or 0?
b
Let m be (-3*3/(-36))/(14*10/560). Which is greater: 2/24239 or m?
m
Suppose 7*u = 2*u - 120. Let j be (-2*4/u)/1. Let a = 117/1540 - 1/20. Is a less than j?
True
Let x be (-8280)/(-162)*(-1 - (42/(-10) - -2)). Which is bigger: 60 or x?
x
Suppose 451*i = 243*i - 145*i. Let n be 92/(-657) + 2/9. Are n and i nonequal?
True
Let l = -14627 - -14625. Is -18 at most l?
True
Let p = 26 + -32.64. Let h = p + 48.54. Let r = h + -40. Is r >= -0.2?
True
Let c(h) = 10*h + 174. Let r be c(0). Let l = r + -175. Is l > -3/104?
False
Suppose -179 = 3*f - 18*i + 19*i, 3*f + 178 = -2*i. Let t = 6 - 7. Let q be (t - (-8)/6)/(68/f). Do 1 and q have the same value?
False
Suppose -19*w = -68*w + 4116. Let c be w/(-63)*2/6. Which is bigger: 18 or c?
18
Suppose -s - 4*b = -6*s - 90779, 4*s - 2*b = -72628. Let t = -23770130/1309 - s. Which is greater: t or 0?
t
Let o = -126 + -6. Let k = -118 - o. Is k greater than 17?
False
Suppose -9*l = -4*l + 610. Let d = -61 - l. Let j = -42 + d. Which is smaller: j or 20?
j
Let t = -13777 + 13776. Which is greater: t or -1/15856?
-1/15856
Suppose 0 = 7*r - 4*h + 1936, 6*r + 5*h = 4*r - 547. Is r != -261?
True
Suppose 2*f - 1 = f. Let j be (8/12)/((-1064)/42 + 1). Which is smaller: f or j?
j
Suppose -96 = -o + 5*q, -3*o - 2*q + 144 = -o. Let c be o/(-6)*(6 - 2 - 6). Which is smaller: 26 or c?
c
Let y = -2196 + 2439. Is 244 <= y?
False
Let z = -74 + 152. Let f = z + -139. Let c = f - -60.76. Is c bigger than -1?
True
Let w be 1*-41 + (6 - 5). Let b be 85/25 + -3 + (-59)/w. Let z(k) = -23*k - 137. Let n be z(-6). Is n at most b?
True
Let k be ((-77)/42 - -2)*-6*-224. Which is smaller: k or 221?
221
Let h(y) = y**3 - 9*y**2 - 3*y + 13. Let s be h(12). Let i = -520 + s. Which is smaller: -113 or i?
-113
Let u(m) = m**2 + m - 53. Let r be u(-8). Let j be 2600/(-17446) - (-4)/66*r. Let i(w) = w**3 + 2*w**2. Let x be i(-2). Is j > x?
True
Let k = 1 + -1. Suppose k = 5*m + 5, -4*j + 2*m + 94 = 0. Suppose -1185*n - 4*w = -1181*n - 96, 7*n - 165 = -4*w. Is n less than j?
False
Let o = 6.1 + -34.1. Let y = 27.56 + o. Let l be 62*3/210 + 18/(-30). Do y and l have the same value?
False
Suppose -8*r - 3 + 3 = 0. Suppose r = 4*m - 5*m + 1. Let t = 29 - m. Does t = 28?
True
Let g be (-5 - (-126)/12)*(-1 + -11). Suppose -795 = 13*b + 89. Do b and g have the same value?
False
Let j(u) = 3*u**3 - 136*u**2 + 45*u + 3. Let s be j(45). Suppose y = -4*p + 231, s*p + 28*y = 27*y + 172. Are p and 59 equal?
True
Suppose 2*t - 4383 = -5*r, 18*t + 10966 = 23*t + 4*r. Which is bigger: 2192 or t?
t
Let a(s) = -s + 6. Let d be 3 - 2 - -1 - -1. Suppose -d*k + 20 = 5*b, -k + 4 = -0*b - b. Let z be a(k). Which is bigger: 3/13 or z?
z
Let o = -19.9 - -22.47. Let j = -28.43 - o. Which is smaller: 0.1 or j?
j
Let s(o) = 35*o**2 + 19*o - 10. Let b(i) = 18*i**2 + 10*i - 5. Let p(d) = 5*b(d) - 3*s(d). Let j be p(-4). Which is bigger: -2/7 or j?
-2/7
Let u = 0.5847 + -0.6314. Is u < -0.4?
False
Suppose 2*p - 8 = 0, m - 46 = -4*m + p. Are 104/11 and m equal?
False
Suppose -3237 = g - n - 1105, -n - 2120 = g. Does g = -0.3?
False
Let d = 567/22348 - -1/604. Let f = 104/259 + d. Let t = -50 + 56. Is f at least t?
False
Let o(p) = -p**3 + 74*p**2 - 340*p - 345. Let v be o(69). Is v bigger than 3741/13?
False
Let a be 3 - ((-58)/(-10) - (-60)/(-75)). Let y be (1 - (-3)/a)*(38 - 28). Is -9 less than or equal to y?
True
Let b(h) = 22*h**2 - 3 - 18*h**2 + 4 - 6*h - 58*h. Let a be b(16). Which is greater: a or 2/529?
a
Suppose 2*w + 7 - 2 = q, 2*q - 7 = w. Let v(d) = 19*d. Let u be v(12). Is w != u?
True
Let i be 1/((-20)/12)*(-5)/3. Is i less than -30/217?
False
Suppose 0 = 12*o - 5*o + 105. Let d(y) = -y**3 - 14*y**2 + 17*y + 30. Let z be d(o). Let m = -374/7 + 8644/161. Which is smaller: m or z?
z
Let g = 767.653 + -0.653. Let o = g + -813. Is o equal to 2?
False
Let l = -1.391 + 8.391. Which is smaller: 163 or l?
l
Let y(t) = 3*t - 11. Let o be y(-9). Let l(i) = 13*i + 25. Let g(r) = -25*r - 49. Let h(m) = 4*g(m) + 9*l(m). Let p be h(-4). Is o greater than p?
True
Suppose -4*q = -8, 4*q + 158 = -5*u + 46. Let k be (2/15)/(u/54). Is k <= -6?
False
Suppose -6*b = -4*b. Suppose b = 3*y + d - 26, 3*y - 2 = 5*d - 6. Suppose -15*j = 10*j - 5*j. Is j at least y?
False
Let j = 984889/298 - 3305. Let t = 1119/21754 - j. Which is greater: t or 0?
t
Let g = 8604 - 610886/71. Are g and 100/9 nonequal?
True
Let r = -1034/7 - -148. Let d = 389 - 389.2. Is d != r?
True
Suppose -16*w + 73 = 105. Let j be 5 - w - 812/(-35). Which is greater: 31 or j?
31
Let d = -303 - 137. Suppose 20*t + 2003 = -6797. Do d and t have the same value?
True
Suppose 10*n = 30327 - 32357. Is n at most -204?
False
Let z = 1474 - 1475.3. Let s = 1 - -0.5. Let l = z + s. Which is smaller: l or -28?
-28
Let o = -9.43 + 66.4. Let z = 58.05 - 1.05. Let y = o - z. Which is smaller: 1/4 or y?
y
Suppose 0*s = 5*s - 285. Let g = -55 + s. Suppose -17*z + g*z + 15 = 0. Which is greater: z or -2/133?
z
Let d be -8*(19737/18)/(-17). Let w = d + -515. Which is smaller: 1/881 or w?
1/881
Let n = -12 + 13. Let i = 2/6559 - 13348/754285. Is n greater than or equal to i?
True
Suppose -13*z = -34*z + 9744. Let w = -464 + z. Is 1/43 at most as big as w?
False
Suppose 2*g + 3 = 4*l - 1, 4*l - g = 6. Suppose -l*w = -15 - 27. Is 21 less than w?
False
Let q = 2859 + -1633. Let f be (-1 - q/(-1224))*(-64)/(-40). Which is smaller: f or 0?
0
Suppose 4*k = 2*v + v + 280, -140 = -2*k - 4*v. Let w be ((-1)/(-2))/((k/(-115))/(-7)). Let f = -25/4 + w. Do 0.2 and f have the same value?
False
Let j(l) = -l**3 + 4*l**2 + 12*l + 13. Let t be j(10). Let s = 402 + t. Are s and -64 non-equal?
True
Suppose -2*p - 2*g + 3*g + 420 = 0, -3*p + 635 = g. Suppose -5*a - 5*c + 1055 = 0, -4*a - c + 967 - 123 = 0. Is a <= p?
True
Suppose -87 = -4*t + 2*h - 71, -3*t - 32 = 4*h. Is 189/143 smaller than t?
False
Suppose -i - 12 = -39. Suppose 32 = 5*t + i. Let z(m) = 12*m**3 + 3*m**2 - 2*m + 1. Let r be z(t). Which is smaller: -0.1 or r?
-0.1
Suppose 41*i - 30 = 36*i. Suppose 0 = 4*w + i + 2. Let m be ((-16)/48)/(w/(-66)). Do -10 and m have the same value?
False
Let a be (-4)/(-18) + (-10)/45. Is a less than or equal to -2/37?
False
Suppose x + 2*x = 2*c + 1117, -3*c - 1490 = -4*x. Let k = -371 + x. Which is greater: k or 1/281?
1/281
Let k be (-62790)/(-329700) - 2/10. Which is greater: -1 or k?
k
Suppose -4*o + 6*o + s - 11 = 0, -4*o - 13 = -5*s. Suppose -10*d - 21 = -o*d. Let q = d - -16/5. Is -1 at most as big as q?
True
Let k(t) = -2*t**2 - 12*t - 4. Let a be k(-8). Let w = 77 - -58. Let s = -170 + w. Which is greater: s or a?
s
Let g(w) = w**3 - w - 1. Let j(v) = 3*v**3 + 6*v**2 - 13*v + 2. Let m(b) = 5*g(b) - j(b). Let h be m(3). Let c(z) = 2*z - 61. Let a be c(h). Is a < -28?
False
Let h