2. Let y be i(-12). Which is smaller: a or y?
a
Suppose 692 = 140*y - 202*y + 72. Is -54 at most y?
True
Let x = 98 + -97.95. Let v = -0.9 + x. Let a = 0.79 + v. Which is bigger: -0.3 or a?
a
Let u be 1*((-1)/(-4) + 27/4). Suppose 3*z + 47 = 5*f + u*z, -6 = -2*z. Let r be (1/f)/((-6)/(-468)). Is 11 less than r?
True
Let v be 4 + -1 - (4 - 1). Let d be 7 - 207*3/(6732/76). Which is smaller: d or v?
d
Let x = 452 + -442. Suppose 5*f + 16 = 3*f - 5*o, -3*f - 4*o - x = 0. Which is bigger: 25 or f?
25
Suppose -4*y + 3*z + 268 = 0, -66 = -y + 3*z - 2*z. Let p = 168 - y. Suppose 0 = -101*f + p*f - 117. Is -0.1 at most f?
False
Suppose -6*p - 23 + 113 = 0. Let t be 172/20 + -2 + 21/p. Is -2 not equal to t?
True
Let t = -13.7 - 2.3. Let d = 13539 - 13542. Which is greater: t or d?
d
Let c = -35039/51 + 687. Let u = 0.115409 - 0.015409. Which is smaller: u or c?
c
Let f = 92625 + -458123247/4946. Is 1 != f?
True
Suppose -q - 15 = 4*q. Let z = 3226.2429 - 3226. Let a = z + 0.0571. Which is smaller: a or q?
q
Let a = 834 - 1627/2. Let x be 6 + 75*(-5)/(-25). Which is greater: x or a?
x
Let i be (-4 - (-184)/48)*144/136. Suppose 3*w + 3 = -2*z, 4*w - w - 12 = 3*z. Let t be 2/(-3)*z/2. Are t and i non-equal?
True
Let v = -24 + 131. Let j = -105 + v. Which is bigger: -0.028 or j?
j
Suppose 4*x + 1736 = 2*h, -9*h + 4*h + 5*x + 4350 = 0. Which is smaller: 874 or h?
h
Let s = 93 - 61. Let f = s - 31. Suppose f + 38 = -5*z + 3*m, -m - 21 = 4*z. Which is smaller: z or -1/2?
z
Let w = -35 - -39. Let n(t) = 6*t - 8. Let f be n(w). Suppose 3*p - f + 1 = 0. Which is smaller: p or 4?
4
Let q(u) = u**3 + 10*u**2 + 7*u - 14. Let g be q(-9). Suppose l + 171 = g*l + 3*y, -4 = -y. Suppose 0 = 3*h - 8 - 4, -l = -n - 2*h. Which is smaller: 44 or n?
44
Suppose 2*o = -o - 27. Let c = 296 + -295. Let t be (c - -4)*((-177)/15 - -10). Is t at least as big as o?
True
Let q be 6/21*(-5 + 19). Let s(a) = -6 + q*a - 6 - 5*a. Let v be s(-7). Is v equal to -6?
False
Let l = 1.35 - 91.35. Let g = l - -91. Which is bigger: g or 16?
16
Suppose 0 = 150*z - 69*z - 810. Let c be (-6)/15*(-85)/4. Is z >= c?
True
Suppose 3*y = 9, -5*k - y = -469 - 169. Suppose 5*t - 3*g = 334, -2*t - g + 0*g + k = 0. Let r be 1/(-5) - (-13)/t. Is -0.7 less than r?
True
Suppose -4*o + 6 = g, -3*o + 5 = 4*g - 6. Let d be ((-3)/(-28)*2)/((4 - 0) + -5). Which is greater: o or d?
o
Let p = 590.033 + -651.29. Let q = -0.257 - p. Which is smaller: q or -2/15?
-2/15
Let o = 25 + -6. Suppose -376 = -o*p + 15*p. Let x be ((-132)/(-18) - 7) + p/(-102). Which is smaller: 0 or x?
x
Let j = 9 - -8. Suppose 5*k - 7*i + 6*i - 26 = 0, j = 4*k + 3*i. Suppose p = h - p - 10, 17 = k*h + p. Is 4/3 at most h?
True
Let d(i) = -7*i + 196. Let h be d(28). Let a be 249 + h + -2 + -8. Is 239 at most a?
True
Let z be 3/4*(-700)/(-105) + -5. Which is smaller: -1/1180 or z?
-1/1180
Let h = 0.141 + 247.859. Let v = -237 + h. Which is bigger: v or 2/3?
v
Suppose -10*l - 36 + 386 = 0. Let j be l/(-518)*(-2 + (2 - 2)). Which is greater: 0 or j?
j
Let l = 5234 + -4865. Which is bigger: -1 or l?
l
Let y = -7 - -12. Suppose -y*t - 15 = 5*q, 3*t + 5*q + 0 = -17. Let o be (-12)/(-624) + (-672)/18720. Are t and o nonequal?
True
Suppose -3*m + 2*m = 3*y - 17, 5*m = 5*y + 5. Suppose -5*n = r - 124, 5*n - 135 = -5*r + m. Which is bigger: 0.2 or n?
n
Let d = -10779 + -3389. Is -14166 bigger than d?
True
Let n be (-29734)/(-614590) + 3/(2706/(-44)). Is 0 greater than or equal to n?
True
Suppose 3*c + 213 = -5*s, -2*c - 3*c + 110 = -2*s. Let y = 44 + s. Is y smaller than -3/4?
True
Let k = 0.725 + 641.275. Let f = k - 641.9. Is 14 greater than f?
True
Let y = 2.19 - 106.19. Let d = y + -19. Which is greater: -0.1 or d?
-0.1
Let m = 114571901 + -258930773579/2260. Let s = m - 3049/4. Is s < -1?
False
Let p(z) = -1103*z - 104. Let k be p(-3). Are 3203 and k equal?
False
Suppose -2*u = 16 - 4. Let s = -20 - -44. Suppose -3*p + s = -2*a, -6*p + p = 4*a + 4. Are a and u non-equal?
False
Let x = -2757.6 - -2838.6. Let u be -3 - ((-35)/(-2))/(-5). Do u and x have the same value?
False
Let o be -1 - (-2 - (2 + 1)). Let t be (-4)/(-228)*-230 + o. Let x = -0.32 - -2.32. Is t < x?
True
Let a = -46 + 21. Let d = 25 + a. Let t = -0.216 + -0.014. Is t equal to d?
False
Suppose -206*c + 1067912 = 4*c - 368068. Is c less than 6838?
False
Suppose -45 = 5*n - 5*a, -6*a = 3*n - 5*a + 19. Suppose 2*l = -3*y + 74, 6*y - y = 5*l - 160. Suppose -29 = 7*b + l. Which is smaller: b or n?
b
Suppose -i - 41 = -37. Let k be i/(-18) + 4/(-18). Let n = -209 + 18181/87. Which is greater: k or n?
k
Suppose -4*q = 1 + 3. Let w be 9/(-6)*(-2)/6*-4. Let j be (w/(-13))/(8 + -6). Does q = j?
False
Let n = 27/28 + -911/364. Let i = 314 + -458. Let b = i + 142. Which is smaller: b or n?
b
Let i be (1065/10)/(18/12). Suppose 0 = -t + 6 - 3. Suppose -2*o = 2*o - 3*l - 279, t*l = -o + 81. Which is smaller: i or o?
i
Suppose 9*g = 6577 - 6514. Which is smaller: 153/22 or g?
153/22
Suppose -13*b + 40 + 597 = 0. Suppose -18 = 2*o - g - 110, -2*g = 4. Which is smaller: b or o?
o
Suppose -24*c + 5200 = 26*c. Suppose c - 269 = -3*l. Are l and 55 unequal?
False
Let q be (-9)/(-2)*1/4. Suppose -18*k = 2 - 38. Suppose 3*c + k*l = -c + 18, 5*c + l = 15. Is q less than c?
True
Let y = 398 - 394. Suppose 9 + 47 = -y*d. Which is greater: -20 or d?
d
Let k(h) = 15*h + 23. Let n be k(4). Let s = n + -97. Suppose 0 = -w - 3, 3*w - 26 + 5 = 2*g. Which is greater: g or s?
s
Let i be ((-18)/(-15))/(26/455). Suppose -17*u = -i*u. Which is smaller: u or 72?
u
Let g(o) = -o**2 - 27*o - 171. Let z be g(-11). Suppose 5 = 12*a - 13*a, s - z*a - 26 = 0. Which is smaller: 6/139 or s?
6/139
Let d = 0.1 + -0.1. Let v = -8.064 - 0.136. Let a = v + 8.92. Are d and a unequal?
True
Let b = 3311.9 + -3312. Is -328 not equal to b?
True
Let k(o) = o**3 - 5*o**2 + 3*o + 5. Let f be k(4). Suppose -21 = -48*c - 69. Let n be -1 + (1 - c) + f. Do -3 and n have the same value?
False
Let t be (1/2)/((-28)/(-4928)). Let g = t + 48. Is g greater than 135?
True
Suppose 0 = -6*j - 86733 + 19671. Is -11176 not equal to j?
True
Suppose -18*o = -13*o + 3*h + 378, 4*o - 2*h + 320 = 0. Let b be -76 - 13/(o/12). Which is smaller: -0.2 or b?
b
Let f be (-291)/10 + ((-16)/40)/1. Does f = -10?
False
Let s = 29.17 - -22.83. Let i be (-1 - 3)/16 + -1. Does s = i?
False
Let q(z) = z**3 - 14*z**2 + 18*z + 18. Let o be q(14). Let b = 270 - o. Which is smaller: -3/55 or b?
-3/55
Let y be -1*2*(-9)/45. Let x = 2100 + -1973. Is x less than y?
False
Let y(x) = x**2 + 19*x + 31. Let z be y(-17). Which is greater: z or -73?
z
Let w = -1798 + 1797. Is w < -2352?
False
Let p = -851/375150 + -3/3050. Which is greater: p or -1?
p
Let u be 763/(-252) + 4 + (-1)/((-4)/(-3)). Is u smaller than -12/17?
False
Let b = -1.25 + -0.75. Let f = -91 - -116. Is f >= b?
True
Let t = -191.284 + 4.184. Let y = t - -187. Is y less than -2.04?
False
Let k be 80/25*50/4. Let o = -38 + k. Suppose 20 = r - 5*p, o*r + 3*p = 2*p + 73. Is 36 smaller than r?
False
Let j be (5 + 0)/(-15) + (-539)/(-2499). Let u(t) be the third derivative of -t**4/24 - 7*t**3/6 + 2*t**2. Let a be u(-6). Which is bigger: a or j?
j
Let p = -121 + 3268/27. Let h = -4 + 7. Suppose h = -11*s + 8*s. Which is bigger: s or p?
p
Suppose n = -5*j + 66, -8*j + 327 = 4*n - 9*j. Suppose n*f = 77*f + 8. Which is smaller: 10/19 or f?
10/19
Let v = -1.1 - -0.1. Let l = 14685 - 14436. Is v <= l?
True
Suppose 9*n + 26*n = -106*n - 30033. Is -219 smaller than n?
True
Let h be 126/(-96)*-6 + 1/8. Let t be -4*(-22)/12 + (-4)/6. Which is smaller: t or h?
t
Let m be ((-768)/640 + 2/10)*1/1. Are -4/6023 and m unequal?
True
Suppose 23*g = -4*x + 26*g - 297, 5*g - 70 = x. Which is greater: -74 or x?
-74
Let s(q) = -q**3 + 6*q**2 + 3*q - 13. Let r be s(7). Suppose -21 = -3*w + 3*h - 156, -3*w - 2*h - 125 = 0. Is r less than or equal to w?
False
Let w = 32322 - 32323. Is -11567 smaller than w?
True
Let b(w) = w**3 + 5*w**2 - 13*w + 7. Let k = 62 + -69. Let i be b(k). Suppose -m + i*m - 2*r - 4 = 0, 6 = -2*r. Which is greater: m or 11/4?
11/4
Suppose -25717*h + 1080 = -25713*h. Is 2 less than h?
True
Let m(c) = -2*c**2 - 8*c - 9. Let n(l) = 5*l**2 + 16*l + 18. Let a(k) = 14*m(k) + 6*n(k). Let o be a(9). Let w = 4 + -5. Which is smal