 -3*z + 2*d + 1. Which is smaller: z or y?
y
Let m(s) = s - 3. Suppose 0 = n + 9*n - 40. Let c be m(n). Let a be 2/(-7) - 159/(-483). Which is smaller: a or c?
a
Let k(x) = 28*x**2 + x + 2. Let j be k(6). Let l = 326 - j. Let g = -2833/4 - l. Which is bigger: g or -18?
-18
Let w = -649.91 - -648.87. Let t be 20/21 - (-4)/(-6). Which is greater: w or t?
t
Let a = -0.01315 - 0.18685. Suppose -x + 4 = 0, x + 17 = 3*t + 3*x. Which is bigger: t or a?
t
Let h(v) = 5*v**2 + 8*v + 30. Let d be h(8). Let k = -415 + d. Let c = -12182/29 - -420. Which is bigger: k or c?
c
Let i = 59257 + -1179781/20. Suppose -t + 268 = 63*a - 58*a, -3*t - 4*a = -804. Let v = t - i. Which is greater: 1 or v?
1
Let m = 22629.2 + -22629. Is 789 smaller than m?
False
Let r = 5/27 + 137/135. Let n = -8 + 10. Suppose 0 = -h - 5*p + n, -3*h - 2*p = 3*p - 6. Which is smaller: h or r?
r
Let x be (18/15)/(2/80). Let s be 1 + -2 + (-5)/(-5). Let l = s - -48. Does x = l?
True
Suppose -10*f + 2 = -12*f. Let n be 1/((-16)/4) - (-2)/88. Is f at least n?
False
Let w = -1918 + 1933.745. Let b = 0.245 - w. Is b less than 2/7?
True
Let y be 60/(-24)*(-36)/(-15). Is y less than or equal to -99/19?
True
Let q be (30/(-120))/((-68)/(-288)). Is q at least as big as 38?
False
Suppose 0 = -4*q - 4*g + 7236, -16*q - 5445 = -19*q + 3*g. Suppose 4*r = -5*h - 2301, -20*r + q = -4*h - 16*r. Is h less than or equal to -0.1?
True
Suppose 3*n = -3 - 0. Let t be ((-4)/((-3792)/(-20)))/(((-15)/(-1))/(-270)). Is n at most as big as t?
True
Suppose -2*z + 137 = 2*g + 39, -5*z = -g + 49. Are 74 and g equal?
False
Let i = 8686 - 8553. Is 0 < i?
True
Let l(a) = -41*a + 177. Let n be l(4). Suppose -n*y = 535 + 635. Is -90 at least y?
True
Let o = 10085/8 - 1259. Suppose 107*s - 105*s + 26 = -4*m, 3*s + 2*m = -11. Do s and o have different values?
True
Suppose 0 = 2*z - 7 - 3. Suppose -2*j - 2 = 6, p = j + z. Suppose -16*d - 8 = 24. Is p < d?
False
Let o(k) = -k**3 - 18*k**2 - 14*k + 52. Let p be o(-17). Let g be p - 6 - (180/(-25) + 1). Which is bigger: g or 0?
g
Let i be (-26)/(((-8)/(-32))/(22/(-8))). Suppose -4*g = i + 34. Is -80 at least g?
True
Let y = -812 - -409. Let l = 390 + y. Is -13 at least as big as l?
True
Let x be 4/6*-3*(-5 - -6). Let m be 4/(-8)*-5*x. Let z be ((-4)/56)/(6/(m + 2)). Is z smaller than 0?
False
Suppose -24*t + 16*t - 280 = 0. Let z be (-848)/(-28) - (-10)/t. Is z less than 30?
False
Suppose 8*m - 10*m - 3*m = 0. Suppose 13*d - 322 - 380 = m. Which is smaller: 55 or d?
d
Let c = 3.02 + -0.02. Suppose -4*z - 2*m + 7 + 3 = 0, -9 = -2*z + 3*m. Suppose -98 + 95 = -z*d. Do c and d have the same value?
False
Suppose -2*f + 4 = -f. Let w(o) = -o**2 + 5*o - 1. Let q be w(f). Suppose q*h = h. Which is smaller: 1 or h?
h
Suppose -f = 5*t - t - 6, -2*t - 6 = -4*f. Is 1184 at most f?
False
Let f be 7/((-35)/(-30)) + (-7864)/1320. Which is smaller: 1 or f?
f
Let j = -14536/15 + 970. Do j and 7 have different values?
True
Let u be -3*(-1)/3*4 + 1. Suppose -5*z - u*j = -2*j - 6, 5*j + 12 = -z. Suppose -5*q = h - 4 + 14, z*h - 3 = -4*q. Which is greater: q or -4?
q
Let l be (-168)/(-126)*9/(-2). Suppose 0 = 12*p - 7*p + 20. Does p = l?
False
Suppose 0 = -142*p + 42*p + 11600. Which is smaller: 1161/10 or p?
p
Let y = 64.7 - -0.3. Let m = y + -89. Let f = 21.2 + m. Is f greater than or equal to 0?
False
Suppose 43*h + 34*h + 265 = -1198. Which is smaller: h or 95?
h
Let s = 949/12426 + -9/218. Let j be (0 - 8)*78/(-8). Suppose -2 = j*u - 76*u. Which is greater: u or s?
s
Let r = 159 - 152. Let x(a) = -a**2 + 4*a - 13. Let t be x(r). Are -35 and t equal?
False
Let f = 17161 - 17099. Let i = -16.8 - -17. Which is greater: i or f?
f
Suppose p = -5, -2*l + 41 = -4*p + 7. Let r be (11/44)/(l/404). Is r at most as big as 13?
False
Let f be 2*(-934)/2*-1. Suppose -f*a - 10 = -933*a. Is -11 != a?
True
Let q = 949 + -947. Is q at least as big as 2309?
False
Let g be 198/(-14)*2 - (-8)/28. Let t(m) = m**2 + 13*m - 10. Let p be t(-9). Let z = p - g. Is -18 <= z?
True
Let m = -2.54 + -40.46. Let k = m + 45.5. Let l = -83/3 - -27. Which is greater: l or k?
k
Let v be 35/(-42)*93/2288885. Which is bigger: 0 or v?
0
Let r = -20/13 - -22/13. Let w = -16.1 - -16.1487. Let a = w - -1.9513. Which is smaller: a or r?
r
Suppose 6*n = 7*n + g - 870, -3*n = -3*g - 2628. Which is smaller: n or 2621/3?
n
Let k = 2076 - 2077. Do k and -2/987 have the same value?
False
Let y = -1914.29 + 1914. Which is smaller: -59 or y?
-59
Let o = 44 + -31. Let q be (-86 - -71)*(-13)/15. Do o and q have different values?
False
Let i = 97.84 - 97.21. Are -13 and i nonequal?
True
Suppose -9*g = 8*g - 629. Suppose -4*v + 6*v - 39 = s, s + 2*v = -31. Let d = g + s. Which is greater: d or -1?
d
Let q be -1*(-1 - 13 - 1). Suppose -4*j + 56 = 10*j. Suppose -3*g = j*m + 20, -4*m - q = -2*g + 5. Is g <= -2/5?
False
Let p(y) = -9*y**3 - 2*y**2 + 4*y - 3. Let n be p(2). Let w = -136 - n. Let d be ((-60)/16 + 5)/((-5)/240). Which is bigger: d or w?
d
Let b be (4 - 718350/181795)/3. Let i = 8/353 - b. Is i >= 1?
False
Let q(a) = 4*a**2 + a - 2. Let d be q(4). Suppose 7*n + 4*n = d. Suppose 3*s - n = -4*p + s, -2*p - 2*s = -2. Is 5 not equal to p?
True
Let r = -0.421 - 213.579. Let u = r + 216. Do 1.9 and u have different values?
True
Suppose -46*o + 50*o + 968 = 0. Let w = 238 + o. Which is smaller: 22 or w?
w
Let p(q) = q + 4. Suppose -3*l - 2*l = 0. Let w be p(l). Let v be w/10 + 79/(-35). Which is bigger: -2 or v?
v
Suppose 5*o - 24*h + 18*h - 211 = 0, 4*h = -4. Which is smaller: 61 or o?
o
Let b be 25 + -26 - 3/(1362/3166640). Let l = b + 6976. Which is smaller: 1 or l?
l
Let r = 6 + -2. Let g be (1/(-4))/(5/r). Let f = -3/350 - -3509/1050. Which is smaller: g or f?
g
Suppose 0 = 2*x - 4*h + 400, 5*h = -5*x + 6*x + 206. Let u = 1374/7 + x. Is u > 36?
False
Let g = 3168 - 3169. Are g and -8/1573 unequal?
True
Suppose 233*s - 854 = 219*s. Is -24 bigger than s?
False
Let o = 304.21 - -52.79. Which is bigger: -0.18 or o?
o
Let u be (-38)/(-133) - 1633/7. Does -234 = u?
False
Let q = -585/59 - -111293/10915. Is 0 less than or equal to q?
True
Let u = 12719/30 - 424. Suppose 131*s = 125*s. Suppose 5*t = -2*r - 22, s = -r + 5*r - 2*t - 4. Which is smaller: u or r?
r
Let c be 8 + (5/(-1645))/((-10)/(-26490)). Is c greater than 1?
False
Suppose 0*t - t + 301 = -f, -5*f + 1195 = 4*t. Let n = -301 + t. Is -3/17 > n?
True
Suppose -3*g - 15 = c, 2*g - g - 2*c + 12 = 0. Let t be g - (-56)/(-48) - -7. Let r = 12.07 - 12. Which is bigger: t or r?
r
Let d(i) = 30*i + 115. Let t be d(-30). Let v = t + 50239/64. Which is greater: v or -1?
v
Let w = 2750 + -2666. Are -26 and w unequal?
True
Let r = 59 - -39. Suppose -n - 357 = 5*q, 2*n + 2*q - 1406 = 6*n. Let h be (-28)/r - n/1330. Which is smaller: -0.1 or h?
-0.1
Let y(z) = 10*z + 29. Let h be y(-4). Let o be -4*h/(-396) - 4/(-9). Which is smaller: o or 6?
o
Let o(l) = l**2 + 17*l - 6. Let f be o(-20). Suppose q - 2*b = -23 + f, q - 37 = 5*b. Is q <= 155/6?
False
Let m(r) = 6*r + 47. Let s be m(-5). Suppose -69*n = -s*n - 17680. Which is smaller: n or 339?
339
Let l = 1406 + -1402.645. Let r = l - 0.355. Is 24/11 > r?
False
Let f = 1/45834 - -481073/8433456. Which is smaller: 0 or f?
0
Let f = -101 + 107. Let t(p) = -2*p**3 + 14*p**2 - 9*p - 12. Let i be t(f). Suppose -36 = -5*m - 3*o, 0 = 5*m - o + 2*o - 32. Is i not equal to m?
False
Let s be 4/16 - 58/8. Let f = s - -21. Let a(q) = 762*q + 6874. Let m be a(-9). Is f > m?
False
Let z(s) = 3*s**2 + 122*s + 1603. Let y be z(-18). Which is smaller: y or 381?
y
Let s be (-18)/(1 - (1 + (-2)/(-5))). Let f = s - 5. Let p = 15 - f. Which is greater: -26 or p?
p
Let g = -11638 + 12049. Which is greater: g or 36?
g
Let k = 12391830 - 12391275.9907. Let v = k - 554. Which is greater: v or 0.1?
0.1
Suppose 38*c = -131*c + 18759. Is 0 >= c?
False
Let o(r) = r**2 - 9*r - 23. Let q be o(13). Suppose -q + 211 = -7*p. Let v = 26 + p. Which is smaller: -5 or v?
-5
Let a = 7743/13 - 579. Which is smaller: 17 or a?
a
Let r = 4.4 - 51.4. Let s = 50.93 + r. Which is bigger: s or 1?
s
Let z(o) = -3*o + 208 + 262 + o - 114. Let p be z(0). Suppose -3*u + p = 8. Does u = 116?
True
Let o = -93 + 94. Let m = 715.072 - 715. Is o != m?
True
Let u = -466 + 460. Let h be u/24 + 99/108. Wh