- 2*k = -0*d + 2, 4*d = 5*k + 17. Let g(z) = -z**3 - 11*z**2 - 15*z - 50. Let l be g(-10). Suppose -d*v + 5*v + 54 = l. Which is smaller: v or 19?
v
Let z(h) be the second derivative of h**5/20 - h**4/12 - h**3/3 + 51*h**2/2 + h - 50. Let d be z(0). Is 101/2 smaller than d?
True
Suppose -3*l - 12 = -2*d, -5*d - 2*l = -2*d + 8. Suppose -3*t + 15 = 3*a, 2*t - 4*a - 2 + 16 = d. Is 3/13 less than or equal to t?
True
Let u = 1043/2824 - -2/353. Let z = -65944 - -65942. Do z and u have the same value?
False
Let g(l) = l**3 - 2*l**2 - 2*l - 1. Let o be g(3). Suppose 5*s - o - 15 = -4*z, 0 = -5*z - 5*s + 15. Let t = 585/62 - 8667/682. Is z less than or equal to t?
False
Let z be 2 + (-3)/(132/112). Let j be 1*(-3 + 5 - 115). Let v = 112 + j. Which is smaller: z or v?
v
Let c = -5109 - -35746/7. Is c less than or equal to -18?
False
Let f = -29900 + 25906. Which is bigger: -3998 or f?
f
Let r be 3/(((-2)/3)/(-2)). Let c be (-4)/8 - r/6 - 2. Let u = 1 + -3. Which is smaller: u or c?
c
Let h = 340 - 143. Let c = h + -197.2. Which is smaller: -39 or c?
-39
Let u = -28363 - -13642593/481. Which is bigger: -1 or u?
u
Let d = -734 + 734.27. Let z = -0.029 + 0.029. Which is smaller: z or d?
z
Suppose -37*l - 10521 = -8856. Is -16.7 > l?
True
Let x(f) = -9*f**2 + 7*f + 124. Let n be x(-8). Which is greater: n or -505?
-505
Suppose -3*n - 5*k + 2586 = 0, 898 = n + k + 34. Let b = n - 61555/71. Is 1 < b?
False
Let t = -10052 - -19062. Which is smaller: 9008 or t?
9008
Suppose -10*s - 1 = -11*s. Suppose 0 = 4*z + 3*r + 21, 0*r - 2*r = 2*z + 8. Let l be (2/(-16)*2)/(z/48). Which is smaller: l or s?
s
Let o = -129 + 186. Suppose -9*d + o + 132 = 0. Let v be (-17)/(-6) - d/7. Is -1 at least v?
False
Let g be 1/(-5) - (-45)/100. Let u = 2942/123869 + -4/1277. Let t = -1364/291 + u. Which is greater: g or t?
g
Suppose 2*c + 3*f - 7*f + 16 = 0, -c = -4*f + 16. Let v be c + (7 - 9) + -118. Is v at least -122?
True
Let k be 406/((30 + -6)/(-12)). Is k smaller than 0?
True
Suppose 5 = -2*d - 3*m - 10, 0 = -2*d + 3*m - 33. Let l be (-38)/154 + d/66. Let t(y) = -y**3 + y**2 + y + 1. Let f be t(0). Is f less than or equal to l?
False
Let a be (0 - 24/255)/((-12)/30). Let w = 7/102 - a. Is w >= -1/3?
True
Let i = -7 + 365. Suppose 4*l - 2*b + 1230 = 0, 3*l - 2*b = -i - 566. Let u = -1506/5 - l. Is 5 >= u?
True
Let n = 160 - 140. Suppose -12*u + 8 = -n*u. Let y be 128/(-30) - -2 - -2. Which is smaller: y or u?
u
Let i(v) be the second derivative of -v**4/12 + 7*v**3/6 + 5*v**2 + 224*v. Let b = 16 - 8. Let z be i(b). Is z >= 6/7?
True
Let i be 992/(-2288) + (0 - 6/33). Which is smaller: i or 0?
i
Let w = 22396 - 22396. Which is smaller: 9/916 or w?
w
Let r be 63/6*(-2)/(-3) + (-198162)/22119. Which is smaller: -2 or r?
-2
Let y = -989.4 - -939. Let s = y - -52.9. Which is smaller: s or -4?
-4
Suppose c - 27 = 5*n, 12*c - 13*c = -4*n - 22. Suppose -c*l = -2*i - 7*l + 49, 3*i - 84 = -4*l. Is 21 > i?
False
Suppose -16*o = -84 - 44. Let t be (12/o + -1)/((-2)/4). Are -5/51 and t nonequal?
True
Suppose -2*r - 21 = -29. Suppose r*v - g = 5, 3*g + 14 + 1 = -2*v. Is v smaller than 3/29?
True
Let w = -118 - -118. Suppose -x = 5*t + 674, 0*x + 4*x + 4*t + 2760 = w. Let r = 7640/11 + x. Which is bigger: 8 or r?
8
Let p = 364/519 + -6/173. Which is bigger: p or 0.1774?
p
Let t = 5821 - 5823. Which is smaller: t or -935?
-935
Let y(h) = -h**2 + 121*h - 1308. Let i be y(12). Let r = 4 - 3. Let k be (-2)/(-11) + 0/r. Which is smaller: k or i?
i
Let r be ((-3)/((-405)/(-10)))/(1407/(-42)). Is -1 equal to r?
False
Let p(v) = v + 17. Suppose -15*t + 252 = 3*t. Let h be p(t). Suppose 4*q + h = -n, -2*n + 0*n = 2*q + 20. Is -7 > q?
False
Suppose -2*p = 5*n - 5561, -20*p + 18*p + 5*n + 5511 = 0. Are 2768 and p nonequal?
False
Let w be (-377)/(-13) + -5 + 1. Suppose w - 9 = 8*g. Suppose 3*l = -b - 9, -2*l - g*b - 11 + 1 = 0. Is l less than 3?
True
Let z be 9 - (5 - (-21)/(-5))*10. Which is bigger: -2/4783 or z?
z
Suppose -197*j + 32*j = -1980. Is j < 1?
False
Let q(a) = 20*a + 1458. Let c be q(15). Is c greater than 1762?
False
Suppose -3*w = 2*d - 8*w + 70, 4*d - 5*w = -140. Let n be (-32 - d) + ((-243)/48 - 0). Which is smaller: n or -3?
-3
Let u(x) = x**2 - 11*x - 98. Let b be u(-6). Suppose b*k = -5*k - 18. Which is smaller: -5/7 or k?
k
Let z(i) = -6*i**2 + 2*i + 12. Let j be z(-6). Let w = -376 - j. Let b be 6 + 273/(-49) + w/14. Which is smaller: -52/5 or b?
b
Suppose -5 = -4*n - 2*d - 19, n = 5*d + 24. Let p be (18/12)/(2/4 + n). Let x be (22/20 - p/(-5))/1. Do x and 1.5 have the same value?
False
Let g(o) = -o**3 + 5*o**2 - 8*o + 13. Let h be g(4). Let b be (-6)/(-18)*h*(-4 + 1). Suppose 0 = -j + b*j - i - 7, 4*j = 4*i + 20. Is j < 17/6?
True
Suppose 4*d = -s + 23 - 30, -10 = d + 3*s. Which is greater: 3044 or d?
3044
Let t be (-100)/(-35) + (-4)/(-28). Suppose o = -t*d + 119, 121 = 3*d - o - 0*o. Let v = 60 - d. Which is smaller: v or 19?
19
Suppose -5*f - 21 = 2*w - 3*w, -3*w - 3*f = -99. Let c be w*((11 - 6/2) + -3). Let n = c - 95. Is 60 != n?
False
Let y be (-6)/(-15) + (-8)/70. Let a(t) = 4*t + 318. Let o be a(0). Let h = 317 - o. Is h bigger than y?
False
Suppose -2*w = -4*g + 6, -6*w = -11*w - 5*g - 75. Let z be (-58)/18 - (w - -6). Is 1 at least as big as z?
False
Let q = -6483 - -6448. Does q = 111?
False
Let i = 4.6 - 1.8. Let f = i + -2.98. Let g = -22.8 - -23. Is g less than f?
False
Let w = 0.121 + -71.121. Let k = w + 86. Is k greater than or equal to 2/29?
True
Let s be 27/36 + (-6380)/16. Which is smaller: -400 or s?
-400
Let z(c) = -11*c**3 - 97*c**2 + 12*c - 53. Let q be z(-9). Is q greater than -9584?
True
Suppose -278 + 203 = -5*h. Let k(z) = z**2 + z + 2. Let t be k(5). Let u = 46 - t. Do u and h have different values?
True
Suppose 3*a + 48*z - 53*z = -18, -2*z + 11 = -5*a. Is -1/1028 at most a?
False
Suppose -10 + 1 = -3*t. Let y be 3*1/3*t/(-582). Let v = 57/1649 + y. Which is smaller: v or -1?
-1
Let w be (3/(-6))/((-60)/102825). Which is greater: w or -0.1?
w
Let d = -18735 + 56542231/3018. Which is greater: d or 0?
d
Suppose 0 = -0*c - 4*c - 4*r + 12, 4*c - 4*r = 52. Let n(a) = -a**3 + 7*a**2 + 7*a + 18. Let l be n(c). Let p be (-106)/(-10) + 2/5. Which is bigger: l or p?
p
Let t = -4 - -7. Suppose -2*y - 22 = -2*d, 0 = 5*y - 10*y + 2*d - 40. Let m be ((-16)/y)/(2/9). Is m equal to t?
False
Let m = -189.3 - -1.3. Let r = m + 191. Is r <= 18?
True
Let b(z) = -18*z - 702. Let u be b(-32). Let k(q) = -q - 126. Let x be k(0). Is x > u?
False
Let v = -16 - -26. Let t = 10 - v. Suppose z = -t*z + d - 2, 4*d + 8 = 0. Is -10/3 not equal to z?
True
Suppose n = 4*n - 4*z - 200, -4*n + 2*z + 260 = 0. Let h = n - 63. Which is smaller: -71 or h?
-71
Let p = 780710/83 - 9406. Suppose 0 = 3*c - 3*b + 18, -c = b + 3*b - 19. Which is smaller: c or p?
c
Let y = -196 + 72. Let s = -121 - y. Is s less than 3?
False
Let r(v) = -9 - 3*v + 3 - v**3 + 1066*v**2 - 1060*v**2. Let p be r(5). Suppose -2*h + h - 2*c = 5, -3*h - 45 = -p*c. Is h at least as big as -13?
True
Suppose -7*j - 164 = 81. Let h be (-8)/28 - (7500/j)/1. Is 213 at most as big as h?
True
Let w be 2/13 - (2/8)/((-572117)/(-352436)). Which is smaller: -1 or w?
-1
Let f(y) = 13*y - 1. Let t be f(2). Let a be (-6153)/36*3*1. Let q = -513 - a. Is t greater than or equal to q?
True
Suppose 3*r - 16 = c, 341*c - 338*c = 4*r - 33. Which is smaller: r or 1791?
r
Suppose -6*p - 55 + 19 = 0. Let l(v) = v**3 + 5*v**2 + 4*v + 1. Let f be l(p). Does -58 = f?
False
Let p be (5/(-9771))/((-430)/1548). Is p bigger than 0?
True
Suppose 0 = -v - 4*v + 10. Suppose w - 125 = -20. Let s be ((-2)/20)/(1 + (-111)/w). Is s <= v?
True
Suppose 4*k + 7*k + 66 = 0. Let g(m) = 29*m + 175. Let a be g(k). Is a != 2?
True
Let f(k) = 2*k**2 - 7*k - 42. Let i(m) = -3*m**2 + 14*m + 80. Let d(s) = 5*f(s) + 3*i(s). Let q be d(-10). Is q < 62?
True
Let q = 5916 + -9854. Which is smaller: q or -3939?
-3939
Suppose 3*w - 57 = 3*r, -3*w - 8*r + 73 = -13*r. Which is bigger: -30.8 or w?
w
Let h = -4537386 + 77103255/17. Let r = h + 1901. Is 0 <= r?
True
Let x = -251 - -383. Let n = x + -134. Which is smaller: n or 0.032?
n
Let c = 423 + -420. Suppose -4*w = -c*f - 627 + 2, -1047 = 5*f - 4*w. Does -211 = f?
True
Let v = -0.726 + 0.446. Let j = v - -37.28. Whic