-316/15 + g. Which is smaller: 0 or c?
c
Let b(p) = -p**3 - 2*p + 5. Let d be b(0). Suppose -4*o + 108 = 5*j, -92 + d = -3*j + 5*o. Let u be (-16)/j - (-48)/(-9). Is u at least as big as -6?
True
Let j = 13.9 - 13. Let f = 0.3 - j. Let b = 0.3 + f. Which is greater: 2 or b?
2
Let w = 2369882331/88246855 - -15/608599. Let c = -135/29 + w. Let i = 429/20 - c. Do -1 and i have different values?
True
Let q = 270 - 131. Suppose -n - 18 + q = 0. Let u be (-1)/(-3) + n/(-264). Which is smaller: 0 or u?
u
Suppose 4*s + 34 = -5*t + 7*t, -2 = s. Is t greater than 92?
False
Let d be 24/132 - 70/(-704). Is 1 smaller than d?
False
Suppose -4*r + 31 = 5*j, -j - 13 = -5*r + r. Is r <= -12?
False
Suppose -3*n = -5*n + 6, a + 5*n - 16 = 0. Let w be (a - -4)*(-2)/(-10). Which is smaller: w or -11?
-11
Let s be -4 - -6 - ((-136)/(-1))/(-2). Let z be ((-10)/s)/(4/(-14)). Let k be (0 - -4)/((-3)/12). Do z and k have the same value?
False
Let p = -10 - -10. Suppose 2*z + 3*z - 15 = p. Suppose 0 = 2*q - z*q. Which is smaller: q or -0.14?
-0.14
Let i(g) = -2 - 3 + 2*g + 11*g**2 + 2. Let t be i(2). Suppose 6*a + 2*o + 27 = 3*a, -t = 5*a - 5*o. Is a bigger than 0?
False
Suppose 0 = -10*r + 3*r + 2653. Let w = r + -791/2. Which is smaller: w or -18?
-18
Let i be -5 + ((-2234)/1784)/((-24)/96). Which is bigger: i or 0?
i
Let i(n) = -117*n. Let l = -5 + 11. Let p be i(l). Let h = p - -27380/39. Which is smaller: 0 or h?
0
Let p = -59 - -53. Let r(v) = -5*v**2 - 32*v - 1. Let n be r(p). Is 11 at most n?
True
Suppose -2*h - 3 - 5 = 2*c, -12 = -5*h + 3*c. Let r = -202569883/385 - -526155. Let v = 2/385 - r. Do v and h have different values?
True
Let d(f) = -f**2 + 11*f - 10. Let a be d(9). Let g be -6 + (2 + 3)*a/10. Which is greater: g or 0.04?
0.04
Suppose 4*g + 49 = -5*r, 4*r + 27 = -4*g - 9. Suppose -j - 56 = 3*u, 8 = u - 6*j + j. Let v = 3 + u. Which is smaller: v or r?
v
Let t = 8920517/238 - 37482. Let y = t - -15/14. Which is bigger: -1 or y?
y
Let c be (-28)/(-84)*-1*3. Let q be (2/(-12))/(22/(-6)). Which is greater: q or c?
q
Suppose 2*y = 6*y - 24. Suppose -2*z - 4 = -y. Do 4/11 and z have different values?
True
Suppose -4*g - o = -0*o + 20, -4*g - 8 = -2*o. Let i(c) = -c**2 - 4*c - 4. Let w be i(g). Suppose -j + 2 = -2*j. Which is bigger: w or j?
j
Let a = -9122378/3548083 - 60/7139. Let d = a - 40/71. Is d less than -4?
False
Suppose -3*u - 3*q = -24, 3*q - 2*q - 26 = -4*u. Let o be 8/u*(-27)/(-18). Let x = o + -2. Which is smaller: 4 or x?
x
Let c be 6/(-8)*(-60)/(-18). Let w = 22 + -17. Suppose 2*z - 17 = -w*n, 0*z + 4*n - 28 = 2*z. Is c < z?
False
Let m(s) = s**3 + s**2 - 3*s - 2. Let g be m(-2). Suppose g = 5*p - 27 + 2. Suppose 3*k = -p*h + 41, 24 = 6*k - 2*k - h. Do k and 1 have the same value?
False
Let q be 0/(3*(-2)/3). Suppose q = 4*n - y - 3, 4*y = -3*n - 1 - 11. Suppose 5*u + 2 - 27 = n. Are u and 3 unequal?
True
Let y be 41/10*(-15)/(-162). Let b = 7/36 - y. Is b at most as big as -1?
False
Let c be ((-8)/(-16))/(2/48*2). Suppose 11*f - 65 = c*f. Does f = 12?
False
Let d = -604 + 574. Which is bigger: -36 or d?
d
Let s = 0.3 + -1. Let k(y) = -3*y**2 - 11*y + 305. Let q be k(-12). Do q and s have the same value?
False
Suppose 3*t - 6 = 2*t - 4*k, 5*k - 1 = 2*t. Let c be t*2*(-5)/20. Is 27 at least as big as c?
True
Let u = -892 + 921. Let d be (-1 + 3)*(-1 - -16). Is u at most as big as d?
True
Let o(v) = -v**3 + 32*v**2 - 58*v - 61. Let s be o(30). Are -9.3 and s non-equal?
True
Suppose -2*r = -4*r - 4*w + 24, -2*w = 3*r - 52. Let z = 28 - r. Is z at least as big as 7?
True
Let p = -3382 - -3571.7. Let b = 208.68 - p. Let z = 19 - b. Which is smaller: z or 0?
0
Let v(l) = -l - 64. Let s be v(8). Which is greater: s or -70?
-70
Suppose 6*s + 5*r + 20 = s, 4*s = 5*r + 20. Let m(c) = 4*c + 4. Let b(l) = -l - 1. Let h(n) = -7*b(n) - 2*m(n). Let q be h(s). Are -1 and q equal?
True
Let w be 472/(-2244) - 12/18. Let g = 18/17 + w. Suppose 2 = 3*s - s. Which is smaller: g or s?
g
Let k = 3/92 - -145/1196. Suppose 3*m + 2*x = 26, -3*x = -5*m + 2*x + 10. Suppose -3*j + 5*y = -2 + 12, 3*y - m = 0. Which is bigger: k or j?
k
Let k = -12/47 - -272/329. Is k < 2?
True
Suppose -3*m = -2*s + 1, -5*s = -3*m - 1 + 3. Let g be m*(-4 + 9/3). Which is bigger: -2/49 or g?
g
Let k = -661.815 + -1.185. Is 1 at least k?
True
Let j(a) = -a + 3*a + 1 + 12. Let h be j(-7). Let n be 1 + -1 + 2/(-17). Is n equal to h?
False
Let b = -431/11732 - -3/2933. Suppose 4*r = -3*i - 19, 3*i = r - 0*r - 14. Is b > r?
True
Let w(z) = 19*z**2 - 6*z + 4. Let f be w(2). Let p = 63 - f. Which is smaller: -3 or p?
p
Let n be 6 + -2 + (0 - 1). Let b(k) = -k**2 - n*k + 0 + 0 - k + 1. Let s be b(-3). Is 2 greater than s?
False
Suppose -u + 0 - 1 = -2*a, -5*a - 10 = -5*u. Let l be (-29)/(-10) - 1/a*9. Let w = -1 + 1.1. Which is greater: l or w?
w
Let r(l) = l**2 - 21*l - 98. Let q be r(-7). Is 95 less than q?
True
Let x = -4 + 4.5. Are x and 0.27 equal?
False
Let o = -115220 + 2189732/19. Which is smaller: 0.1 or o?
0.1
Let o(w) = -4*w**3 - 4*w**2 + 2. Let s(p) = -p**3 - p**2. Let z(u) = o(u) - 3*s(u). Let m be z(0). Suppose 0*q = -q + m. Is 1 equal to q?
False
Let o = 902 + -899. Is 67/22 smaller than o?
False
Suppose 0 = -22*c + 24 - 370 + 38. Let w = 5 - 21. Is w at most as big as c?
True
Suppose -5*l = -4*s - 892, -4*s + 2*l - 442 = 462. Which is smaller: s or -227?
s
Let r(a) = -a**3 - 5*a**2 - 5*a + 6. Let g be r(-3). Let c be g/(-24)*-1*-3. Which is smaller: -1/3 or c?
c
Let i(m) = 4*m**2 - 3*m + 1. Let n be i(-6). Is n <= 163?
True
Let y(l) = l**3 + 7*l**2 - l + 2. Let t be y(-6). Let o be 2 + -1 - t/12. Which is smaller: -4 or o?
-4
Let l = 4024/41261 - 1/1331. Suppose 28 = 6*i - 20. Suppose -2*z = -2*w + i, -w + 7 = -4*z - 0*w. Which is smaller: z or l?
z
Let w be 15/180 + (-2)/6. Suppose -4*a + a = 0. Is a equal to w?
False
Suppose 2*v + 2*v + 4 = -2*t, 16 = -4*t. Is -10/23 smaller than v?
True
Let r = 21618/231469 - 2/5383. Is r smaller than 5?
True
Let f = 283 + -3071/11. Let s(k) = -k**3 - 7*k**2 + 5. Let u be s(-7). Which is greater: f or u?
u
Let k = -881 + 3617/4. Which is greater: 23 or k?
k
Let w(b) = -b**3 + 15*b**2 + 18*b + 10. Let j be w(16). Suppose 3*n + 0*a - 33 = -2*a, 3*n - j = a. Which is bigger: 15 or n?
15
Suppose 52*n = 49*n + 66. Let u(m) = m**3 - 24*m**2 + 46*m - 23. Let y be u(n). Is 21 not equal to y?
False
Let d(v) = -v**3 + 8*v**2 + 20*v + 1. Let o be d(10). Is o greater than -1?
True
Let s = 5759/630534 - 2/5531. Which is greater: s or 1?
1
Suppose -3*n = -3*s - 63, -s + 5*s = n - 27. Suppose n = 9*q + 64. Which is greater: -7 or q?
q
Let q = 33 - 43. Let u = -9.2 - q. Is u greater than 0.2?
True
Let p be 2 - ((-12321)/(-117) + -11). Are -91 and p equal?
False
Let b = -296313/32 + 9261. Which is smaller: b or 2?
b
Let s = -44 + 48. Let j = 0.2 + -2.2. Let x = s + j. Is -2/3 less than or equal to x?
True
Let z = 0.036 + 0.964. Which is smaller: 4.38 or z?
z
Let o(i) = 2*i**2. Suppose 0 = u + 2 - 3. Let q be o(u). Suppose 0 = -5*p - 2*k + 16, -3*k = 7*p - 2*p - 19. Is q less than or equal to p?
True
Let o(q) = -4*q**2 - 7*q - 3. Suppose -w + 5 + 1 = 0. Suppose w*j + 9 = 3*j. Let p be o(j). Is -17 at least p?
True
Suppose 4*t = 5*y - 96, -2*y + 44 + 59 = -5*t. Let q = t - -2. Which is smaller: q or -2/3?
q
Let q be 2*((-2)/4 + 0). Let u be 2 + 4/18 + (-3770)/36. Let b = u - -2051/20. Which is smaller: q or b?
q
Let a(x) = -4*x - 16. Let d be a(-7). Suppose -8*t = -5*t - d. Do t and 2 have the same value?
False
Let i(l) = -l**3 - 5*l**2 + 9*l + 15. Let h be i(-6). Let p be (-6)/12*(2 - -2). Is p smaller than h?
False
Let j = 308 + -310. Let n = 1/281 + -3939/1405. Which is bigger: j or n?
j
Let j be 4/14 - (-30)/(-7). Let n(w) = 4*w**2 - 25*w. Let i be n(7). Suppose -5*k + i = -3*q, -5 - 2 = q - 3*k. Is q >= j?
False
Let i = 10 - 8. Let y be i*6/4*1. Let b be (8/12)/((-8)/(-18)). Which is smaller: y or b?
b
Suppose 15 = -2*n - 2*p + 1, 10 = -5*p. Let f(w) = -w - 4. Let y be f(n). Let k = 12 + -10.9. Is k greater than or equal to y?
True
Let c = -4580/297 + 168/11. Which is smaller: -1 or c?
-1
Let p = 18 - 16. Suppose p*r - r + 10 = 0. Suppose 5*l - 5*s + 36 + 39 = 0, -5*l - 3*s = 35. Are r and l unequal?
False
Let q(i) = i**3 + 2*i**2 + 3*i - 5. Let t be q(4)