3). Let a be g/36 - (-2)/6. Which is bigger: 3 or a?
a
Let y be ((-68)/8)/(78/(-12)). Is y less than 0?
False
Suppose 6*i + 451 = -161. Is i less than -104?
False
Let k be ((-32)/(-36))/(-4) - (-635)/4437. Let w = k + 4/29. Suppose q + 5*l - 2*l + 16 = 0, 2*l = q - 9. Which is bigger: q or w?
w
Let a = -3/25259 + 78375/21874294. Let r = a - -1207/151550. Let v = 1571/350 + r. Is v not equal to 6?
True
Let u = 34.2 + -32. Let d = u - 2.16. Is 1 > d?
True
Let k(b) = -4*b**2 + 19*b - 60. Let c be k(3). Is -39 at least as big as c?
True
Let p = -435 + 25668/59. Is p != -1?
True
Let k be 0*3/9 - 1. Let w be k - ((-2)/2)/(-1). Suppose -3*c - 44 = -5*m, -5*c = -11*m + 15*m - 13. Which is smaller: m or w?
w
Let v = 254 - 198. Is v greater than 59?
False
Suppose 0 = -6*u + 9*u + 57. Is u != -21?
True
Suppose 6 = -3*p + 15. Let k = 12 + -8. Suppose p*v - k = -v. Is v at most 6/13?
False
Suppose -45 = -5*n - 4*f, 8*f - 18 = -2*n + 3*f. Let s be n/6*4/3. Suppose -9 = 3*y - 3, 0 = s*m + 4*y + 6. Is m at most as big as 2/9?
False
Let l = 4.869 - -0.031. Let y = -19.9 + 21. Let d = y + l. Which is bigger: -0.2 or d?
d
Suppose -4*b + 344 = 5*j - 851, 0 = 5*b - 5*j - 1505. Let c be 645/b - 4/10. Are 2 and c nonequal?
True
Suppose 3*s + 18 = 5*s. Suppose -4*r - 1 = -s. Which is smaller: r or 28/11?
r
Suppose -2*f = l - 13 - 42, l - 3*f - 35 = 0. Is 231/5 at least l?
False
Suppose 79*z - 84*z = -175. Is z > 35?
False
Let j(b) = 14*b + 28. Let i be j(-2). Let n = 177022/209 - 847. Which is bigger: i or n?
i
Let w(s) = 95*s + 679. Let i be w(-6). Is 108 > i?
False
Let j = 20 + -17. Suppose 4*d - 7 = -s, 4*d + 2 = 3*s - j. Let b = -4.7 - 0.3. Which is smaller: b or s?
b
Suppose 2*r - 372 = 6*r. Are r and -92 nonequal?
True
Let k(x) = 2*x**3 + 36*x**2 + 34*x + 19. Let y be k(-17). Suppose s + u - 18 = -0*u, 2*u = -5*s + 99. Is s greater than or equal to y?
True
Let w = 27123/13 + -2085. Let m = w - 355/247. Which is smaller: m or -1?
-1
Suppose 0 = 2*g - 4*g + 8. Let l be ((-8)/(-194))/g*2. Let y = l + 87/485. Is -7 < y?
True
Let f = -554 + 529. Is -34 >= f?
False
Suppose 146 = 2*y - 2*s - 32, 3*s = 6. Is 271/3 < y?
True
Let r = 3 - -4. Suppose -32 = -5*t - r. Let j(h) = 2*h - 10. Let z be j(t). Is 4/15 less than z?
False
Let z = 3.36 - 5.03. Let r = -70.33 + 70. Let o = r + z. Is 3/2 <= o?
False
Let u be -1 - 3*4/4. Let v be -2 + 6*u/(-8). Which is smaller: -4 or v?
-4
Let q(j) = 4*j**2 - 14*j**2 - 6 + 14 + 6 - j**3. Let k = -36 + 26. Let x be q(k). Which is smaller: 13 or x?
13
Suppose o + 159 = -2*o. Let i = -41 - o. Is i less than or equal to 23/2?
False
Let b(n) = -n**2 - 7*n. Let c be b(-7). Let y be -3 - (6 + 4)/(4/(-2)). Suppose c = -d + y - 10. Which is bigger: 1 or d?
1
Let h(f) = -f**2 + 4*f. Let l be h(3). Let a be -1*(2 + l + -3). Is -7/8 smaller than a?
False
Let w be 324/(-3) + 4 + (-5 - -3). Do -107 and w have the same value?
False
Suppose 10*r + 465 = 465. Which is smaller: 2/749 or r?
r
Let c = 0.42 - 0.02. Let x be 13/30 - 14/42. Is c >= x?
True
Let a(p) = p**3 + 5*p**2 - 54*p + 6. Let k be a(-8). Are k and 246 equal?
True
Let f be 10/4*28/35. Suppose -y + x + 18 = 0, -4*x = f*y + y - 40. Let w be 9/(-12)*y/(-198). Is w >= 0?
True
Suppose 2366 = -6*v - 2566. Is v != -823?
True
Let d(h) = 4*h**2 - 41*h - 15. Let i be d(10). Are i and -23 non-equal?
True
Let b = -2154 + 2148. Let p(w) = w**2 - w. Let i(v) = 2*v**2 - 10*v + 5. Let s(n) = i(n) - 4*p(n). Let l be s(b). Which is bigger: -30 or l?
-30
Let q = -14 + 14. Let b = -7 + q. Let k = -6.6 - b. Which is smaller: k or -0.2?
-0.2
Let p be 941*((-9)/6 - (-5)/10). Is -941 smaller than p?
False
Let i = 87759/236 - 36/59. Let b = -6749/20 + i. Let j = -34 + b. Which is smaller: j or -1?
-1
Let f be -3*(5436/606 + -9). Are -1 and f unequal?
True
Let d be 30/144*(-12)/(-40). Suppose -9 + 13 = -2*k. Which is smaller: d or k?
k
Let h = 63.05 + -0.05. Let p = -63 + h. Is p > -1/61?
True
Suppose -5*a - 22 = 6*q - 2*q, -q = -a + 1. Which is smaller: -9 or a?
-9
Let r = -0.1 - 0. Let x = -3.5 + -1.7. Let t = x - -5.1. Is r less than or equal to t?
True
Let h(r) = 14*r**2 + r**3 + 1 - 8*r**2 - 2. Let z be h(-6). Is 1/8 < z?
False
Let b be 0/((-1)/(3 + -4)). Suppose z - 1 - 5 = b. Suppose 2*c - 4 = z*c. Is -1 < c?
False
Let w = -13 - -5. Let y = 25473 + -229253/9. Is w <= y?
True
Let d be ((-6)/4)/(60/(-1400)). Which is bigger: d or 27?
d
Let n = -9 + 13. Let v = -22 + n. Let g = v + 18. Which is smaller: 2 or g?
g
Let q be (2/4)/(1/(-22)). Let d(c) = c**3 - 4*c**2 - 9*c + 9. Let h be d(5). Is q at most h?
True
Suppose -4*k = -2*j + 39 - 195, -k + 39 = -5*j. Let u be (-9)/k*(-12)/(-9). Which is bigger: 1 or u?
1
Let u = 12 + -6. Let q = -10 + u. Let z(d) = -d - 3. Let i be z(q). Does i = 1?
True
Let s = -317041/93 + 3409. Is s equal to 0?
False
Let s be (-2)/(4/(-18)) + 0. Suppose 3*p = -3 + s. Suppose -p + 0 = x. Which is smaller: x or -5?
-5
Let b be -2 + 2/10 + 62/40. Is 2/67 bigger than b?
True
Suppose 4*m - 4 = -0. Suppose -5*p + 4 = -m. Let g = 21 + -21. Which is bigger: p or g?
p
Suppose 0 = -3*c - 0*c + 6. Let r be (c + -105)/1 - -3. Let m be -3*1 + (-304)/r. Which is greater: 0 or m?
m
Let l(x) = -5*x**2 + 11*x + 125. Let q be l(16). Which is greater: -981 or q?
q
Suppose 2*v - 7*v = y + 143, 5*v + 153 = 4*y. Is v at most -27?
True
Suppose -4*p - 22 = -4*z - 6, 3*z = 2*p + 9. Is -2/2233 less than or equal to z?
True
Let i = -60 - -60.1. Which is greater: i or 0.33?
0.33
Let i = 34636/5 + -6878. Are 49 and i nonequal?
True
Let j = 46.33 - 0.33. Let a = j + -36. Which is smaller: 0 or a?
0
Let c = -2 - -1. Let t = 14 + 8. Let m be 4 + (-166)/t - -3. Which is smaller: m or c?
c
Let h be 4 + 16/(8/(-2)). Suppose h*m = -m - 1. Let p be ((-16)/(-10))/2*-1. Is p greater than or equal to m?
True
Let u be 1/(-3) - (-3)/9. Suppose -4*n + 4*d - 12 = 0, -2*d + 11 = -2*n + d. Suppose u*y = y + n. Which is smaller: y or -1?
y
Suppose -14*t + 80 = -858. Let o = t - 64. Let c(p) = -3*p - 1. Let j be c(-1). Which is smaller: o or j?
j
Let b(c) = 4*c - 9. Suppose -g + 2*i + 12 = 2*g, 0 = 3*i. Let p be b(g). Which is smaller: 6 or p?
6
Let o = 408 + -296. Is 113 bigger than o?
True
Let f(g) = 3*g**3 - 16*g**2 + 9*g + 1. Let y be f(5). Is y > 22?
False
Suppose 116 = -3*q + 2*s, q + 0*q = 2*s - 32. Let c be (-4)/18 + q/54. Let u = 163/3 + -55. Is c greater than u?
False
Let j = 556 - 557. Which is smaller: 0.263 or j?
j
Let x be (-4 + 3)/4 - (-21)/4. Let l be 1 - (-3)/((-6)/20). Let p = -6 - l. Which is bigger: x or p?
x
Let h = 223 - 224. Let i = -2539/1702 + 34/23. Which is smaller: h or i?
h
Let i(h) = -4 - h**2 + 3*h + 4*h - h**3 + 2*h**3 - 6*h**2. Let n be i(6). Suppose -c = -2*d - 0*c - 20, n*d = 4*c - 26. Which is bigger: -8 or d?
-8
Let t = 14 + -41. Let b = t - -24. Is 0 at least as big as b?
True
Let g = 44 + -70. Let b = 19 + g. Does b = 3?
False
Let y(q) = q**2 - 13*q + 25. Let h be y(7). Is -10 < h?
False
Let c = -17/30 + -1/10. Let p(o) = -o**3 + o**2 + 6*o - 2. Let i be p(3). Let k be (-2)/(-16)*i + 2/40. Which is smaller: c or k?
c
Let b(s) = -s + 7. Let j be 12*(-3 + (-4)/(-2)). Let k be 2*(-15)/j*2. Let o be b(k). Which is smaller: 4 or o?
o
Let c be ((-40)/45)/(4/(-6)). Let q = -4 + c. Let z(k) = k**2 + 19*k - 96. Let m be z(-23). Is q smaller than m?
False
Let j = -11.4 + -3.7. Let y = j + 14. Let r = y + 1.2. Are 0 and r nonequal?
True
Let u = -168 + 169. Let p be ((-2)/884)/(8/(-32)). Which is smaller: p or u?
p
Let v = 2.48 - 2.3. Let x = v + 1.02. Which is bigger: -2 or x?
x
Let y(b) = 41*b + 3. Let l be y(2). Suppose 4*a - 5*c = l, 5*a = 2*a + 4*c + 64. Suppose 2*n + 5*w - a = 7*n, 4 = -3*n - 5*w. Which is bigger: n or 1/2?
1/2
Let f be ((-2)/(-1))/(14/(-348)). Let i(z) = z**2 + 14*z - 2. Let m be i(-6). Let y = m - f. Which is smaller: y or -4?
-4
Let r = -0.088 - -0.12. Which is smaller: -1 or r?
-1
Suppose 5*p = 2*s - 36, -2*s = -4 - 2. Let y be (-4)/p - 20*2/24. Does 2.3 = y?
False
Let w(m) = m**3 + 17*m**2 + 22*m + 78. Let i be w(-14). Is i greater than 358?
False
Let f be (-8)/8 - (-3 - -3). Let s be 4/(2 + -10) + f/26. Which is smaller: -2 or s?
-2
Let l = -3/37 - -239/3404. Let c be (3 - 3)/(3 - 0). Is c less than l?
False
Let w be (-36)/(-9) + (-8 - 1). Let n(h) = h**2 + 12*h + 39. Let