2*n - 10. Let y be h(0). Let i be 10/298*(-2)/y. Which is bigger: 0 or i?
i
Let q = 51 - 41. Suppose 6*y - 20 = 2*y. Suppose 4*o = y*o - 10. Is o less than or equal to q?
True
Let p(y) be the third derivative of y**6/120 - y**5/10 + 5*y**3/6 + 7*y**2. Let m be p(5). Is m <= -20?
True
Let w(l) = -l + 16. Let x be w(15). Let v be x/2 - (-2 + (-33)/6). Let r(s) = s + 5. Let k be r(4). Which is greater: k or v?
k
Let b(n) = 38*n - 236. Let x be b(6). Is x greater than or equal to -11?
True
Let j be 14 - (-1010)/(-70) - 326/7. Is j not equal to 1?
True
Let a(s) = 3*s - 9. Let i be a(-2). Which is greater: -19 or i?
i
Let s = 3.07 + -0.07. Let v = 34 - 60. Let z = v + 23. Is z at most s?
True
Suppose 2*r - 52 = 3*t, -r - 4*t + 8*t + 16 = 0. Which is bigger: r or 402/13?
r
Let c be (44/3)/((-2)/(-6) + 0). Let j be c/495*(-10)/4. Which is smaller: 0 or j?
j
Suppose -12*f - 3*f + 1860 = 0. Is f >= 124?
True
Let m(t) = -4*t**2 + 53*t - 15. Let d be m(13). Which is greater: 85 or d?
85
Suppose l - 2 = -0*l. Suppose m + 4*c - 104 = 3*c, -5*m = -5*c - 500. Let y = m - 102. Which is greater: l or y?
l
Suppose 9 = f - 2*h, 27 = 4*f + 5*h + 4. Suppose f*v - 81 = -18. Is v less than or equal to 11?
True
Let h(k) = -2*k**2 - 113*k + 287. Let c be h(-59). Which is smaller: -116 or c?
-116
Let i = -5085/17 - -299. Let b be 0/(-1*4*(0 + 1)). Is i less than b?
True
Suppose -2*y + g = -3, 3*y + 0*g - 2*g - 2 = 0. Suppose y*k + 4*n - 14 = 6*k, -2*k - 5*n + 22 = 0. Is 14/13 at least as big as k?
True
Let c be 0 - ((-12833)/(-2583) - (-2)/14). Which is greater: -5 or c?
-5
Let v = 7.0774 + -0.0774. Is v bigger than 14/3?
True
Let r = -1343258081/14045220 + -1/2006460. Let b = r + 287/3. Which is bigger: b or 0?
b
Let p = 8/5 - 61/35. Let o = 48 - 47. Which is greater: o or p?
o
Let j be (243/36 - 6)*8/6. Which is greater: 5.3 or j?
5.3
Let m = -599 + 601. Are m and -0.08 nonequal?
True
Let h be (18/15)/(21/(-140)). Let n be (-220)/(-721) - h/(-28). Are 1 and n nonequal?
True
Suppose 0 = 3*i + 3, -d + 5*d = 4*i - 2380. Let f = d - -20862/35. Suppose 0 = -3*w + 5*n + 2, -n - 2*n = -3*w. Which is smaller: w or f?
w
Let u(n) = n**2 + 144*n - 144. Let i be u(-145). Let j = 13.1 + -12. Is j equal to i?
False
Let v be (-4)/5*(-15)/2. Let q = 0.939 + -1.039. Do v and q have different values?
True
Let q = -1763/29 - -39207/145. Which is greater: 211 or q?
211
Suppose -5*d + 0*t + t = -20, 2*d - 4*t - 8 = 0. Let z be ((-18)/(-7))/(3/(-63)*d). Is z at most as big as 1?
True
Let j = -10 - 8. Let u be (-3)/(-14)*63/j. Let d(v) = -v - 8. Let x be d(-6). Which is smaller: x or u?
x
Let q(k) = -k + 22. Let c(r) = 2*r + 4. Let s be c(5). Let v be q(s). Suppose 3*t - 4*f = v*t - 23, -t + 4*f + 19 = 0. Which is smaller: t or 6?
6
Let i(w) = 119*w**2 + 4*w + 14. Let y be i(3). Are 1097 and y unequal?
False
Let p = 14615/1662 - -11/277. Is p >= 1/3?
True
Suppose 4*w = -3*w + 49. Suppose -3*s - 52 = 5*g, 2*s + 0*s = 5*g + w. Which is smaller: -7 or s?
s
Let l(k) = -k**2 + 9*k - 45. Let u be l(0). Are -1/16 and u unequal?
True
Let a(t) = 3*t**2 + 10*t - 2. Let b(o) = -7*o**2 - 20*o + 3. Let v(i) = -9*a(i) - 4*b(i). Let c be v(9). Let r = 577/10 + -117/2. Is r smaller than c?
False
Let x(a) = -a - 6. Let s be x(-8). Suppose 7 - 9 = -s*z. Let h = 42 - 130/3. Is h > z?
False
Suppose 0 = -g + 2, 3*g = -2*w - 2*w + 34. Suppose 6*f = w*f + 4. Are 2 and f unequal?
True
Let k = -187 + 188. Which is smaller: k or -227?
-227
Let j = 34 - 95. Is j at least as big as -59?
False
Let c = 9764 - 28990. Let u be 2/(-1) - c/32. Let f = 599 - u. Is 0 at most as big as f?
True
Suppose -4*a - 406 = 2*z, 6*z - 3*z + 597 = -3*a. Is -194 not equal to z?
True
Let m be (-3)/3*3 + 0. Let k be (9 + (-168)/16)*16/6. Which is greater: m or k?
m
Let t be 7 + 6/(-36)*40 + 130/(-408). Let y = -1 - -1. Is t greater than or equal to y?
True
Let g = 371/1170 + -2/117. Suppose 3*d = 3*m + 21, 3*m + 6 = -0*d - 2*d. Suppose -4*k + 4*l - 1 = d, -5*k + 15 = 5*l. Which is smaller: k or g?
g
Let q = 444 - 1318. Is -874 smaller than q?
False
Let i be (-5)/110*-111 + (-3)/(-6). Which is smaller: 5 or i?
5
Let i = 391 - 390. Which is greater: i or 24/11?
24/11
Let o be ((-13)/(-26))/((-57)/(-30) - -1). Is o equal to -1?
False
Suppose -3*i = i + 3*j - 9, -2*i - 2*j = -6. Which is greater: 336 or i?
336
Let m = -13046/13 + 1003. Is m at most -1?
False
Let p be ((-12)/(-10))/((-2164)/(-240) - 9). Is -0.2 != p?
True
Suppose 0 = -5*i + 449 + 316. Let s be 18/i - 1640/14518. Is 1 at most s?
False
Suppose 7 - 15 = -4*k. Let h be -13*(3/9)/(k/(-6)). Is h less than -3?
False
Let j(m) = -2*m**2 + 19*m - 9. Let i be j(6). Let w = i - 70. Is -36 >= w?
True
Let n be ((-108)/72)/((36/(-448))/3). Is 51 greater than n?
False
Let z = -28 - -31. Suppose 0 = -z*y - 74 + 29. Let g = -1 + y. Which is smaller: g or -15?
g
Suppose -29*v - 81 = 238. Which is smaller: -13 or v?
-13
Suppose 10 = 6*s - s. Let i = 91 + -90. Suppose -5*x + 5 = 2*u - 2*x, s*x = 3*u - i. Do u and -1 have the same value?
False
Let f = -3761 + 112841/30. Is f less than 0?
False
Let w = -4.1 + 4. Suppose 5*a + 28 = -132. Is a not equal to w?
True
Let d(b) = -5*b**2 + 28*b - 52. Let l be d(2). Are l and -15 non-equal?
True
Let m(i) = -i**2 - 10*i - 7. Let z be m(-7). Suppose k = -5*s + z, -3*s = -4*k + 3*k - 2. Suppose 52 = -8*f + 34*f. Are s and f non-equal?
False
Let m be (-4)/8*-6 - -2. Let c(b) = b**3 - 5*b**2 - b + 6. Let o be c(m). Is o bigger than 1/24?
True
Let m = -445 + 968. Is m greater than or equal to 522?
True
Let j = 9 - 10. Let h = -1597/4 + 30295/76. Is j greater than h?
False
Let t be (2/3)/((-6)/9). Let r be (-2 - (7 - 4)) + 2. Let o be -2 - (17/r + 4). Is t smaller than o?
True
Let q be -2 + ((-17064)/(-1071))/8. Is q greater than -3?
True
Let r = 59 + -1063/18. Let l = -65/522 - r. Is 0.1 at most l?
False
Let z(a) = -3*a - 4. Let u be z(-13). Suppose 4*k - 9 = u. Let r = -3 + k. Which is smaller: r or 1?
1
Let t(j) = 3*j**2 - 8*j + 4. Let v be t(2). Which is smaller: v or -12/65?
-12/65
Let t = 239.1 + -239. Is t at most -7/16?
False
Let w be 4/(-8)*(-8)/(-1). Let k be (-63)/w*(6 - 10). Let s be (-2)/((-7)/(k/6)). Which is bigger: s or -1?
-1
Suppose 7*i - 1335 = 569. Is i at most as big as 269?
False
Let p = -0.7 - 32.3. Let x = -0.028 + 0.028. Are p and x nonequal?
True
Let k(o) be the second derivative of o**4/12 + 3*o**3/2 - 25*o**2/2 + 5*o + 3. Let d be k(-11). Let a = 3/20 - 53/20. Is a not equal to d?
True
Let c be (70/340)/(-7)*4/(-18). Are c and 1 non-equal?
True
Let c be (-5310)/(-14) + (-20)/70. Is c >= 379?
True
Suppose 3*p - p = -10. Let h be 121/(-165) - 2/p. Do 0.7 and h have the same value?
False
Let r = -2.9 + 4. Let t = r + -1.05. Let k = t - -0.15. Is 4 < k?
False
Suppose 3*w + 4*c + 58 = 0, -w + 15*c = 19*c + 14. Which is bigger: -23 or w?
w
Let s = -40 - -55. Let c be (-6)/s*(-1 - 6/9). Are c and -4.1 equal?
False
Let m = -479 - -9099/19. Let t(c) = c - 1. Let f(j) = j**2 - 6*j + 10. Let i(z) = -f(z) + 3*t(z). Let u be i(7). Does m = u?
False
Let u = -23 - -6. Let j = -17.1 - u. Let b = -299/6 + 50. Is b equal to j?
False
Let v be (-5)/((-10)/(-8)) - 2. Let j(m) = m - 1. Let b(p) = 3*p + 4. Let i(o) = -b(o) + 4*j(o). Let y be i(5). Is y <= v?
False
Let r be (3/((-6)/5))/(-39 + 2). Is 0 greater than or equal to r?
False
Let i = -14.3 - -15. Let n = -0.7 + i. Which is smaller: 4 or n?
n
Suppose 0 = 15*t - 13*t. Suppose 8*a - a - 56 = t. Suppose -46 - 6 = -5*d - 3*z, z = 2*d - 12. Is d > a?
False
Let z = -0.06 + -0.01. Let t = z - -15.07. Which is greater: 1 or t?
t
Let r be (16/(-364)*-6)/(-2). Is -1 >= r?
False
Let y be (-2*11/(-2))/(-1). Let z = -455 + 473. Let d be y/(-18) + (-3)/z. Which is bigger: 0 or d?
d
Suppose 5*x + 0*x - 120 = f, -2*x - 2*f + 48 = 0. Suppose -5*a + 134 - x = 0. Which is smaller: 20 or a?
20
Let g = -144 - -67. Is -15 < g?
False
Let o = 5.998 + -6. Let g = o + 0.002. Is -16/7 at most g?
True
Let c = 171/154 - 13/14. Which is bigger: 7 or c?
7
Let r(j) = -j**3 + 12*j**2 + 3*j - 6. Let a be r(12). Let p = a - 25. Which is bigger: p or 3?
p
Let d = -26 + 15. Let n = 15 - 14.9. Is n greater than d?
True
Let k = 26 - 28. Let i be k/(-4)*2*-36. Which is smaller: i or -35?
i
Suppose -5*d + 100 = -0*d. Let s = 14 - d. Let z