432.8. Which is bigger: t or a?
t
Let y be (1 - (-9)/3) + 0. Suppose y*a = -6*a + 30. Let w be a*((-6)/9 - 0). Which is bigger: w or 4?
4
Suppose 2*m - 9 = -m. Suppose m - 17 = -7*u. Let z be 1 + (-2)/u + -4. Which is smaller: z or -7/2?
z
Let q be (-2)/(-5) + (-1653)/95. Let s = -19 - q. Let d be (-10)/(-8) + 1/s*4. Which is greater: 4 or d?
4
Suppose -863 = 5*d + 407. Let u be 71132*(-13)/3744 + 28/(-1*4). Let r = u - d. Which is greater: r or 1?
1
Suppose 50*j - 46*j + 2*o = 1504, 768 = 2*j - 3*o. Which is greater: 379 or j?
379
Suppose -2*r - 2*t = 536, t + 719 = -4*r - 344. Is 10 > r?
True
Let b = 6674 - 6673. Let w be -3 - (-7)/((-343)/(-142)). Is b less than or equal to w?
False
Suppose -303*j = -223*j - 400. Which is bigger: j or -13?
j
Let m = -72 + 214/3. Let u = 161.13 + -157. Let p = -4 + u. Which is bigger: m or p?
p
Let a = -1098.7 + 1093.6646. Let q = -0.0354 - a. Let k = 0.05 + 1.95. Which is bigger: q or k?
q
Suppose 3*l = -c - 25, -5*c - 135 = -8*l + 13*l. Is c >= -32?
True
Let y = -2/985841 - 167592452/255332819. Which is bigger: y or -2?
y
Suppose -3*y + 72 - 3 = 0. Let v(f) = -14*f + 2*f**3 + 6 - 11*f**2 - 4*f**3 + y + 3*f**3. Let p be v(12). Which is greater: 7 or p?
7
Let v be ((-8)/(-3))/((4/3)/(-2)). Let s be 6 + v*161/119. Is s not equal to -0.2?
True
Let u = -156 - -92. Let q = 69 + u. Let n = 776/7 + -111. Which is bigger: q or n?
q
Let p = 0.209 + -0.447. Let z = 147.6 + -147.582. Let i = p + z. Is i smaller than 0?
True
Suppose -j - 2424 = 23*j. Let n = 102 + j. Is n <= -2/809?
False
Let o be 670 - (2*-2 + -20 + 23 + 7). Is 660 less than o?
True
Let t = 602/27 + 11192/135. Are t and 0.2 unequal?
True
Suppose 2*c - 2 - 8 = 0. Let m be ((-4)/c)/(8/60). Suppose 22*u + 2102 = 2102. Is u at most m?
False
Suppose 3*k - c = 172, -4*k + 9*c + 220 = 10*c. Which is greater: 14 or k?
k
Suppose -3*u + 5*u + 44 = 0. Let b be 339 - (-1)/(15/(-6) + 2). Let g = -360 + b. Which is greater: u or g?
u
Suppose -4*d + 15*d + 660 = 0. Let c = d + 159. Are c and 98 equal?
False
Let p be (470/141)/(16/(-6) + 2). Let m be (p/(-20)*4)/((-2)/(-274)). Are m and 137 equal?
True
Suppose -4*i = -3*i + o - 45, 2*i + 3*o = 93. Let s be (-3 + i/18)*-3. Is s < 0.02?
False
Let f(u) = 31*u + 9. Let x be f(6). Let a be (x/(-6))/5*2. Let v(q) = q**3 + q - 13. Let w be v(0). Is a at least w?
True
Let r(v) = -v**3 + 8*v**2 + v - 7. Let l be r(8). Let u = -5164/3113407 + -2/24387. Is l greater than or equal to u?
True
Let o be 176/(-12)*9/(-3). Let b(x) = x**2 - 15*x + 7. Let k be b(6). Let v = k + o. Is -4 > v?
False
Let j(n) = n**3 + 18*n**2 - n - 24. Let i be j(-18). Let r(s) = 38*s + 116. Let a be r(i). Is a <= -112?
True
Let c = -15 - -38. Let z = 860/9 - 1315/18. Which is bigger: z or c?
c
Let v be (6/(-7))/((-1)/525). Suppose -4*r + v = 5*r. Suppose r = 2*g - 40. Which is bigger: 47 or g?
47
Suppose 0 = -8*b + 554 + 1126. Which is greater: -0.9 or b?
b
Let p be (0*(-9)/(-126))/(2/(-1)). Is 1/15183 less than or equal to p?
False
Let q = -1875 + 5566/3. Which is smaller: q or -20?
-20
Let y = 24.29 - 666.29. Which is smaller: 1/9 or y?
y
Let j be (-13)/(-3) - (-2)/(-6). Let x = -18 + 22. Suppose 4*r = 5*k + 2*r - 15, 0 = -2*k - x*r + 30. Which is bigger: j or k?
k
Suppose 0 = 87*v - 91*v + 20. Suppose -4*a + 3*f - 4 = 0, -v*a + 5*f - 18 = -4*a. Are 19 and a nonequal?
True
Let g = 1123 + -2043. Let w be (23/g)/(1/(-3)). Which is greater: w or -1?
w
Let m be (-1202)/(-18)*-6 - (5 - 0). Let t = -405 - m. Which is greater: t or -9?
t
Let d be 10/3*(-396)/(-60). Let a(j) = j**3 - 22*j**2 - 2*j - 9. Let q be a(d). Is q equal to -53?
True
Let s = -250.3 + -1790.8. Let q = s - -1953. Let d = q - -88. Which is greater: d or 63?
63
Let o be (-12*3/(-18))/(-3 - 14462/(-4822)). Is -2412 greater than o?
False
Let w be (1 + -2597 + 3)/((3 - -1)/4). Which is greater: w or -1/6?
-1/6
Let j = -12312779/6009003 + 2716/7337. Let d = 9/91 - j. Let u = 0.8 + 0.2. Which is smaller: d or u?
u
Let f = -144 + 141. Let z(s) = s**3 + 6*s**2 + 10*s + 4. Let n be z(f). Let y be (20/14)/2 - 1. Which is smaller: y or n?
y
Suppose 5*u - 24775 = -0*q - 5*q, -4*u + 2*q + 19856 = 0. Are u and 4960 equal?
False
Let a = -1190.5701 + 0.1701. Which is bigger: 0.1 or a?
0.1
Let q(r) = 7*r + 1. Let s be q(-7). Let c(n) = 1906*n - 19106. Let t be c(10). Which is greater: t or s?
t
Let j(m) = m**3 + 80*m**2 + 93*m + 272. Let k be j(-79). Is k less than -835?
False
Let d = -93 + -38. Suppose 0 = -20*s + 13*s + 924. Let f = s + d. Are -1/11 and f equal?
False
Let d = 6.4 - 5.1. Let i = -1.63 + d. Is 2/5 equal to i?
False
Let p(z) = 5*z - 229. Let c be p(-37). Let o = -382 - c. Which is smaller: o or 29?
29
Let g = -5348 + 5349. Which is greater: 904 or g?
904
Let m = 0.005 - 60.005. Let t = m + 16. Let r = t - -48.7. Which is smaller: 0 or r?
0
Let c = -19314 + 19314. Are 8/1651 and c equal?
False
Let l = 394.82 + -22.79. Let g = -372 + l. Let d = 0 - -1. Do g and d have the same value?
False
Suppose 2*n + 5 = 5*i + 10, -i = -n + 1. Is 1/37448 at least i?
True
Suppose -20*r + 243 = 7*r. Suppose 6*u - u - 4*j + 22 = 0, -2*j = -2*u - 8. Let c be (u/(-171))/(3/r). Which is bigger: c or -1?
c
Let w = 3/3215 + 128591/9645. Let h = 149/66 - 33713/462. Let q = 71 + h. Is w greater than q?
True
Let b be 2093/133 + (-255)/15. Let r(j) = j**3. Let l be r(-1). Which is smaller: l or b?
b
Let q = 41284 - 23866. Are q and 17418 equal?
True
Suppose -7*l - 12263 = -5*g, -l - 8*g + 9*g = 1753. Are l and -1750 equal?
False
Let x = -12543 - -12485. Which is bigger: x or -465/8?
x
Let f be (1 - 2)/(2348/23772 - 44/462). Let u(g) = 2*g**3 + 3*g**2 - 6*g + 5. Let w be u(-6). Do f and w have different values?
False
Let t = -79 - -143. Let l = 92 - t. Let u be (-14)/l + (-1)/(6/(-7)). Is 66 at least u?
True
Let l = -54 - -48. Let u be ((-4)/l)/(32/(-240)). Is u <= 1?
True
Let n be (3294/210)/1 - 2*2/14. Let v(b) = b + 6. Let f be v(8). Is n bigger than f?
True
Let y = 59 - -135. Let l = y - 302. Are l and -108 nonequal?
False
Suppose 12*t = 36*t + 24. Let x be -4 - ((-1 - (3 + t)) + 6). Let b = -6574/5 - -1309. Which is smaller: x or b?
x
Let c = 81 + 407. Let j = c - 487. Let s be ((-2)/(-3))/(50/6). Which is smaller: s or j?
s
Let n = -13275.59 - -13177. Let k = -99 - n. Is k not equal to -2/5?
True
Let z be 3 + -1 - 8/6. Suppose 3*v - i + 3 = 0, -39*v + 5*i + 13 = -38*v. Is v less than z?
True
Let h be -28 + 6 - (3 - 1). Let x = -31 + 6. Let t = x - h. Which is smaller: 7/12 or t?
t
Suppose -4*t = 2*u - 476, -4*t - 5*u + 656 - 168 = 0. Suppose -65 = 14*n + t. Is -17 at least as big as n?
False
Let c = 5.73 + -3.23. Let j = 13.5 - c. Which is smaller: 5 or j?
5
Let o = -10838/3 - -3672. Is o not equal to 58?
True
Suppose -5*y - 51*d + 12 = -52*d, 3*y - 24 = -5*d. Let k(p) = 2*p - 3. Suppose -o + 12 = o + 2*w, 2*w = -3*o + 15. Let n be k(o). Is n >= y?
True
Suppose 5*p - 2775 = 4*b, 452*b = 453*b + 3*p + 664. Is b > -685?
False
Suppose -3197 = 5*h + 3*f - 181, 4*h + f = -2417. Let j = h + 606. Which is smaller: j or 15/13?
j
Let a be (-6 - (-175)/30) + (-19)/(-6). Let i be a/(-5) - (-21810)/(-1400). Let m = i - -129/7. Which is greater: m or 1?
m
Let o(n) = -13*n + 131. Let t(x) = 12*x + 115. Let q be t(-9). Let c be o(q). Is c > 42?
False
Let v = 0.64 + -0.59. Let t = -3772 + 7701/2. Let x = 80 - t. Is x at least as big as v?
True
Let k = 39 - 35. Suppose -3*b + 3 = -s, -3*s + k = b + 3. Is 2/445 greater than or equal to s?
True
Suppose -v + 4*v = -3. Let k = 0.96871 - -0.10129. Which is smaller: k or v?
v
Let w = 59 + -56. Suppose w*q = -5*a + a - 74, -3*q - 79 = 5*a. Let h be q/(-39)*2/4. Which is bigger: h or 1?
1
Let z = 6466 - 4667. Which is smaller: z or -1/2?
-1/2
Let u(b) = -b**3 - 22*b**2 - 89*b + 141. Let c be u(-16). Let l be (42/(-5))/(3/(-10)). Is c less than or equal to l?
False
Let u be 2/(4428/1468 - 3). Let t = u + -123. Let m = 75 - 519/7. Is m at most as big as t?
False
Let i = 317 - 39626/125. Are -1/7 and i unequal?
True
Let g = 1/74009 + 293165/212479839. Which is smaller: g or 1?
g
Let t be 123498/(-296) + ((-57)/12 - -4). Let p = t + 418. Which is greater: -1 or p?
p
Suppose 593*k = 591*k - 6. Let b be -5*(k - (-156)/30). Is -8 != b?
True
Let v be (-10)/(-35) - 642/(-56). Let k(m) = -72