. Is k < -42?
False
Suppose 0 = -5*f + 5, -4*i + 82 = -i + f. Let g be ((-60)/16)/(3 + i/(-8)). Suppose 4*w = 1 + 43. Is g less than w?
True
Let i = 0.2 - 0.1. Let a be (-8988)/14231 + 244/266. Which is bigger: i or a?
a
Let h = 2400 + -539999/225. Suppose -2*b - 26 + 6 = -5*t, -13 = -3*t + b. Let f be 0*((-133)/(-21) - t). Which is bigger: h or f?
h
Let l be 13052/(-699400) + (-4)/(-50). Is -1 smaller than l?
True
Suppose 2243 = -4*o - 2161. Let a = -40743/37 - o. Let g be 1/(((-6)/15)/(-3 + (-17)/(-5))). Is a not equal to g?
True
Suppose 0 = 6*v - 193 + 7. Suppose 4*k + 15 = -k, 0 = h + 5*k - 51. Let j = v - h. Are -37 and j non-equal?
True
Let w = -25 + 91. Let d = -18 - w. Let n = -83 - d. Is 2/3 not equal to n?
True
Suppose -5617*c + 5665*c = -357024. Which is smaller: c or -7439?
-7439
Suppose 5 - 1 = f. Suppose -4*k - 37 = -f*n - 9, 0 = 4*n + 4*k + 4. Let o be (1 - n)*(-2)/(-4). Is o less than 3?
True
Suppose -20*q = -19*q - 23. Let r be q/72 + (-4)/12. Is -1 > r?
False
Let z(m) = m**3 + 10*m**2 + 12*m. Let n(l) = -2*l + 13. Let s be n(10). Let h be z(s). Is h < 64?
True
Let p be (10 + 344/(-36))/(1/9) - 3. Which is smaller: -1/6657 or p?
-1/6657
Let f = 172 + -169. Suppose i = -f*a - 12, 5*a = i + 4*a - 4. Which is bigger: i or -31?
i
Suppose -149*v = 2414 + 3099. Is v != -18?
True
Let k(g) = -11*g + 60. Let v be k(-2). Let a = -42 - -122. Which is smaller: v or a?
a
Let l(k) = -k**3 - 16*k**2 - 27*k + 100. Let j be l(-29). Let t be 3/(-12) - (6 + j/(-1888)). Are t and -1 nonequal?
True
Let u be -1 - -1 - (0 - -2). Let k = 469909 - 4219840/9. Let q = k + -1039. Is q greater than or equal to u?
True
Let k be (2/2)/((-3)/28044). Let l be 3/4*(-19)/(k/(-8)). Suppose j = 4*q + 4, 4*q + 4 = -0*j + 5*j. Which is greater: q or l?
l
Let x(i) = -1237*i**3 - 3*i**2 + i + 2. Let l be x(1). Let h = l - -587573/475. Which is bigger: h or -1?
h
Let w(q) = -2*q**3 + q**2 + 2*q + 5. Let o be w(-2). Let v be (-2238)/o - 2 - (-12)/(-28). Is -108 > v?
True
Suppose 484 = t - 2*c, -3*t + 5*c + 1473 = 6*c. Suppose 14 + t = 14*v. Which is bigger: 40 or v?
40
Let l be (-1)/1896*1046776/(-138) + (-3 - 1). Is 0 equal to l?
False
Let m be -204*(3 - (-112)/(-42)). Which is greater: -35 or m?
-35
Let n = 13679929/2130 - 12845/2. Let a = 717 - 716. Which is greater: a or n?
a
Suppose -y = -2*x + 112, x - y - 17 = 37. Which is bigger: 632/11 or x?
x
Suppose 586*h - 849*h + 68906 = 0. Which is smaller: 280 or h?
h
Let r be ((-4)/(-14))/(14497/545). Which is smaller: -1 or r?
-1
Let v(f) = 80*f - 38*f + 10 - 40*f. Let l be v(-4). Let k = -13 + 15. Is k greater than l?
False
Let b(k) = 13*k - 3. Let j be b(-10). Let u be (-256)/192 + 395/(-3). Is u <= j?
True
Let z = -2319 + 1636. Let q = z + 295. Is q bigger than 0?
False
Let r = 19218/13 + -1478. Suppose 4*a + 9 = -5*z, -3*z - a = 3*a + 7. Is r <= z?
False
Suppose r - 5*z + 31 = 0, 76 = -4*r + 3*z - 14. Let q = -650 + 651. Which is smaller: q or r?
r
Let i be (56/(-24))/((-4)/48). Suppose 11 = i*w - 17. Which is smaller: w or -9?
-9
Let x be 2/5 + 3154944/(-7879560). Which is smaller: -0.2 or x?
-0.2
Let u = -180 - -104. Let y = -60 - u. Let m = -9 + y. Is -4 greater than m?
False
Let m be ((-1)/(-1))/(35/(-70)). Let d be (680/(-140))/((10/7)/m). Is d less than or equal to 8?
True
Let x(d) = -d + 14. Let s be x(2). Let q(u) = u**2 - 18*u + 73. Let l be q(s). Are 1/151 and l equal?
False
Suppose -8*t + 6925 = 24180 + 10641. Which is smaller: -3485 or t?
t
Let q be -82 - -3*4/3. Let o be ((-2)/(-3))/(q/(-90) - 1). Do -4 and o have the same value?
False
Let a = -31424 + 18992. Which is smaller: a or 0?
a
Let n = -830592 - -41533537/50. Let u = 315/4 - n. Which is greater: -1 or u?
u
Let n = -14.07 - -15.9. Let w = n - -0.17. Which is greater: 9 or w?
9
Suppose 1151 = 2*h - 935. Suppose -21*v + h + 1456 = 0. Which is smaller: 117 or v?
117
Let i be (10 - (-426)/(-36))/((-51)/(-10)). Let y = i - -8/17. Let r = 0 - 1. Is r at least y?
False
Suppose 4*f - 11 = h, -4*h + 9*h - 17 = -4*f. Let j(p) = p - 6. Let m be j(5). Let q be 10/f*(-75)/(-20)*m. Is q equal to -13?
False
Let b be (-2)/(-5) + (-45120)/50 - (-2 + 8). Which is smaller: -909 or b?
-909
Let h be 16520/(-172)*((-30)/32 - -1) - -6. Which is smaller: 1 or h?
h
Let f = -5713.48 + 5705. Which is bigger: -1 or f?
-1
Let i(w) = -17*w - 211. Suppose -b = -4*p + 14, -3*p = -5 + 2. Let y be i(b). Do y and -49 have different values?
True
Suppose 0 = 7*r - 16864 + 3949. Is r bigger than 20286/11?
True
Let r = -16376 - -45710/3. Let w = -1129 - r. Which is smaller: -4 or w?
-4
Let s = 2.21 - 2.31. Suppose -2*a - 2*a + 40 = 0. Let p be a*(-4)/(-64)*1. Which is smaller: p or s?
s
Let d(x) = 2*x**3 - 8*x**2 - 3*x + 18. Let t be d(6). Let k = 138 - t. Which is smaller: k or 5?
k
Let n(h) = -10*h**2 + 313*h - 351. Let o be n(30). Are -70/11 and o nonequal?
True
Let s = -545 - -542.361. Let k = s - -2.61. Is k less than or equal to -2?
False
Let i(t) = t**2 + 24*t + 65. Let h be i(-21). Let g be (2*h/(-290))/(1/105). Which is bigger: g or -1?
-1
Let v(s) be the first derivative of 4*s**2 - 49*s - 65. Let x be v(5). Which is smaller: x or 0.8?
x
Let f(t) = t**3 - 3*t. Let w(r) = -2*r**3 + 5*r. Let c(n) = -5*f(n) - 3*w(n). Let p be c(1). Let j = -5138 + 1114948/217. Do j and p have the same value?
False
Let t = 20742 + -726058/35. Is -2 less than t?
False
Let x be (-55)/390*(2 + (-310)/154). Suppose -2*k + 25 = -5*k - 5*l, -10 = 2*l. Is k at most x?
True
Let a = 44 - 39. Let d = a + -90. Is d bigger than -86?
True
Let j be ((-247584)/(-6408) - 38) + 2/(-6). Which is greater: j or 0?
j
Let n be -201 + (-4 + -11 - -23). Let o = 71033/4 + -1475485/84. Let w = n + o. Is w at least -1?
True
Let i = 832 - 803. Suppose 0 = -3*w + 2*w. Which is bigger: w or i?
i
Suppose -4*y = 2*s + 8 - 26, 0 = -3*y + 3. Which is smaller: s or 46?
s
Let p(i) = -i**2 - 5*i - 2. Let w be p(-3). Let j(n) = -n**3 + 4*n**2 + n + 4. Let d be j(w). Suppose -d*v + 34 = -558. Is 73 at least as big as v?
False
Let n = -0.76 + 0.141. Let v = 0.619 + n. Are -6 and v non-equal?
True
Let b = 36771/10 + -3681. Suppose 0 = 266*v - 275*v - 27. Is b at most v?
True
Let b(q) = -3*q - 3. Let m be b(6). Let l = -7653 - -7649. Which is greater: l or m?
l
Suppose -3*k = -2*d - 5*k - 18, 0 = -3*d - 5*k - 27. Let i be 231/44*(-2)/d. Let o = -611/7 + 87. Which is bigger: i or o?
i
Suppose -4*r + 11647 = 15*r. Let y = -623 + r. Which is greater: y or -180/19?
-180/19
Let s(b) = b**2 + 32*b - 417. Let g be s(10). Is g at most -445?
False
Let x be (-6235)/43*4/204. Does x = -4?
False
Suppose -441*w - 28 = 4*i - 437*w, -2*i = -w - 4. Which is smaller: 18/343 or i?
i
Let f = 124485 + -124488. Suppose 0*r = 2*r + 6. Is f smaller than r?
False
Let b be (32/(-12) + 3)/(6565/(-30)). Let p = b + -7828/32825. Which is bigger: p or 1/2?
1/2
Let m = 381.66 + -382.66. Let j be ((-14)/5)/((-6)/229). Let g = -107 + j. Is m less than g?
True
Suppose 4 = 4*c - 3*c. Suppose 5*t + 720 = -3*n, -c*t + n - 593 = -0*t. Let r be ((-8)/3)/(-4) - (-95)/t. Are -1 and r non-equal?
True
Let f(g) = 2*g**2 + 6*g - 32. Let s(q) = -q**2 - 3*q + 16. Let a(p) = -6*f(p) - 13*s(p). Let v be a(-6). Suppose 2*k + v*k = -8. Is -1 less than or equal to k?
False
Suppose 0*z - 4*z - 924 = 0. Let v(f) = -f**3 - 20*f**2 - f + 401. Let w be v(-18). Which is bigger: z or w?
w
Let s(t) = 2*t**2 - 55*t - 2968. Let m be s(0). Is -2968 greater than m?
False
Let x = -445 - -482.4. Let m = 32 - 29.6. Let h = x - m. Is 1 less than h?
True
Let i(h) = -h + 48. Let m be i(10). Let t be 2/(0 + -4)*m/(-3173). Suppose 3 = a, 4*a + a - 18 = -3*s. Is t greater than s?
False
Let i = 0.116 - 0.016. Let l(o) = 0*o - 4*o - 3*o**2 + 4*o**2 - 4. Let c be l(5). Which is greater: i or c?
c
Suppose 0 = -17*y - 6 - 28. Let q(o) = 30*o**3 + 4*o**2 - 4*o - 12. Let i be q(y). Which is smaller: i or -229?
-229
Let r = -0.562 + -60.538. Let v = -60.1 - r. Which is smaller: 5 or v?
v
Let z be (-51)/(-15) + -3 + (18288/(-210))/12. Which is smaller: z or -1/17?
z
Let p = -277.8 + 303. Let y = 85 - 60. Let a = p - y. Is a at least as big as 0.07?
True
Suppose -63 = 618*h - 555*h. Which is greater: h or -1/13950?
-1/13950
Let u = 15749 - 17923. Is u greater than -2172?
False
Suppose -440*i - 653118 + 2350638