2. Suppose w = -30*c + 102. Is 1.9 less than or equal to c?
True
Let a be (-45)/(-36)*(-3 + (-54 - -1)). Let k = 69 + a. Let n = 106324/99 + -1074. Which is smaller: k or n?
k
Let p = -7 + 4. Let h(d) = -51*d**2 + 7702*d - 214. Let o be h(151). Is o > p?
False
Let l be -4 - -7 - (4 + -6 + -5). Suppose 12*z = l*z + 2. Is z at least -2/19?
True
Let v = -8685 - -8713. Which is greater: v or -3.2?
v
Let g(j) = -81*j + 751. Let h be g(9). Which is smaller: -61 or h?
-61
Let n(o) = -o**3 + 32*o**2 - 226*o - 105. Let a be n(21). Is -91/276 equal to a?
False
Let m be 161/(-92)*(0 + 100). Let y = m + 176. Let x = -11948/33 - -362. Is x greater than or equal to y?
False
Let d = 13.23 + -12.23. Let x be (-1)/2*8/(-6). Is d < x?
False
Suppose 108*a - 24*a - 41*a = -249*a. Is a less than or equal to -2/12861?
False
Suppose 0 = 64*c - 54*c - 50. Suppose 2*s + 2*j + 8 = -2, -25 = -s + c*j. Which is greater: 228 or s?
228
Let b be ((-37)/444 - 19/(-84)) + (-1616)/9744. Is b at most 0.4?
True
Suppose -6*o - 5*f + 361 = -2*o, 2*o - 5*f - 173 = 0. Let z be ((-4)/(-6))/(-1) - (6106/(-258) + -66). Are z and o equal?
True
Let o(z) = -z**3 + 6*z**2 - 5*z + 6. Let y be o(4). Suppose -4*n - 10 = -y. Let a be 1/n - (44/8 + -5). Which is bigger: 1/151 or a?
1/151
Let t be (-2752)/(-3) - 22/(-33). Let a be 1359/t - 2/(-12). Is 1 >= a?
False
Let m(i) be the first derivative of -2*i**2 - 68*i + 28. Let g be m(-17). Is g at most as big as 2/153?
True
Let o = -5991 - -1297. Is -4693 at most as big as o?
False
Let m be (-51)/68 + 21/36 - 3148/1272. Is m less than or equal to -4?
False
Let r be (1024/(-640))/((-2)/(-10))*1 + -14158. Is r >= 1?
False
Let q be (-98)/21*1*3. Suppose 5*k = 101 - 31. Suppose -9*p + k = -10*p. Is p >= q?
True
Let g = -10370 - -7199. Is g greater than -3/7?
False
Let i = 606467437/6646 + -91253. Is -1 at most i?
True
Let s(n) = -2*n - 22. Let m be s(-11). Suppose w + 3*d = m, -d = 4*w - 6*d. Suppose -4*k + 12 = w, 5*t + 5*k + 12 + 53 = 0. Is t less than or equal to -14?
True
Let b be 2/(-2) - ((-4)/(-5))/(50/(-82625)). Which is bigger: b or 1320?
b
Let j = 2669/13 + -23135/26. Which is greater: -686 or j?
j
Let r(b) be the second derivative of b**5/120 + 29*b**4/24 - 8*b**3/3 - 26*b. Let m(l) be the second derivative of r(l). Let t be m(-18). Are t and 10 equal?
False
Let s = -4.417 + 4.4. Let x = -4.017 - s. Let o = 3.9 + x. Which is bigger: 1/18 or o?
1/18
Suppose 376*u - 4 = 375*u. Suppose -4 + u = -2*l. Is l equal to -1/201?
False
Let o be (-50)/(-8) + (-2)/8. Let r be 4/o - (-5)/(-3). Let y be (-8 - -6)*1*(-16)/(-1616). Is r <= y?
True
Let k = 1271/43 - 5/86. Suppose 0*a + 265 = 4*a - 5*c, 5*a - 2*c - 344 = 0. Let w = a + -40. Which is greater: k or w?
w
Let f be 2/(-4) + (-6)/((-60)/35). Let w be f/(-6)*(-36)/((-3)/(-3)). Suppose 4*s + w = -78. Which is bigger: -25 or s?
s
Let b be (8/12 - 0) + (-858)/(-2079). Which is bigger: 2 or b?
2
Let b be (-5302)/(-34970) + (80/(-48))/(130/12). Which is smaller: 1 or b?
b
Let s be 1025/(-8370) + (-184)/(-2484). Which is bigger: s or 1?
1
Let h = 115.3 + -114.9. Let m = 0.1 + -1.1. Let g = -1 + m. Do h and g have different values?
True
Suppose -4*b + 611 - 2483 = 0. Suppose k + 95*x = 94*x - 461, 4*x = 32. Which is greater: k or b?
b
Let s(w) = -w**2 + 36*w - 282. Let b be s(10). Is -171/8 >= b?
True
Suppose 24*g = 692 + 844. Which is smaller: g or 63?
63
Let m(x) = 2*x**2 + 36*x - 156. Let w be (-24)/8*(-207)/(-27). Let c be m(w). Is 74 less than c?
False
Let c = 1964 - 1955. Suppose -r - 27 = 2*r. Is c greater than or equal to r?
True
Let p be (2 - (7 - 10)) + -42*47. Let t = p + 226433/115. Suppose 0 = -4*g + g. Is t bigger than g?
False
Suppose -19*x = 14*x - 3300. Which is greater: 605/6 or x?
605/6
Let y be 7/(-2*(-4)/(-56)). Let z = -44 - y. Suppose -z*u = u - 0*u. Is -3/7 greater than u?
False
Let i = -2651 + 2262.4. Let h = i + 389. Which is bigger: 0.07 or h?
h
Let y(r) = 8 - 7*r + 5 + 6*r**2 + 12*r - r**3. Let d be y(6). Let z = -73 + d. Is -30 less than z?
False
Let k be (-7)/(74340/649072) + 0. Let g = 550/9 + k. Is g at least as big as 0?
False
Let v = -808 + 808. Let l be 3/(-34)*(-2)/(-14)*2. Is v >= l?
True
Suppose 15 + 20 = 5*v - 5*j, 5*v - 35 = -j. Suppose v*l - 1080 = -5*l. Which is greater: l or 88?
l
Let j be -19 - (-1495)/(-26) - 1/2. Which is greater: j or -92?
j
Let b(h) = 316*h**3 + 2*h + 1. Let p be b(-1). Let y = 350 + p. Does y = 32?
False
Let h(j) = -18*j + 613. Let t be h(34). Is t at least -2/969?
True
Let w be (-41)/205 - ((-2081)/5 + 2 + -4). Is 381 >= w?
False
Let c = 783 - 455. Suppose c = 5*f + 3*f. Suppose 2*z - 50 = -4*p, z = 4*p + 6*z - f. Which is smaller: p or 15?
p
Let x(l) = 3*l - 3*l**2 - 68 + 2*l**2 + 0*l**2 + l + 74. Suppose 0*u + 10 = 2*u. Let d be x(u). Is d >= -5?
True
Let y be (-37)/185*-2*2/(-388). Which is bigger: y or -1?
y
Let y(b) = -210*b - 210. Let g(c) = 5*c + 5. Let k(u) = -255*g(u) - 6*y(u). Let d be k(-15). Let s be (5/d*-3)/((-2)/(-8)). Which is bigger: s or 0.01?
0.01
Let i = -0.624 - -2.624. Is i > 0.85?
True
Let q = 2.5 - 2.31. Let w = -79 + 80.19. Let y = w - q. Which is smaller: 0.24 or y?
0.24
Suppose 2*b - 119 = -5*b. Let i(l) = -l**3 + 17*l**2 + 1. Let n be i(b). Let q be 85/35 - (n - (2 - 2)). Is 1 <= q?
True
Let x be 7/1*((-240)/35 + 6). Let w = x - 10. Is -46/3 smaller than w?
False
Let w(t) be the third derivative of -t**5/6 - 5*t**4/24 + 2*t**3/3 + 25*t**2. Let g be w(-2). Let v(s) = -4*s + 1. Let n be v(7). Is n at least g?
False
Let d = -0.1 - 0.9. Let w = -39595/7 - -5657. Which is smaller: d or w?
d
Let f(y) = 3*y**2 - 55*y - 211. Let q be f(-4). Which is smaller: 48 or q?
48
Suppose -u - 4 = 0, 4*d + 3*u + 5 = -7. Suppose 4*b - 64 = 3*a, -3*a - 3*b + d*b = 36. Do a and -1 have the same value?
False
Let c = -28.5423 - -28.493. Are 2/9 and c nonequal?
True
Suppose 4*r - 8 = -2*y, 3*r + 12 = -2*r + 3*y. Suppose 3*w + 25 - 22 = r. Is 2/145 less than w?
False
Let z = -2.25 + 2. Let q = -0.8 + -0.2. Is z at most as big as q?
False
Let r = 7.2 + -33.2. Let s = r - -26.062. Let w = 0.162 - s. Which is bigger: w or -52?
w
Let j(c) = -2*c**3 + 4*c**2 + 3*c - 21. Let f be j(5). Let u = -108 + f. Let r = u + 799/3. Is r less than 1/5?
False
Let z be 259386/30 + (-1)/5. Let k be ((-4)/6*-7)/(z/(-99)). Is -1 less than or equal to k?
True
Let c be 4/(-8)*8*(-3)/(-2844). Which is greater: c or -1?
c
Suppose 5*v = 3*r + 244, -5*v + 238 = r - 2*r. Let l be v/21 - (10/6 - 2). Let q = l + -20/7. Is q != 1?
True
Let z = -1619 - -1031307/637. Which is greater: -3 or z?
z
Let g = -33430 - -33423. Is -151 at least g?
False
Let m be -31 - 0/((-8)/(-4) - 0). Let o be (m/45)/(12/18). Let u = o - -7/10. Which is smaller: 0 or u?
u
Let f be 1200/(-560) + (-2038)/(-252). Which is smaller: 6 or f?
f
Let d = 363 - 360. Suppose -2*j = 6*o + 70, -o = -5*j - d*o - 162. Which is smaller: -30 or j?
j
Let b = -10.4 - -10.63. Let n = b + -124.23. Which is bigger: n or 2?
2
Let h(w) = -3*w**2 + 28*w + 17. Let o be h(10). Let z(y) = -69*y - 206. Let d be z(o). Let g be -1 + 2 + 6/(-3). Which is bigger: g or d?
d
Let u(r) = 20*r**2 - 7*r. Let s be u(2). Let n = s - 254. Does -189 = n?
False
Let x = 824963/122426415 + 1/68895. Is -1 smaller than x?
True
Suppose 11*t + 387 + 1373 = 0. Let i be (18/(-15))/(4/(t/12)). Is i greater than 4?
False
Let x = -18 - -2. Let z = -13215 + 13235. Let a be (2136/z - -4) + x/20. Are a and 110 non-equal?
False
Let k(x) = -3*x**3 - 44*x**2 + 5*x + 13. Let n be k(-11). Which is bigger: -6866/5 or n?
n
Let x = -1898.153 + 1899. Let i = x - 4.417. Let g = i + -0.43. Are g and 11 nonequal?
True
Let f(z) = z**2 + 5*z + 7. Let l be f(12). Let d = 112633 + -112422. Is d > l?
False
Let k(l) = -136*l - 1107. Let d be k(13). Which is greater: -2877 or d?
d
Suppose -2*c = c + 5*s - 26, -4*c = 2*s - 16. Suppose t - 2*o = -10 + 7, 3*o - 18 = -3*t. Suppose 5*d = c*d - t. Which is smaller: -6/11 or d?
d
Let x(y) be the third derivative of 7*y**4/24 + 67*y**3/3 - 3*y**2 + 15*y. Let i be x(-19). Suppose -2*q = -0 - 4. Which is smaller: i or q?
i
Suppose -10*g = -3*s - 5*g - 1598, 0 = 4*s - 3*g + 2138. Is -536 greater than s?
False
Let m be 285/114*78/(-15). Let k(v) = 10*v**3 - 10*v**2 - 7*v + 39. Let x(y) = 7*y**3 - 7*y**2 - 5*y + 26. Let r(o) = 