v - v = 12. Let k be 16/(-12)*(3 - v). Let a be ((-8)/96)/((-5)/k). Which is greater: 1 or a?
1
Let o be (12192/(-1734))/(-1) - 7. Which is smaller: 0 or o?
0
Let a be (1/(3/73))/((-10)/60). Let f = a + 153. Is f smaller than 41/6?
False
Suppose -4*g + 1519 = -35*g. Which is smaller: -40 or g?
g
Let l = -6261/4 - -130789/84. Let i = l - -60/7. Let y = -8.8 + -0.2. Is y greater than i?
False
Let j be (-99)/308*4*4 - 30/(-6). Let n(u) = u**2 - 5*u - 5. Let c be n(5). Let z be (-74)/(-10) - (-2)/c. Is j greater than or equal to z?
False
Let z(q) be the second derivative of q**3/6 - 7*q**2/2 - 3*q. Let o be z(0). Let t be ((-150)/80)/((-1)/(-4)). Which is greater: t or o?
o
Suppose -3*a = -17 + 167. Is -50 greater than a?
False
Suppose 0 = -13*c + 15*c - 4. Suppose -c = 3*r - 5*r. Which is smaller: r or 1/32?
1/32
Let t(j) = -4*j**3 - 2*j**2 + 3*j - 3. Let i be t(-3). Let u be 14/105*i/4. Suppose y = -3*y + 8. Which is greater: u or y?
u
Let s(h) = h**2 - 18*h + 47. Let o be s(15). Let u be 65/(-30) - 2/(-3). Is o > u?
True
Suppose 4*m + g - 651 = 0, -4*m + 3*g + 111 = -560. Is 164 bigger than m?
False
Let l = -2.29 - 26.81. Let b = -24 - l. Let r = b + -5. Is r bigger than 2?
False
Let p = -52 + 19. Let j = p - -32.83. Is j <= -3?
False
Suppose 0 = -o + b - 4, 2*b = o + 9 - 0. Let n be o/3 + 14/3. Suppose -10 = 4*t + n*a, -4*t = 4*a - a + 6. Is t at least 3?
False
Let b = -57 + 80. Suppose w - b = 17. Is w at least 40?
True
Let y(b) = -4*b**2 + 1. Let l = 9 + 0. Suppose l*q - q = -8. Let j be y(q). Is j at least -3?
True
Suppose -4*v - 7 + 41 = -2*d, -3*d - 44 = -5*v. Is v != 25/4?
True
Let v(b) = b**3 - 8*b**2 + 9*b - 9. Let u be v(7). Suppose -6*m + 4*m + 5*x - 88 = 0, -u*m - 191 = 2*x. Let t = -27 - m. Which is smaller: 11 or t?
11
Let j be 0 + ((-3)/5)/(5/25). Which is smaller: -62 or j?
-62
Let h = 0.39 + -2.39. Let p = -26 - h. Let j = 34 + p. Is j less than -2/9?
False
Let t = 13/780527 + 42368566393/13268959. Let v = 3192 - t. Which is bigger: -1 or v?
-1
Let o = -1181 + 707. Is o < -473?
True
Let i = -0.1251 - 1.8749. Which is greater: 707 or i?
707
Let a(k) = -3*k - 4. Let i be a(-1). Let w be -39 - (3 - 0 - 6). Let p be (0 - 0) + w/168. Which is bigger: p or i?
p
Let v be (-12)/(-1)*(4/12 + 0). Suppose -4*y - 20 = v*d, 3*d + 2*d + 25 = -3*y. Which is bigger: 2/111 or y?
2/111
Let o be ((-22)/(-8))/(11/(-88)). Which is smaller: o or -27?
-27
Let r be (-6)/3 - (-5 + 3). Let h be 0/(r + -3) + -5. Let f = -3 - 0. Is h >= f?
False
Let l be ((-2)/2 - 1)*1. Let t(q) = 9*q + 9. Let f be t(5). Let n = -57 + f. Are n and l equal?
False
Let t = 6 + -8. Let d be (36/45)/(t/(-500)). Let r = -997/5 + d. Which is greater: r or 0?
r
Suppose -604*o = -606*o - 434. Are o and -217 nonequal?
False
Let u = 28269.83 + -28141. Let g = -134.7 + u. Let w = 0.13 - g. Which is greater: -2 or w?
w
Let g = -989772/3575 - 906/275. Let a = 280 + g. Let y = 0.05 - 0.05. Is y < a?
False
Let z be ((4 - 1)/(2/12))/(-1). Let u = z + 22. Suppose 5*h + 3*a - 13 = 0, 3*h + h = -a + 16. Is u less than h?
True
Suppose 9 = -3*c + 3*r, 4*c + 0*c = 2*r - 2. Suppose m + c*m = 2*m. Let v(z) = 8*z**3 - 1. Let t be v(-1). Is t greater than or equal to m?
False
Let b = -351 - -351. Is 2/17 != b?
True
Let f be -44 + 47 + -152 + -1. Is f less than or equal to -149?
True
Let d be ((-365)/146)/(20/(-3)). Let o(x) = -x**2 + 5*x + 7. Let b = 6 - 0. Let h be o(b). Which is smaller: d or h?
d
Let q be (9/(-6))/((-21)/2 + 9). Which is smaller: q or 1/155?
1/155
Let v(q) = 3*q**2 - 4*q + 19. Let h be v(9). Let x = h - 3161/14. Which is greater: 0 or x?
x
Let b(v) = -5*v**2 - v + 1. Let t be b(1). Let u(l) = l**2 + 7*l. Let p be u(t). Let c be ((-1)/(-5))/((-2)/p). Is c > 2/17?
True
Let r = 15478/273 - -205/546. Let y = -77 + 20. Let l = y + r. Is l bigger than -1?
True
Let l be (-16)/15 + 7*(-2)/(-35). Suppose 2*b + 3*b = 20. Suppose -b*j + 2 - 6 = 0. Which is smaller: l or j?
j
Let h = -8.2 - -8. Let s = 0.14 + h. Let m = 2.06 + s. Are 1 and m unequal?
True
Let z(k) = 7*k + 10. Let t be z(0). Which is greater: 8 or t?
t
Suppose -8*r + 4 = -4*r. Let m = -914 - -937. Which is bigger: r or m?
m
Let i be 4*(-3 - 42/30). Which is bigger: -19 or i?
i
Let q(c) = -4*c**2 + 7. Suppose -31*b = -40*b - 27. Let r be q(b). Are r and -29 unequal?
False
Let y = -1124 - -1176. Which is bigger: y or 56?
56
Let i(d) = -d**3 - 6*d**2 - 6. Let o be i(-6). Let f be (24/(-3))/4*o/(-44). Which is smaller: -1 or f?
-1
Let g = -1412 - -1349. Which is smaller: 0.1 or g?
g
Let o be (-36)/(-14)*(-240 - -247). Let p(s) = -10*s**3 - 1 - s - 12*s**3 + 4*s**3. Let k be p(-1). Is o greater than or equal to k?
True
Let b = 2030 - 2031. Which is smaller: b or 0.0028?
b
Let n = -40.4 - -7.4. Is 0 > n?
True
Suppose 13*c - 11*c = 2. Suppose w = 3*k + 11, -2*w + k = -21 - 16. Let t be c*-3 + 55/w. Which is smaller: 1 or t?
t
Let m = -42631/5 + 8415. Which is smaller: -110 or m?
m
Let w = 190 - 201.85. Let m = 0.15 - w. Is 1 at least m?
False
Let z = -28012/19 - -1474. Let x(l) = 3*l + 57. Let b be x(-19). Is z at most b?
True
Suppose 2*f - 2*u = -428, -u = 4*f - 246 + 1112. Let o be (-2 - 1) + f/(-15). Let a = o - 12. Which is smaller: a or -2?
-2
Let n = -51.2 - 11.8. Let x = 62.9 + n. Suppose 4*s = 5*q - 30, -2*s + s - 4*q + 3 = 0. Which is bigger: x or s?
x
Let x = 24 + -6. Let b(g) = -29*g + 7. Let s be b(-2). Suppose -198 = -7*p - s. Which is greater: p or x?
p
Let t be (-4012)/(-168) - -5*(-6)/(-105). Is t > 23?
True
Let h = -12.1 - -2.1. Let l = 34 + -33.98. Let v = 0.12 - l. Is h bigger than v?
False
Suppose -22 + 20 = 4*s - 2*n, 2*s + 16 = -2*n. Is s less than -10?
False
Let k(c) = -c**3 - 20*c**2 + 43*c - 22. Let w be k(-22). Is w not equal to -3/547?
True
Let w = -64 + 66. Suppose -24 = -r - 0*r. Let x be w/(-5) + r/(-15). Does -7 = x?
False
Let w(r) = 2*r**3 - 13*r**2 + 2*r - 6. Let a be w(6). Let i = a - -16. Let s be (4/i)/(18/(-14)). Are -0.1 and s nonequal?
True
Suppose -25*i - 196 = 579. Is i > -35?
True
Let w(t) = -t**2 + 16. Let l be w(0). Let v = 17 - l. Let f be 77/84 - (-3)/(-4). Is f < v?
True
Let y(b) = 143*b**2 + 2*b + 7. Let d be y(-2). Let i = d - 2889/5. Which is smaller: -1 or i?
i
Let y(m) = -m**3 - 15 - 20*m**2 - 8 + 1 + 2 - 20*m. Let x be y(-19). Are x and -12/17 equal?
False
Suppose 0*b - 3*b - 26 = 4*m, 4*m - 22 = 5*b. Let c be (3/(42/(-4)))/(b/(-15)). Is c at least as big as -1?
True
Let q = 453.8 - 454. Is 1/6 > q?
True
Let a be (10/(-4))/(145/58). Which is greater: 16/49 or a?
16/49
Let a be 4/((-16)/(-20)) + 72/2. Does 42 = a?
False
Let b be 2/5 - 4/10. Let m = -1077255560/51 + 21121724. Let y = 934 + m. Is b at most y?
False
Let y = 2.1239 + -0.1239. Is y bigger than 2?
False
Let q be (-152)/(-6) + 4/(-12). Suppose -3*d + 9 = 0, d = 6*s - 2*s - q. Suppose 0 = 4*w - p - p - 4, -w - p + s = 0. Which is smaller: w or 1?
1
Suppose 0 = 12*p + 5*p - 731. Is -3 greater than p?
False
Let q = -0.4 - -0.4. Let n = 0.089 - 0.199. Is n equal to q?
False
Suppose -4*p - c - 3 = 0, -3*p + 5 + 1 = -2*c. Suppose -2 = k, p = -2*v + k + 11 - 63. Is -28 at most as big as v?
True
Let l = -32177/68 + 1885/4. Let a = -4125/232 - -944923/59160. Let p = a - l. Which is smaller: 0 or p?
0
Suppose 2*l = 5 + 1, 4*n = -3*l + 9. Suppose n*q = 3*q + 3. Let k be ((-13)/(-6) + -2)/(-1). Are k and q non-equal?
True
Suppose 8*m - 6*m = -5*v, -4*m - 38 = -9*v. Is 30/11 less than v?
False
Let u(n) = -5*n + 4*n + 7 - 21. Let m be u(-10). Let i be m/(-20) - 123/465. Do i and -1 have the same value?
False
Let q = 22 - 26. Let w be (0 + q/(-10))*(13 + -8). Is 28/9 less than w?
False
Let y be ((-4)/12)/((-3)/549). Suppose -6*o + 13 = y. Suppose -2*w - 9 = 1. Which is greater: w or o?
w
Suppose 3*u - 17 = 13. Let y be ((-56)/44)/(-7) - 46/11. Let z be y/u + 14/10. Is z <= 0?
False
Let c = -391 + 391. Is 76 > c?
True
Suppose 14 = 2*s + 20. Let w = -3 + 2.9. Let t = -0.3 - w. Which is bigger: t or s?
t
Let d = 0.9 + 0.1. Let i(k) = -k**3 - 4*k**2 + 2*k + 5. Let r be i(-5). Which is smaller: r or d?
d
Let c = 82 + -91.1. Let q = c + 7.1. Do q and -3 have the same value?
False
Let g(l) = -l**3 + 7*l**2 - 8*l + 12. Let s be g(6). Is 8/25 at most as big as s?
False
Let h = 336 - 335. Is 395 bigger than h?
True
Let u(h) be the second de