 3. Let t(a) = -5*a + 10. Let b be t(v). Let y be (33/(-5) - -9)/(7/b). Is 1/3 bigger than y?
True
Let p = -24 + 23.945. Let s(r) = -347*r - 4858. Let q be s(-14). Which is greater: q or p?
q
Let j = -65 - -85. Let n be ((15/(-207))/(-5))/(j/(-6)). Which is smaller: n or 2/7?
n
Let u = -1440 - -1957. Which is smaller: 514 or u?
514
Suppose -2*g - y = -2, -4*g + 6*g + 2*y = 2. Let b be (6 + (5 - 3))/(g - 0). Suppose -12*s + b*s = -4. Which is bigger: -2/453 or s?
s
Let s be (-183)/82228*8/6. Is 1 >= s?
True
Let y = 169 - 155. Is y greater than or equal to -14?
True
Suppose -2*g + g - 3*n = -2, -g - 2*n = -2. Suppose g*f + 3*q - 7 = 0, 8 + 6 = 3*f + q. Which is smaller: f or -12?
-12
Suppose -3*d + 31 = 3*i + 10, -4*i + 23 = -d. Let g be (2/6)/(i/(-18)) + -3. Which is smaller: g or -8/3?
g
Let g be -2 + (2 - 0) + 0. Let q = -2/59839 - 59643/5864222. Which is smaller: g or q?
q
Suppose 2*z + 1129 = 5*q - 625, -2*z = q - 346. Let x be q/(-178) + 14 + -12. Is -2 >= x?
False
Let x be 2/2 - (3 + -1). Which is greater: x or -1/2281?
-1/2281
Suppose -6*s - 168 = -2*s. Let x be 1584/253 - s/(-7). Is -6 smaller than x?
True
Let g = -1945/491088 - 2/2361. Suppose q = -2, -2*o + 683*q - 680*q = -4. Do g and o have the same value?
False
Let z = 163 - 32. Suppose -4*j + 270 = 2*g, 2*g = 3*g + j - z. Are 127 and g unequal?
False
Let d be 145/29 - 5*7. Let s be 12/d*1 + (-6)/10. Is -154 bigger than s?
False
Let v(k) = k**3 - 3*k**2 - 4*k + 5. Let s be v(1). Which is smaller: s or 6/599?
s
Let h be 1344/(-224) - (-7)/2 - (-1)/2. Let r be (-2)/2 - (-14)/30. Which is bigger: r or h?
r
Suppose 6*o - 8*o + 36 = 4*s, 0 = 4*s - 5*o - 36. Let j be 3*((-3 - -2) + 30/s). Which is smaller: 6 or j?
6
Let g be 38/(-45) + (-2)/(-5). Let j(b) be the second derivative of b**5/20 + 7*b**4/6 + 5*b**3/2 + 27*b**2/2 - 5*b + 3. Let f be j(-13). Are g and f unequal?
True
Let t be ((2 + (-160)/84)*-6)/((-160)/112). Which is smaller: -1020 or t?
-1020
Let r be 357/(-28 + 7) + 16. Let v(j) = -j**2 - 4*j. Let m be v(-5). Let w = m + 3. Which is smaller: w or r?
w
Let q = 336711626/23 - 162247832779/11086. Let v = 4255 - q. Which is smaller: v or -1?
-1
Suppose -3*k = 3*r - 39, -2*k - 56 = -4*k + 4*r. Let b(t) = 8*t - 162. Let u be b(k). Which is smaller: -15 or u?
u
Let k(l) = -l**2 - 19*l - 14. Let z be k(-11). Let o = 65 - z. Suppose 3*s + 0*s + 27 = 0. Is o < s?
False
Let t = 25 - -16. Let y be -7 + 110/10 - (-2 - 36). Let l = y - t. Which is smaller: l or 6/23?
6/23
Let c be ((-24)/(-36))/((-1)/(-3)). Suppose 2*s - u - 4*u - 5 = 0, 4*u + 4 = c*s. Suppose -2*k = -s*k - 60. Is 31 > k?
True
Let u(b) = 3*b**3 + 11*b**2 - 17*b + 7. Let m be u(-8). Which is greater: m or -687?
-687
Suppose 759 = -9*j - 24*j. Are -217/9 and j non-equal?
True
Let c = -534229/36 - -58813/4. Which is bigger: -135 or c?
-135
Let z(t) = t. Let i(h) = -h**2 - h. Let d(y) = 2*y**2 + 9. Let f(q) = -d(q) - i(q). Let l(x) = -f(x) - 2*z(x). Let s be l(3). Which is smaller: -4 or s?
-4
Suppose 4*y = 3*p - 33, -3*p + 1 = 3*y + 31. Let r be -3*1/29*y/189. Is r at least as big as -1?
True
Let u(h) = -576*h - 2315. Let y be u(-13). Which is greater: 5174 or y?
5174
Suppose 31*b + 2072 = 45*b. Which is smaller: b or 149?
b
Let w = 1929364354/1504901 + -47436/37. Is w bigger than 0?
False
Suppose 4796 = 37*l - 1753. Are l and 158 unequal?
True
Suppose 120 = -661*q + 656*q. Let l(k) = -k**3 - 26*k**2 - 54*k + 30. Let r be l(q). Which is greater: 0.1 or r?
r
Let f be 15 + 1068/(-72) - ((-2)/1)/(-12). Suppose h - 2*h + 2 = 0. Suppose -2*o + 0*o - h = 0. Which is bigger: o or f?
f
Let j(q) = -2*q**3 - 57*q**2 + 20*q - 261. Let t be j(-29). Is -2119 < t?
True
Suppose -t = -v + 39 - 10, 5*v = 4*t + 121. Which is smaller: -21 or t?
t
Let i = -6908 + 6910. Which is smaller: i or 64/31?
i
Let i be (-44)/(-23) + 0 - 2. Let n be 17100/(-14250)*(0 - 6/16 - -1). Is i > n?
True
Let l = 0.073 + 117.927. Let s = -96 + l. Which is greater: 0.3 or s?
s
Let r = -266885 - -54177432/203. Let a = 36/29 + r. Which is bigger: -33 or a?
a
Let a = -204 - -205. Let b = -36 + 21. Which is smaller: b or a?
b
Suppose -d + 4*d = 0. Let o = -906/23 + 4576/115. Do o and d have the same value?
False
Suppose 0 = 3*t - 4*w + 2*w - 10, 0 = t + 4*w + 6. Suppose t*l - 15 = 5*l. Let d = 20 + l. Which is greater: d or 12?
d
Suppose 5*a + 65 = -5*j, -j - a - 10 = -3*a. Let d be ((-3)/(-122))/(9/j). Let h = -6364/3 + 2121. Which is smaller: h or d?
h
Let a be ((-8)/10*250/(-300))/((-4141)/3). Which is smaller: a or -1?
-1
Let r(i) be the second derivative of 19*i**3/6 - 2*i**2 + i. Suppose -3*m + 11 = -2*f, 176*f + 14 = -2*m + 172*f. Let z be r(m). Which is smaller: z or 12?
12
Suppose 26 = -7*c - 6*c. Let l be (19 + -19)/(0 + (-4 - c)). Do l and 60 have the same value?
False
Let v = 8334 - 8333. Does -2/10359 = v?
False
Let b = 44 - 43.6. Suppose 5*h - 10*w + 11*w = -106, 0 = -3*h - w - 62. Which is bigger: h or b?
b
Let o be ((-1892)/8)/(7/(-109)). Let j = -3685 + o. Is j <= -1?
True
Let q be (4 - 2)/((-15)/(-300)). Let p be (43 + -35)*6/q. Is p at most as big as 1?
False
Let g = 0.4895 + -1.4895. Are -51.56 and g equal?
False
Let c(g) = g**2 - 42*g - 1266. Let l be c(-21). Which is smaller: l or 52?
52
Suppose 0*m + 7*m - 7 = 0. Let t be (m + -7)/(((-126)/12)/(-7)). Let f be (9/(-12))/(3/t). Is f bigger than 5/8?
True
Let y(m) = -2*m + 2*m - 4 - 3*m. Let j be y(5). Suppose -36*u + 154 = 118*u. Which is bigger: j or u?
u
Let s = 4540 + -4777. Which is bigger: s or 3/5?
3/5
Let n(t) = -2*t**2 - 115*t + 73. Let p be n(-59). Is -104 equal to p?
True
Suppose -o + 40 = -3*o. Let k be (o/30)/((-5)/3). Let w = 7.01 + -5.01. Is w < k?
False
Suppose 16 = -401*d + 403*d. Let p(l) = l**3 - 6*l**2 - 14*l - 15. Let c be p(d). Is 53 at most as big as c?
False
Let w = -8/555 - -28337/2220. Is 6 not equal to w?
True
Suppose 5*o = 2*m + 2*o + 7, 0 = 5*o - 5. Let h be (m - 8/(-12))/((-6)/36). Which is greater: h or 41/5?
41/5
Let n be (664/(-24))/((-24)/(-9) + -3). Suppose n = 2*r - u, 3*r - 8*u + 4*u = 137. Suppose -7 + r = 16*m. Which is greater: m or 8?
8
Let c = 1773 - 3182. Is 1 at least as big as c?
True
Let z be (-4 - (-1924373)/(-1309)) + (-4)/(-14). Let l = 1471 + z. Which is smaller: 1 or l?
l
Let i = -972115/25884 + 3/2876. Are i and -39 equal?
False
Let j = -16664/35 + 3330/7. Do 10/541 and j have the same value?
False
Let r(j) = -43*j + 4772. Let z be r(111). Which is greater: z or 2/17135?
2/17135
Suppose -2*b + 5 + 0 = 3*k, -2*b - 4*k + 6 = 0. Is b less than or equal to -1/139?
False
Let v be 580/(-4118)*(-8)/(-30). Which is bigger: 0 or v?
0
Suppose -4*c = -4*p, 13*p + 8 = -3*c + 8*p. Which is greater: c or 11/98?
11/98
Let z be 64/(-210) - (-228)/(-2394). Which is smaller: z or 1549?
z
Suppose 4*j - a + 4255 = 0, -12*a + 4258 = -4*j - 10*a. Which is bigger: j or -1065?
j
Let r = 155863/7 + -22182. Let z be (-509)/(-6) + 690/(-828). Let q = z - r. Is 3/4 != q?
True
Let l be (-5890)/30 + -4*12/18. Are -203 and l unequal?
True
Let t be (-14)/21 - (-1469)/39. Suppose -93 = -4*h + 3*j + 64, 0 = 3*j + 9. Is h smaller than t?
False
Suppose o - 120 = 3*o. Let x = -45 - o. Suppose -3*i - x = 51. Which is greater: i or -1?
-1
Let j = -12282 - -208800/17. Let w = 3 + -2.9. Is j greater than w?
True
Let n = -142 + 142.88. Let p = n - 1.07. Which is bigger: p or -0.3?
p
Suppose -5*y = -3*b - 8, -2*y - 1 = 5*b - 2*b. Let g = b + 9. Suppose 3*z + 3 = -2*q, 2*z + 13 = -g*q + 3*q. Is z at least as big as 2/27?
True
Let y = 73 - 68. Suppose 0 = -10*p + y*p. Let z = 77/5 + -949/60. Is p not equal to z?
True
Suppose 12 = -3*c, -8*c + 71 = 3*u - 10*c. Let h(b) = -8*b + 210. Let t be h(u). Let o = 22 - -19. Is t <= o?
False
Let a = -0.0509 - -6.9709. Let j = -1.08 - a. Which is smaller: 10 or j?
j
Let k = 55.298 - 55.2. Which is greater: -14 or k?
k
Let d be ((-15314)/3064 - -5)/((-1)/(-1 - -5)). Is d greater than -1?
True
Let p = -1468 + 1179. Is p <= 0.04?
True
Let t be ((-835)/5 + -3)*(-18)/(-15). Let v = 184 + t. Is -17 <= v?
False
Let a be ((-9420)/14)/(-3) + ((-1280)/70 - -18). Which is smaller: 2014/9 or a?
2014/9
Let g = 3885 + -3863. Which is bigger: g or 206/9?
206/9
Let x = 202403/5 - 40650. Is -168 at most as big as x?
False
Let j = 0.13 - 0.01. Let h = 37807/60 + -252