a(9). Let z = r - 32. Which is bigger: z or 12?
z
Let k be 6/9*(-12)/76. Which is smaller: k or -10?
-10
Let m(n) = 2*n**2 - 4*n - 1. Let f be m(4). Let q be 170/12 - (-1 - 42/(-36)). Let c = f - q. Is c > -3/8?
True
Let i(t) = -4*t**2 - 27*t + 11. Let r be i(-7). Are r and -2 equal?
False
Let u be 12/9*(-9)/2. Let r be ((-594)/9)/(u/4). Let o be -3 + r/16 + 1. Which is bigger: o or 2?
2
Let l = -0.5 - -0.6. Let k = 13 + -20. Let a be (-19)/k + 2/7. Is l equal to a?
False
Let q(o) = -o**2 + 8*o - 20 + 15 + 0*o. Let m be q(5). Suppose -18 + m = 2*v. Is v <= -3?
True
Let k be (3/(-2))/(15/(-160)). Suppose 2*q + 4 = k. Suppose -8 = -5*b + w, 3*w + 5 + q = 2*b. Is -1/12 != b?
True
Let a be ((-2)/520)/(96/(-1200)). Which is smaller: 1 or a?
a
Suppose 11*g - 8*g = -5*z + 816, 3*z - 822 = -3*g. Is 277 smaller than g?
False
Let u = 4.07 - 0.07. Let d = 3.44 - -0.86. Let l = d - u. Is 1/2 greater than or equal to l?
True
Let d be (0 + 2 + 2 + -5)*404. Which is smaller: d or -403?
d
Suppose -5*i = -2*d - 44, 3*i + 3*d - 17 = 22. Let p be 32/3*(-15)/i. Let a be (p/20)/(1/15). Which is smaller: a or -14?
-14
Let z be 317/(-9) + (-16)/(-72). Let f be ((-10)/(-15))/((-2)/(-42)). Let y be (-41)/15 - f/z. Is y at least as big as -3?
True
Suppose -29*b = -24*b + 315. Which is greater: b or -64?
b
Let j = -110 + 113. Is 7 >= j?
True
Let j = 35 + -35.19. Let c = 0.79 + j. Which is bigger: c or 1/3?
c
Suppose -5*a - 25 = -5. Let n = a + -1. Let i be (-34)/(-6) - n/(-30). Are i and 7 unequal?
True
Let v = -292 + -193. Is v at least -485?
True
Let n = -12.07 - -12. Let l = n - -6.07. Which is smaller: l or -2?
-2
Let h = -2767 + 24301/9. Is -68 bigger than h?
False
Let i be (17 - 10) + -9 + 2. Which is greater: 2/119 or i?
2/119
Suppose u = -g + 96, 5*u - 2*g + 156 = 664. Does 100 = u?
True
Let f = 4 - 6. Let d be f/7 + 8/(-14). Let n(b) = 2*b - 14. Let j be n(6). Is d smaller than j?
False
Suppose 0 = 5*f - 16*f - 396. Is -2/3 at most f?
False
Let x = -18708/47 + 398. Is x greater than 1?
False
Let l = 89/24 + -15/4. Let y be -96 + (0 - 1 - 4). Let z = y + 101. Which is bigger: l or z?
z
Let u = -930.3 - -929. Which is smaller: u or 26/5?
u
Suppose u + 4*z + 20 = 4, 3*u = 5*z - 31. Let s be (-22)/(-6)*u/(-4). Suppose 0 = -5*b + 3*i + i - 33, -3*i + s = -b. Is -4 at least as big as b?
True
Let v(h) be the second derivative of -h**3/2 + h**2/2 + 8*h. Let y be v(-1). Suppose y*r - 3 = 53. Which is smaller: 13 or r?
13
Let x = 96425/21351 + -149/33. Is 0 > x?
False
Let d = -17 + 19. Suppose d*w = -k + 4, 21 - 5 = 4*k. Suppose p = 2*n + 8 - 2, w = 4*p. Which is bigger: n or -2?
-2
Let b = -47/20 - -3/20. Let h(n) = -2*n - 25. Let v be h(-11). Are b and v equal?
False
Let k be ((-1)/2)/(6/4). Let d = 0.004 - -12.996. Let w = -13.8 + d. Is k equal to w?
False
Let h = 1550/11 - 44686/319. Is h >= 1?
False
Let o(v) = -5*v**2 - 14*v + 3. Let a be (-4*(-15)/20)/(-1). Let b be o(a). Which is smaller: b or -20?
-20
Let s = 261 - 260. Are s and 15/122 unequal?
True
Let o be ((-4)/30)/(156/(-27) - -8). Which is smaller: o or 0.1?
o
Suppose 0 = 3*o + 2*d - 258, -8*o + 4*d - 76 = -9*o. Is o at most as big as 92?
True
Let f(s) = -s**2 - 50*s - 57. Let i be f(-49). Let x be 0 + 0 + -10*1. Is x at most i?
True
Let u = 0.03 - -0.01. Let j = -50 + 50. Do u and j have the same value?
False
Let n be -1 - ((-23)/21)/1. Let s(g) = -g**3 - 3*g**2 + 2*g - 7. Let m be s(-4). Let u(o) = 3*o - 2. Let c be u(m). Which is greater: n or c?
c
Let n(z) = z + 20. Let x be n(-7). Suppose 0 = 12*m - x*m. Suppose 2*a = -0 + 6. Is m > a?
False
Let f = -100.5 + 90. Let z = f + 8.5. Is z equal to 18?
False
Let v be (1 + 14/(-6))/((-17)/51). Suppose 132 = 8*n - 4*n + v*y, -3*n - 2*y = -103. Which is smaller: 38 or n?
n
Let d = 326 + -330. Does d = -5?
False
Let b(g) be the second derivative of -g**6/120 - 7*g**5/30 - g**2/2 - g. Let i(r) be the first derivative of b(r). Let w be i(-14). Which is smaller: w or -2?
-2
Let u = -1.5 - 0. Let k = 14 - 15. Which is smaller: k or u?
u
Suppose 0*p + 13*p = 2*p. Is p greater than or equal to -1.07?
True
Let w be (-2)/(-8)*(-4)/(-14). Let t = -756 + 755. Are w and t nonequal?
True
Let t = 1/992 + -2111/125984. Are 0 and t nonequal?
True
Let a be (-66)/(((-8)/(-10))/4). Let q be 3/12 + a/(-24). Which is bigger: q or 16?
16
Let w be 9/(-6)*(-8)/6. Let z = 8 - w. Let c = z - 6. Is c less than 2?
True
Let x(k) = k**2 + 5*k - 4. Let c(y) = y**2 + 6*y - 4. Let m(n) = -4*c(n) + 3*x(n). Let l be m(-8). Which is smaller: 13 or l?
l
Let k = -10066097 - -10166761509/1010. Let v be 2016/1010 - (-4)/(-2). Let w = k + v. Do w and 5 have different values?
True
Let q be -2 + (-8)/(-2) + -2. Let m be 11/(-5 + 2 + 9). Is q not equal to m?
True
Let b(z) = 10*z - 220. Let w be b(22). Let x = -589/3404 - -6/37. Is w smaller than x?
False
Let l = -88 - -52. Let j(a) = -5*a**2 - 18*a - 2. Let m be j(-5). Which is smaller: m or l?
m
Let i be (145/20)/((-6)/8 - -1). Which is greater: i or 1/2?
i
Let q = 0.626 + -0.226. Let o = -13.2 - -6.1. Let u = o + 7. Is u > q?
False
Let d = 8/29 + -3/116. Is d at least -0.035?
True
Let i = 1 - 1.3. Let v = -4 + -2. Is i at least v?
True
Let s = 23.12 - 0.12. Let c = s + -19.1. Let n = c - 4. Is 1/3 at least n?
True
Let w = 46 + -57. Let l(q) = -q**3 - 12*q**2 - 11*q - 5. Let s be l(w). Is -5 less than s?
False
Let z(s) = 5*s - 19. Let m(q) = 3*q - 9. Let l(t) = -7*m(t) + 4*z(t). Let o be l(-13). Which is bigger: 3/19 or o?
3/19
Let z = -140 - 33. Are z and -173 equal?
True
Let t = -207 - -208. Let p = 618/1235 - 12/65. Are p and t unequal?
True
Let j = -190 - -191. Let f = 132146/95 + -1391. Is j smaller than f?
False
Let h = -0.7 + 0.72. Let t = 8 + -7.87. Let y = t - -0.87. Is h smaller than y?
True
Suppose -4*f + 2*d = 10, 0 = -2*d - 3 - 3. Let n be (0 - -1)*f + 3. Is 0 equal to n?
False
Suppose 5*p - 20 = 0, 2*h - 13*p + 14 = -8*p. Let i(g) = g + 1. Let y be i(-7). Let q be ((-3)/y - 2)*-2. Is q greater than or equal to h?
True
Suppose -4*o - 2*z - 23 = -z, -o - 5*z - 20 = 0. Let t = 1 - -1. Let u be (t/o)/(54/30). Which is smaller: u or 1?
u
Let k = 4.67 - 63.57. Let j = 59 + k. Which is bigger: 23/2 or j?
23/2
Suppose -2*j = 2*c - 3*j - 3, 1 = j. Suppose 4*f - 3*f + v = -13, 0 = c*f + 4*v + 26. Suppose 2*k - 3*k - 12 = 0. Is k greater than f?
True
Let m = 1 - 5. Let j = 29 + -27. Suppose 6*z = -j*z - 48. Which is smaller: m or z?
z
Let k = 27 + -38. Let q(w) = -3*w - 2 + w + 17 + 3. Let v be q(15). Which is bigger: k or v?
k
Let r = -22 + 45. Suppose 0 = -2*u - g - 10, -5*u - 2*g - g = r. Let p = -10 + u. Which is smaller: p or -16?
p
Let n(z) = -2*z**2 + 29*z + 105. Let q be n(-3). Is -6/347 smaller than q?
True
Let o(l) be the second derivative of 3*l**2 + 5/12*l**4 + 0 - 6*l - 1/20*l**5 + 5/6*l**3. Let m be o(6). Which is bigger: 2/43 or m?
2/43
Suppose b - 71 = -2*k, -2*b + 2*k = -114 - 58. Let h = b - 161/2. Is h at most 34?
True
Suppose -5*n - 2*n = 0. Let s be (1 + n)/(-10)*5/(-2). Are s and 6 nonequal?
True
Let f = 858/17 - 51454/1037. Is f >= 2?
False
Suppose p - 3*t - 9 = 0, 3*p = p - t - 3. Is p smaller than 2/825?
True
Let c = 1282 - 737. Are c and 545 non-equal?
False
Let g = 14 - -5. Suppose -9 - g = 7*c. Is c equal to -18/5?
False
Let h(l) = 4*l**2. Let a be h(-1). Suppose 4*r + 4 = 0, 20 = a*o + 4*r - 0*r. Let f = 0 - o. Are f and -5 non-equal?
True
Suppose -8 = -6*m + 2*m. Is 13/8 less than or equal to m?
True
Let c = -260 - -259. Which is bigger: -1.98 or c?
c
Let h be (-108)/(-7) + (-52)/(-91). Which is bigger: 15 or h?
h
Let m = -85 - -64. Let i = m + 19. Which is smaller: -14/17 or i?
i
Suppose 0 = 3*i + 6*v - 2*v + 344, -i - 114 = 2*v. Is -116 equal to i?
True
Let a = -15.3 + 12.3. Let v = -11 - a. Which is smaller: 1 or v?
v
Let r = -42.7 - -41. Let j = r - -1.8. Let b = -11 + 12. Which is greater: b or j?
b
Let i be (-1)/(8/1104*6). Do i and 5 have the same value?
False
Suppose -116*i - 1358 = -123*i. Is 194 at least as big as i?
True
Let i = -904809/260 - -17392/5. Let y = i + 18/13. Suppose -8 = -2*b, -2*b + 44 = 2*j - 0*j. Is y equal to j?
False
Let z(c) = 20*c**2 - c - 2. Let n be z(-2). Suppose 0 = -5*p - 70 - n. Let u be p/20*(-2)/(-3). Is 1/8 > u?
True
Let s = -0.026 - -25.026. Let d = -29.4 + s. Let f = 3.4 + d