10*z - 21. Let t be m(-6). Let a = -29 + t. Let o be (1/a)/((-4)/(56*1)). Which is greater: o or -1?
-1
Suppose -2*y = -8*c + 384, -25*c + 22*c - 3*y + 144 = 0. Is c greater than 43?
True
Let k(n) = n**2 + 5*n + 5. Let l be k(-4). Let j be ((-5)/(-2))/(l*(-6)/4). Let c = j - -17/12. Is -1 <= c?
True
Suppose 4*s - 3*b - 4 = 1296, -975 = -3*s + 4*b. Let v be -6 - (s - (7 - 7)). Is v > -332?
True
Let j(g) = g**3 - 15*g**2 + 16*g - 51. Let x be j(16). Let c = 460 - x. Is 3/145 > c?
True
Let v be 9*((-75)/27 + 3). Let j be (v/22)/((-9)/(-234)). Is 2 > j?
False
Let y = 378 - -95. Let f = 7093/15 - y. Which is greater: f or 0.52?
0.52
Let u be ((-82)/(-8))/(2 - 1). Suppose z + 49 = 5*t, -5*t - 9*z + 6*z + 33 = 0. Which is smaller: u or t?
t
Let n = -3 - -63. Let r = 57 - 111. Let q = n + r. Is 1 less than q?
True
Suppose -5*y + 9 = 4. Let o be (2 - (y - -2))*3197/(-23). Let k = o + -136. Is -1 at least k?
False
Suppose -20 = 5*x + 5*j, x + 8 + 1 = 4*j. Let u be 2146/268 + x + 1*-3. Is 1/3 at least as big as u?
True
Suppose -16 = -7*z - 2. Suppose 6*w - 3*w = -5*f + 20, 5*f = z*w + 20. Let v = -39/70 + 5/14. Is w at least v?
True
Let p be ((-52)/(-10) - 4)*(-10 + (-4431)/14). Which is smaller: p or -391?
p
Let j be 5/((-150)/3267) + 0. Let g = -1550 - -1441. Let w = g - j. Are -1 and w nonequal?
True
Let k(g) = g**3 - 85*g**2 + 87*g - 252. Let r be k(84). Let f = 10280/249893 - -10/1231. Which is bigger: r or f?
f
Let v = -841 - -466. Let k = -294 - v. Which is smaller: k or -1/2?
-1/2
Suppose 6*z = -256 + 196. Let o = z - -206. Is 196 > o?
False
Suppose b = -3*b + 20. Let x be (0 - 0) + 0/(-5 + -3). Suppose 2*p = m - 2, -m + x*m - 12 = b*p. Which is bigger: p or 7?
7
Let g(v) = -v**2 + 3*v - 2. Let f be g(1). Suppose -3*m + 3*c - 13 + 4 = f, 3*m - 21 = -3*c. Suppose m*s - 2 + 12 = 0. Which is bigger: -33/7 or s?
-33/7
Let x = 210/151 - 8275/6493. Let n be 6/30 - (-1)/(-5). Which is smaller: n or x?
n
Suppose 26480 = -5*o + 5*x, -5*o - 13*x + 15*x - 26483 = 0. Is o at least -5297?
True
Suppose 621 = 3*a + r, -2*a + 1034 = 3*a + 2*r. Let g = a - 356. Which is smaller: g or -149?
-149
Suppose -3*s - 732 = 3*q, 995 - 28 = -4*q + 5*s. Let n be q*((-10)/45)/(2/3). Suppose i = -2*w - n, -i + w + w = 77. Which is greater: i or -80?
i
Suppose 320*s - 7410 = -4*a + 323*s, -5*a - 4*s + 9216 = 0. Is 1848 smaller than a?
False
Let c be (3 + -100)/((-3)/(-9 - 3)). Let g = c - -390. Let w = 2 + 1. Which is smaller: w or g?
g
Let y = -12588.9 - -12589. Which is bigger: -3/10043 or y?
y
Let s = -64.6 - 3.4. Let c = s - -68.39. Let o = c - -0.31. Is o at least -2/7?
True
Let t(h) = h**3 + 25*h**2 - 27*h - 20. Let f be t(-26). Suppose -4*m + 4 = -o, 5*o + f = -5*m - 39. Let g be (1/2)/(4/o). Which is smaller: g or -1/56?
g
Let g = 275/2 - 551/4. Is -2108 <= g?
True
Let i = 262 - 256. Let m(w) = -w + 12. Let l be m(i). Let o(j) = j**3 + j**2 - 4*j + 3. Let z be o(2). Is z at least l?
True
Suppose 2*n - 3*s - 8 = -5*s, 20 = 5*n - 2*s. Let a be 138/(-146) + 36/60. Let j = a + -4/73. Is n less than j?
False
Let o be (-12)/15 + 17836/245. Is 98 at least as big as o?
True
Let j = 0.259 + 191.741. Let l = j - 190. Which is bigger: l or -6.3?
l
Let i = 437/2 + -223. Suppose -2*v = 4 - 12. Suppose -v*x = 4, 4*x = u - x + 1. Which is smaller: u or i?
u
Suppose -6*h + 49 = -53. Let n = h - 13. Let c be n - ((-134)/(-14) - 3). Is -4 at least c?
False
Let f = -4.238 - 0.062. Let h = f + 2.3. Let l = 215/6 - 36. Which is bigger: h or l?
l
Let l = 91814 - 923097955/10054. Is 1 less than or equal to l?
False
Let h be ((-33)/30)/(2/5). Let u be (-3)/(-13) + (-783)/351. Which is smaller: u or h?
h
Suppose 38 = -2*o - 5*r, 16*o + 3*r = 20*o + 154. Let z(f) = f**2 + 11*f - 12. Let s be z(-9). Which is smaller: s or o?
o
Let v(a) = a**2 + 9*a + 15. Suppose -3*x + 2*s + 240 = -s, 12 = 3*s. Let m = -92 + x. Let j be v(m). Is j less than 5?
False
Let r be (-114)/(-8) + -4 - 1/4. Let n be ((-42)/(-12))/((-1)/r). Let m be 10/n*14/6. Are m and 3/2 unequal?
True
Let j = 0.7406 - 32.4686. Let l = j - 0.172. Let g = l + 32. Which is smaller: g or 1/5?
g
Suppose -35 = -5*z, -2*z - 6 = -5*j + 4*j. Is j at most as big as 20?
True
Let j be 0/1*2/4. Let w be (-12)/(-20) - (2 - 3819/(-15)). Let u = w + 253. Which is bigger: j or u?
j
Suppose 0 = -d + 5*q - 7 - 20, 0 = 2*d + 5*q + 129. Is d at most as big as -35?
True
Let l = -3561 + 3798. Which is smaller: 233 or l?
233
Suppose -2*t + 53 = 5. Suppose -5*g + 60 = 3*i, -2*g - t + 15 = -i. Is i greater than or equal to -1/3?
True
Let d be (-1 + -14)*(6 + 609596/(-101595)). Suppose -4*j - 2*g + 5 = 3, -j + 8 = 3*g. Which is greater: j or d?
d
Let w be (-1412)/12*(1 + -19). Let u be 2/9 + w/(-54). Let h be 4 + -11*4 + 2. Do u and h have different values?
True
Suppose -52*z + 51*z = 30. Let v = 33 + z. Let b be (-6)/10 + ((-12)/10)/v. Which is bigger: b or -3/13?
-3/13
Suppose -2*n - 2*n + 35 = l, -4*n + 137 = 3*l. Suppose 14 = -53*d + l*d. Which is greater: d or -11?
d
Let t be 39/(-18) - 12/(-72). Are -17/25 and t nonequal?
True
Let y = -689/3 + 3374036/14691. Do 1 and y have the same value?
False
Suppose -5*t - 947 - 1408 = 0. Let z = -9836 - -9364. Is t less than z?
False
Let d be 4/(-10) + (-108)/230. Suppose 5*r = 11*a + 144, 5*r - 4*a + 114 - 160 = 0. Is r bigger than d?
False
Suppose -2*q = 166 - 48. Let s(j) = 22*j - 113. Let u be s(5). Let y(p) = 5*p**2 + 34*p - 2. Let i be y(u). Is q at most as big as i?
True
Let b be -636 - (-6*(-9)/252)/((-6)/(-16)). Are b and -638 unequal?
True
Suppose 3223 = -239*q + 253*q + 983. Is 7 less than or equal to q?
True
Let b = 0.076 - -37.924. Let c = b - 82. Let f = -7 + 8. Which is greater: c or f?
f
Suppose 0 = -m + 3*r + 2009, 144*m + 2016 = 145*m - 4*r. Which is bigger: m or 1980?
m
Let q = 0.0748 - -3.6392. Let z = q - -0.086. Which is smaller: z or -2/3?
-2/3
Let o be (1 - (-92)/(-12))*54/(-30). Suppose -10*p = -228 - o. Which is greater: p or 25?
25
Suppose -3*c - 156 = c. Let g = -278304 + 278308. Is c less than g?
True
Let n = 7 + -1. Suppose 337*o - 1092 = 64*o. Which is greater: o or n?
n
Let h = -293.7 + 253.7. Is h not equal to 0.16?
True
Let w = -101 - -454. Let c = 381 - w. Is -0.2 smaller than c?
True
Let i = 0.028 - -4.172. Let x = i + -115.2. Which is bigger: x or 1?
1
Suppose -v - q = 151, 5*v + 665 + 66 = q. Is v greater than or equal to -147?
True
Let f = -0.3045 - 21.1955. Is 3.8 bigger than f?
True
Let h = -98.0184 + 0.0184. Let i = -234 - h. Is i at most as big as 0.3?
True
Let x be ((-5)/50)/(18/180). Is 12/5963 less than x?
False
Suppose 19*u - 24 - 80 - 29 = 0. Suppose 0 = h + 13 - 43. Suppose -h*b + u = -31*b. Are b and -5 non-equal?
True
Let k = -28850 - -28912. Is k equal to 70?
False
Let s be (-11915)/595 - (-240)/112. Which is smaller: s or -19?
-19
Let l = 5656 - 5658. Which is smaller: 7820 or l?
l
Let t(m) = m**3 - 23*m**2 + 44*m + 85. Let a be t(19). Are 4/9 and a equal?
False
Suppose c + 3*f = -2, -2 = 3*c + f - 4. Let t be (-5 - 11/(-2))*1788/888 - 1. Which is smaller: t or c?
t
Suppose 79*t - 73*t - 114 = 0. Suppose 0 = 4*l - 3*s + 83, 0 = -4*s - 11 + 31. Let i = l + t. Which is smaller: i or 11/9?
11/9
Let b(v) = -2*v**2 + 32*v - 35. Let j be b(12). Suppose 55*q - j*q = -300. Which is smaller: q or 0.1?
0.1
Suppose 2*k + 15 - 43 = -h, -4*h + 4 = -k. Let n be (k/(-5))/(140/(-5775)). Which is bigger: n or 101?
101
Suppose -13 = -8*g + 59. Suppose 1 = -8*p + g. Let j be (2/(-1) - (-2 + -59))*p. Is 58 > j?
False
Let g(r) = -14*r + 86. Let h be g(5). Let m = -38 + h. Which is smaller: m or -26?
-26
Let m = -1636/163 + 699900/70253. Is -1/2 != m?
True
Let a(x) = 132*x - 2767. Let u be a(25). Is -10 equal to u?
False
Suppose -4*x = -4*h - 428, 0 = 3*x - 10*h + 8*h - 320. Let z = x + -115. Do z and 0.05 have different values?
True
Let u be ((-25)/120)/(2/(-4)). Let g(r) = r**2 + 10*r + 27. Let b be g(-12). Suppose -56*z = -b*z. Is z < u?
True
Let u(j) = -j**2 - 10*j - 19. Let w be u(-2). Is w at least as big as -0.1106?
False
Let c = -39 + 32. Let h(i) = -3*i - 20. Let f be h(c). Let d be (-80)/(-204) + (0 - 1/3). Are f and d nonequal?
True
Let b be 2/(0 - (1 - 252/260)). Let t be b + 1 - 12/4. Let q = t + 67. Which is smaller: 1/11 or q?
q
Let t(b) = b**2 - 2. Let k be t(2). Let