5*n + 15. Is a at most 26/19?
True
Let u be (-594)/81 - 4/6. Suppose 3*c + 11 = 2*v, -3*v + 23 = -4*c - 2*v. Let r = c - u. Which is smaller: r or 1/4?
1/4
Let g = 24662/9 + -68683688/25065. Which is bigger: -1 or g?
g
Let q(p) = p**3 - 2*p**2 - 2. Let s be q(0). Let v be -2 + s + 20584/5236. Let a = -1/374 + v. Which is greater: -1 or a?
a
Suppose 0 = -31*i + 26*i. Suppose i = c - 10 + 5. Suppose -17 = -c*q - 2. Is 4 at most q?
False
Let j = -1/200 + 109/31800. Is -1 at most as big as j?
True
Suppose -5*s = -10 - 5. Suppose 0 = -4*h + 2*t - 10, s*h + t - 5 = 2*h. Let z be 2 + 1/((-6)/14). Which is bigger: h or z?
h
Let d = 83 - 81. Suppose -5*s - 61 = -x, d*x + 7*s - 136 = 3*s. Which is smaller: 64 or x?
64
Let z(k) = -2*k**3 - 6*k**2 + 11*k + 10. Let l be z(-4). Which is bigger: -42/13 or l?
l
Let v = -127 - -170. Let a = 117 + -75. Is a less than or equal to v?
True
Let w be -195 + -42 + (-3)/1 + 1. Which is smaller: -241 or w?
-241
Suppose 18*a + 33 = 15*a. Suppose -5*i + i = 40. Which is smaller: a or i?
a
Suppose 100 = n - 320. Let k be (16/6 - 0)/(n/90). Let r be -1*-1*1*2. Are k and r equal?
False
Let g be (-2 + 5/3)*3. Let o be 140/(-176) - g/4. Suppose 268*x = 267*x. Which is greater: x or o?
x
Let l = -37.3 - 11.7. Let f = l + 46.9. Let s = f - -1.5. Is s <= 0.2?
True
Suppose -8*z = 22 + 42. Let v be (-2)/z*(-28)/(-49). Which is smaller: v or 1?
v
Let w(u) = 2*u - 12*u + u**2 - 6*u - 19. Let m be w(17). Let y be (6/16)/((-6)/28). Is m at most y?
True
Let i = 75571 - 234194527/3099. Which is smaller: i or -1?
-1
Let x be (2/4)/((-2)/4). Let u be -3 + 10 + -4 + 3. Let z be 4/1 - 28/u. Is z > x?
True
Let q(l) = -l**3 + 9*l**2 + 7*l + 29. Let h be q(10). Which is greater: h or -15/13?
h
Let d = 668.1 - 666. Let a = 0.2 + -0.2. Is d less than a?
False
Suppose 0 = 5*n - 19 - 31. Let k(p) = -p**3 + 10*p**2 - 1. Let d be k(n). Which is greater: 0.3 or d?
0.3
Suppose 2 = -f - w + 4, 0 = 5*f - 2*w - 24. Let v(p) = 2*p**2 - 11*p + 7. Let s be v(7). Let m = s + -51/2. Is f greater than or equal to m?
True
Let q = 1031 - 1035.8. Which is bigger: q or -1?
-1
Suppose 2 = 2*r + 3*l - 31, r + l = 14. Suppose -h + 0*h - r = 0. Suppose -5*q + 40 = -5*k, -4*k + 2*q - 33 = -q. Is k smaller than h?
False
Let q(g) = -3*g + 14. Let p be q(3). Suppose p*w - 2 = 3. Which is bigger: w or -15?
w
Suppose 0 = s - 3*b - 2*b + 7, -2*s = b - 8. Let k be 4 - (1 + s) - -2. Let j be (-1)/8*k*3. Is j less than or equal to 1/3?
True
Let a(h) = -h**3 + 9*h**2 - h - 16. Let j be a(7). Which is greater: j or 79?
79
Let i(x) = 3*x + 2. Let u be i(-1). Let g be (-980)/7*u/2. Suppose -2*w + 7*w = -g. Is w less than 0?
True
Suppose 0 = -5*w - 3*r + 1611, -3*r + 1251 = 4*w - 36. Let o = w - 218. Is 107 <= o?
False
Suppose 7*b - 2*b - 20 = 0. Suppose 2*k - b = 4*k. Let p be ((k - 3) + 4)*9. Is p != -9?
False
Let d be (-38)/95 + (-36)/10. Let c be 39*d/(-6) - 3. Is c greater than or equal to 21?
True
Suppose 999*t = 997*t - 96. Are t and -46 non-equal?
True
Let d = 0 - -5. Let r be 20/8*10/d. Suppose 1 = 2*s - v - 3, r*s + 12 = -3*v. Which is smaller: s or 1/15?
s
Let l = -86.76 - -1.76. Let f = 84.7 + l. Which is bigger: f or 0.2?
0.2
Let o(i) = -i. Let j be o(0). Let d(t) = -t**2 + t + 9. Let a be d(j). Suppose 0 = -x + 3*f - 6 + 9, -2*x - 5*f + 28 = 0. Is a not equal to x?
False
Let o be 2/7 - (1 - (-108)/(-63)). Let l = 1444/8279 + 1/487. Which is smaller: o or l?
l
Let k = -386 + 386.44. Is -2 at least as big as k?
False
Let j be (6/9)/(((-21)/(-18))/7). Suppose 2*o = -10, 2*q + 0 = o + 17. Is q not equal to j?
True
Let f be (-4)/(-5)*10/(-4). Let d be f + 6 - -1 - 2. Let w be (-33)/6 + d + 3. Which is bigger: 1 or w?
1
Let l be (-411288)/(-26)*(-1098)/(-36). Let t = 482801 - l. Let s = t - 329. Is 0 at least as big as s?
True
Let j = -168 - -167. Is j greater than or equal to 1/33?
False
Let g = 0.335 - 0.435. Let f = -0.14 + 0.06. Let i = 0.02 + f. Are i and g equal?
False
Let q(a) = a**2 - 4*a - 4. Let w be q(3). Let p = -99 + 97. Which is smaller: w or p?
w
Let s = 0.8 + 0.2. Let c = -27 - -29. Let j = 0 + c. Do j and s have the same value?
False
Let u be (-2 + 0)/((-20)/110). Let i = -6 - u. Which is greater: -18 or i?
i
Let r be (8/2)/((-13)/(-1443)). Suppose -4*v = -0*v + r. Let t be (-12)/4 + v/(-36). Are t and 1 equal?
False
Suppose 0*m + 3*m - 6 = 0. Suppose m*l = -2*l - 480. Let h be l/54*-3*1. Is 7 != h?
True
Let p(w) = -2*w**2 + w. Let n be p(2). Let c = 543 - 551. Do n and c have different values?
True
Let b = 0.02 - 0.12. Which is greater: 65 or b?
65
Suppose 3*u - 20 = 7*u, -4*u - 12 = 4*y. Suppose 0 = -3*w + 5*k - 5, 2*k = 3*w - y*k + 4. Is w less than 1/5?
True
Suppose 0 = 3*f - 4*t + 24, 5*t - 2 = -4*f - 3. Which is smaller: -24/5 or f?
-24/5
Let u be -5 - -7 - (-696)/(-377). Does u = -101?
False
Let w be -4*3/(12/(-7)). Let p(o) = 12 + 71*o**2 - 9*o + 75*o**2 - 145*o**2. Let a be p(w). Is a at least as big as -12?
True
Let b be 4 + (-4 - 84178/61). Let m = b + 1380. Which is greater: m or 0?
m
Suppose -5*t + 3*u - 14 = -10*t, -2*u = -5*t - 1. Let g(y) = -2*y**2 + y. Let m be g(1). Is m > t?
False
Let h be (-2)/(3/(-30)*4). Suppose -2*v + y = -3*y + 16, -2*v = -h*y + 16. Let i be v/12 + (-2)/(-3). Which is greater: -1/21 or i?
i
Let j(s) = s**3 + s**2 + 17. Let w be j(0). Suppose -w = -2*p - 11. Let x = -14 + p. Is x equal to -10?
False
Let c = -1778 + 1926. Which is smaller: -2 or c?
-2
Let x = 62 - 53. Suppose 17*m - x*m - 136 = 0. Which is bigger: m or 14?
m
Let u(z) = z**3 - 7*z**2 - 6*z - 9. Let k be u(8). Let a = 38 + -56. Let v be k/a - 9/(-54). Is v >= 0?
False
Let j be (1 - (-1059)/(-20)) + 1/(-4). Which is smaller: j or -53?
-53
Let q(y) = y**3 + 14*y**2 + 15*y + 27. Let j be q(-13). Is j <= 8/9?
False
Let o be (6/18 - 0) + 312/(-18). Which is bigger: o or -1?
-1
Let l = 3.4 + 15.6. Let p = -882 - -882.1. Which is bigger: l or p?
l
Let y = 54639/5 + -10890. Is 37 less than y?
True
Let y(t) be the third derivative of -t**5/20 - 13*t**4/24 - 7*t**3/6 - 43*t**2. Let f be y(-5). Is f at most -16?
True
Suppose -97*f + 98*f - 258 = 0. Which is smaller: 257 or f?
257
Let o = 102.67 + 1.33. Let v = 103.989 - o. Is v at least -2?
True
Suppose -3*m - 4*m + 7 = 0. Is m > 39?
False
Suppose 352 = -15*j + 19*j. Let a = j + -964/11. Suppose -o - 2*o - 2*i = 13, 5*o + 2*i + 15 = 0. Which is greater: o or a?
a
Let k(j) = 69*j + 42. Let u be k(2). Are u and 181 equal?
False
Let a = -2.6 + 2.6. Let b = a + 3. Let g = b + 2. Is 0.3 < g?
True
Let n = -149 + 575. Which is smaller: 427 or n?
n
Let k = 0.097 + 0.463. Is -0.1 at least k?
False
Let c = -4783/576 + 119/64. Does -7 = c?
False
Let o = 1.01 + -0.72. Let i = o + -5.29. Is i at least as big as -7?
True
Suppose -12 - 703 = 13*d. Is d bigger than -52?
False
Let w = 61/9 - 6. Is w equal to 2?
False
Let f = -0.058 + 0.258. Let t = 3.2 + -4. Let n = 0.2 - t. Is n at least as big as f?
True
Suppose 5*h + 631 = 3*f, -2*h + 72*f = 73*f + 248. Is h at least as big as -126?
True
Let p(n) = 3 + 10*n - 27*n + 5 + 7*n + 2*n**2. Let l = 2 + 2. Let d be p(l). Is d smaller than -2/109?
False
Let s = 18 - 19. Let f be s*2/((-6)/21). Suppose x = 3*h - 11, 0 = -5*x + 4*x + 2*h - f. Which is bigger: x or -3?
x
Let m be -1*(-1)/(-2)*1. Which is smaller: 1/34 or m?
m
Let t = 117 + -116.932. Let i = t + -0.068. Which is bigger: i or 0.054?
0.054
Suppose 5*r - 17 = 3, 2*r = x + 2. Let z be (-5)/x*64/360. Is z equal to -1?
False
Let i be 3/39 - 3675/455. Let x = -9 + -3. Does x = i?
False
Suppose 0 = -41*s + 21 + 61. Let i = -1 + 0. Let r be 4 - s - (i + 2). Are r and -8 equal?
False
Let w(c) = -2*c - 3. Let k be w(-6). Let m(r) = r**3 - 10*r**2 + 10*r + 1. Let h be m(k). Do h and 10 have the same value?
True
Let y = 31 - 51. Let c(r) = r**3 + 20*r**2 + 24. Let o be c(y). Suppose -o = i - 4*i. Is 10 not equal to i?
True
Let d be (9 - 3) + -5 + -5. Let w be -18 - 5/(1 - d). Which is smaller: w or -21?
-21
Let g = -1357/3102 - -9/22. Let v = 65/3948 + g. Does v = 0?
False
Suppose -a + 4*q + 43 = -11, -3*q + 121 = 4*a. Let y be ((-3213)/315)/(15/(-50)). Is a at least y?
True
Suppose 2*n = 24*n + 3542. Is -160 >= n?
True
Let l(f) = f**2 + 14*f + 29. Let h be l(-12). Suppose -17 = -v + h. Do v and 22 have the same value?
True
Suppose -