 k(g) = 3*g. Let t be k(3). Suppose 3*z - t = 3. Let o(c) = c**3 - 5*c**2 + 5*c - 6. Let a be o(z). Is -2 bigger than a?
False
Suppose 6*l - 11*l + 150 = 0. Suppose -l - 6 = 2*o. Which is greater: -17 or o?
-17
Let f be -5 - -2 - ((-540)/39)/4. Let p(u) be the second derivative of u**4/12 - u**2/2 - 5*u. Let i be p(-1). Is f != i?
True
Suppose 11*b = 6 + 5. Let a be -6*30/(-117) - b. Which is smaller: a or 1?
a
Let x = 8120 + -89234/11. Which is bigger: 1 or x?
x
Let d = -417/6685 + 1/191. Let t(a) = -a**2 + 8*a - 23. Let u be t(8). Let c = 22 + u. Is c < d?
True
Let r = -431 + 455. Let c = 90 + -56. Let f = c - r. Is f bigger than -0.1?
True
Let k = 12 - 6. Let z be 2/k - 56/(-12). Suppose 5*u = d - 19, d + 2*u + z = -u. Are 1 and d unequal?
True
Let v = -113950/6357 + 233/13. Which is smaller: v or 1?
v
Let v be 68/6 + (-10)/(-15). Let j = -20 + v. Let q be 2/j + (-9)/12. Is -7/6 at least q?
False
Let k(x) = -x**2 - 15*x + 33. Let z be k(-17). Let l be (-21)/(-18) + z + 2/(-3). Is -2 bigger than l?
False
Let h = 1.2 - 0.2. Let f = 6 + -4. Let l = f - 1.9. Is l greater than or equal to h?
False
Let m = -460/1989 + 2/221. Is m less than -4/19?
True
Let l = 81 - 66. Suppose 5*z - 3*c - 6 = 3, -5*z + 5*c = -l. Is z bigger than 1/61?
False
Let w be (-15)/(-105)*(0/(-7) + 7). Let y = 17/33 + 277/231. Are w and y equal?
False
Suppose -3*l = -4 + 1. Let z be (1 - l) + -2 + 0. Let k = -11791/8415 + 2/1683. Is k not equal to z?
True
Let o be 9/12 - 45/12. Let c be ((-2)/o + -1)/14. Which is smaller: c or -1?
-1
Let x(d) = -d**2 - 6*d + 7. Let j be x(-7). Suppose j = 2*w - 7 + 9. Which is smaller: -4 or w?
-4
Let c = 435 - 431. Is 0.24 less than c?
True
Let c = 32 - 39. Let p(x) = 7*x + 43. Let k be p(c). Is k smaller than -10?
False
Let w be (-2)/(-80)*(6 - 49/14). Suppose -j = -5*y - 19, -4*j + 7 = -3*j - y. Suppose j*z = -0*z. Are z and w nonequal?
True
Let v be -11 - (-1432)/104 - 8. Is v at most -5?
True
Let n = -0.007 - -64.007. Is n at most as big as -1?
False
Let r = 26 - 35. Let k = 24 + -41. Let y = r - k. Is 7 at most y?
True
Let a = 0 - -1. Let j(t) = -4*t + 27. Suppose 0 = 2*u - 12 - 2. Let n be j(u). Is n bigger than a?
False
Let p = -66 + 42. Let a be (p + 21)*(-4)/(-3). Which is smaller: a or -5?
-5
Let j = 26 - -298. Do j and 0.1 have the same value?
False
Suppose 0*t - 4*w + 8 = -3*t, 5*w = -t - 9. Let l = t + 4. Is l at least -1/24?
True
Let t = -298296/37 + 8062. Suppose -3*k + 1 = l + 15, -k = 3*l + 2. Which is bigger: t or l?
l
Let m be ((-16)/(-120))/((-3)/(-175)). Let t = m + -1628/207. Is t >= 0?
False
Suppose 8*s - 3*s + 60 = 0. Let f = 22 + s. Suppose -f = 4*h - 5*i - 47, -h - 22 = 5*i. Is 2 less than h?
True
Suppose -25*t + 624 = -9*t. Let p = t + -45. Is p greater than -4?
False
Let d = -6/11225 + 27844/10091275. Is d < 1?
True
Let a be 5/(-45) - (-1 + (-344)/18). Which is smaller: a or 19?
19
Let j be (245/(-225) + 1)/(10/25). Is j smaller than 1?
True
Let c be (1/7)/((-4)/965348). Let b = -34534 - c. Let i = b + 57. Which is greater: i or 0?
0
Let n = 101/154 - 8/11. Are -1 and n nonequal?
True
Suppose -8 = -52*i - 8. Is 9/169 greater than or equal to i?
True
Let z = -0.02 - -25.02. Let c = z + -25.12. Which is smaller: 0.1 or c?
c
Suppose -5*s + 0 + 15 = 0. Suppose -5*b - 40 = -3*n, -7*n - 5 = -3*n + 5*b. Suppose -n = -5*f - 0. Which is smaller: s or f?
f
Let m = 7.08 + -7. Let w = 0.92 + m. Let q be -3 - (0 + 46/(-14)). Are w and q unequal?
True
Let j be 3064/12306 + 7/(196/8). Let q = j - 2/1465. Is 0 less than or equal to q?
True
Let o be (14 + 0)*(1 - 17/4). Does o = -46?
False
Let w be (-3)/(-2 + (-10)/(-8)). Suppose -k - 4*k - 40 = 0. Let f(d) = -d - 3. Let m be f(k). Is m > w?
True
Let t = 971684 - 16525413/17. Let j = t - -399. Is -1 smaller than j?
True
Let y = -13 - -18. Suppose 28 = 2*p - 5*w - 6, 3*p = -y*w + 26. Let h be 8/12 + (-8)/p. Is 0 at least h?
True
Suppose w = -u - 4*u + 5, 0 = -w + u + 5. Suppose -2*t - 9 = -w*t. Let r = 10 - t. Are 8 and r nonequal?
True
Suppose -4*y + 3*c - 16 = 19, -5*c - 35 = 5*y. Let s = -6 - y. Which is bigger: 6/7 or s?
s
Suppose -2*z - 358 = 3*d - 8*d, 0 = 4*d - 3*z - 285. Let n be 69 - 8/12*-3. Which is greater: n or d?
d
Let r = 1669246/659 - 2533. Are -1 and r nonequal?
True
Let u = 2 - 5. Let t = -3 - u. Let g = -1.24 - -2.54. Do t and g have different values?
True
Let q = -3/10 + 1/6. Let c = 1/120 + q. Is -1 less than c?
True
Let v be (12 + -9)*(-12)/45270. Is v at most 1?
True
Let a(i) = -i**2 - 9*i - 8. Suppose 5*t - 3*r + 0*r + 36 = 0, 5*t + 38 = 4*r. Let z be a(t). Suppose 0*g + z = -s - 4*g, -25 = 5*g. Which is bigger: s or 11?
11
Suppose 37*r - 32*r - 2250 = 0. Is 449 less than r?
True
Let s = 23 - -33. Let q be ((-2)/7)/((-4)/s). Let j = q - 4. Is 2/5 greater than j?
True
Let f = 3.28 + -3.38. Which is greater: 0.053 or f?
0.053
Let o = 11840/7 - 1692. Suppose -3*j = -5*j - 2. Let t be 1*(1 + j*3). Which is smaller: o or t?
t
Let c = -19 + 18.98. Let w = -0.68 + c. Suppose f = 2*g + 1, 4*g + 11 = -0*f - f. Is g > w?
False
Suppose -20 = 5*w + 3*m, 4*m + 20 = w + 1. Which is smaller: 1/60 or w?
w
Let t = 42.74 - 42.74. Let m = 3.9 - 0.4. Which is smaller: m or t?
t
Suppose 3*o - 4*o - 2*c + 3 = 0, 0 = -o - 4*c - 7. Let g = 9 + -5. Suppose -50 = -4*n + 2*z - 10, -2*z + 56 = g*n. Is n > o?
False
Let c(m) = -132*m**3 - m**2 + 1. Let t be c(-1). Is 134 bigger than t?
True
Suppose -26 = -5*m + 4*v, -5*m = -2*m + 5*v - 23. Which is greater: m or 15?
15
Let q = 426/7 + -61. Let z = -37 + 53. Let a = -15.9 + z. Is q smaller than a?
True
Let x(o) = 3 - o + 0*o - 6 + 0. Let a be x(-6). Let q be ((-2)/6)/(a/(-45)). Is 5 at most as big as q?
True
Let w be (3/(-4))/(20/8). Let a = -476 - -475. Is a > w?
False
Let t = 12 - 19. Let f = -43 - -23. Let g = f + 19. Is g <= t?
False
Let h(i) = -12*i**2 - 10*i - 3. Let f be h(5). Which is bigger: -354 or f?
f
Let l(h) = 3*h**3 - h**2 + 2*h - 1. Let w be l(1). Let v = 0.28 - 14.28. Let m = -14 - v. Which is bigger: m or w?
w
Let s be (-4)/8 - 3/2. Let j = -3 - -1. Are j and s nonequal?
False
Let q = 46 + -67. Let r = -23 - q. Which is smaller: r or 0.03?
r
Suppose 0 = 4*y + 7 - 27. Suppose -m - 19 = -6*u + 3*u, -2*u - y*m = -41. Let w be (-15)/u - (2 + -4). Does w = 1?
False
Let w = 8.36 + -7. Let k = -1.3 + w. Which is bigger: -0.1 or k?
k
Let g = 0.9474 - -0.0526. Let u = 9 + -1. Let c = -6 + u. Is g equal to c?
False
Let h = -22 - -38. Let f = -4359 + 4377. Is f equal to h?
False
Suppose -10*w + 122 = -28. Which is bigger: 0 or w?
w
Let t = -200.34 + 200. Which is greater: -2 or t?
t
Let y = -0.79 + -0.11. Let f = y - -1. Let j be (6 - 9 - -8)*(-3 + 1). Does f = j?
False
Let z = -1082 - -1087. Suppose 0 = -3*i - i + 8. Which is smaller: i or z?
i
Let q be ((-126)/105)/(-1 + 46/40). Let w be 7/12 + ((-8)/(-3))/q. Is w > -13?
True
Let s = 915 + -633. Let f = s - 3100/11. Let v = -1 + 3. Is v <= f?
False
Suppose -22670 = -3*w - 4*u, 0*w - 15106 = -2*w + u. Suppose -3*a - w = 5*s, 5*a = -3*s + a - 4528. Let h be (-2)/(-11) + s/88. Is -17 at most h?
True
Let m(b) = 4*b**2 - 36*b + 55. Let o be m(6). Suppose -2*a = -6*a - 68. Do a and o have the same value?
True
Suppose 4*y = 5*h - 7 - 10, -4*y + 4*h = 12. Suppose u = -y*g + 1 - 6, -g - 16 = -4*u. Let m(r) = -r**3 + 19*r**2 - 4. Let a be m(19). Is a equal to g?
True
Let w = 17 - 11. Let f(g) = 9*g + 3. Let r be f(3). Suppose 6*x = x + r. Is x < w?
False
Let q be (-2)/14 + 27/(-189). Let c = 40 + 53. Which is greater: c or q?
c
Let d = -0.5757 - 0.0243. Are d and 9 unequal?
True
Suppose 99 = p + 10*p. Which is smaller: p or 14?
p
Let y = 1 - 1.05. Let x = y - 2.95. Let z = 0.276 + -0.176. Does z = x?
False
Let x = -73 + 109. Let h = x - 36. Are -0.8 and h nonequal?
True
Let c = -3 + 3.02. Let m = -313.2 + 313. Is m < c?
True
Suppose -15*s + 84 - 24 = 0. Which is smaller: 43/10 or s?
s
Let c = 11 - 19. Let b = 18 - c. Let q be b/(-6) - 22/33. Is q not equal to -6?
True
Suppose -r - 3 + 1 = 0, -x + 17 = 3*r. Suppose 3*d - x = 4. Which is bigger: d or 8?
d
Let s be (-30)/165 + (-174)/11. Let b = -12 - s. Is 5/2 at least b?
False
Let m = 30 - -1. Suppose 3*c = -3*t + 9, 6*c = 3*t + c + m. Let u be t - ((-9)/(-3) + -1). Is u <= -2?
True
Let j(t) = 2*t + 13. Let q be j(-4). Suppose -3*n =