= 7*s + 19. Let g be 0 + 15 + (8 - 8). Is g at most s?
True
Let m be 4*(-15)/96780*2*1. Is 1 at most as big as m?
False
Let g = -256 - -255. Which is bigger: g or -4/3?
g
Let k = 1.05 + 51.95. Let o = k - 76. Let b = -23.1 - o. Which is bigger: b or -7/2?
b
Let v = 92/7 - 261/14. Suppose -3*p = -7*i + 3*i - 69, -4*i = -p + 71. Let h be 94/i - ((-50)/(-18) - 3). Is v greater than h?
False
Suppose 4*y = -4*n + 88, 0*n - 2*y = -2*n + 40. Let k(g) = -g + 6. Let q be k(3). Suppose 0 + n = q*a. Is a smaller than 7?
False
Suppose -4*r = 2*i + 794, 5*i + 1315 = 2*r - 634. Is i greater than -389?
False
Let s(v) = -20709*v**2 + 5*v - 4. Let d be s(4). Let j = d - -3640504/11. Let c = -374 - j. Is c equal to 0?
False
Let p be 10/12 + (-3)/(-6). Suppose -3*d + 0 + 6 = 0. Suppose 12 = 4*n - 5*s + 4, d*n + 5*s - 4 = 0. Which is greater: p or n?
n
Let t = 0.1519 + -0.1519. Which is bigger: 303/7 or t?
303/7
Let w(k) = 6*k**2 - 6*k + 3. Let c be 96/54 - (-6)/27. Let x be w(c). Which is smaller: 17 or x?
x
Let q be (-6)/10 - (-14)/15. Let o(l) = 6*l + 7. Let i be o(-1). Is i < q?
False
Let f(l) = 5*l**2 - 13*l**2 + 5 + 2*l + 5*l - l**3 - 3. Let q be f(-9). Suppose -q - 3 = -4*i + 3*z, 0 = 5*i - 4*z - 30. Which is smaller: i or 3?
i
Let x = 1672 - 922. Which is smaller: x or -2/9?
-2/9
Let q = -245 + 242. Which is smaller: q or -2/11?
q
Suppose -40 = -10*u + 8*u + 3*s, 5*u + 2*s = 62. Which is greater: u or 59/4?
59/4
Suppose -a + 5*a + 2*m = -12, -2*m - 10 = 2*a. Let q be (-196)/42*4/(-42). Is a != q?
True
Let g(t) = 2*t**2 - t - 1. Let b be g(-2). Let d(m) = -2*m**3 + 4*m**2 - m - 2. Let p be d(2). Let w be 18/(-9)*22/p. Is b bigger than w?
False
Suppose 5*v - 23 - 2 = 0. Suppose -v = -2*b - 3*b. Let r = -50 + 50. Which is smaller: b or r?
r
Let h be -1 + 28 + 1 - -2. Suppose -11*p + 94 = 3*j - 7*p, -29 = -j + p. Is h smaller than j?
False
Let l = -45.9 - -41.1. Are 0.4 and l non-equal?
True
Let a(v) = -3*v**2 - 6*v - 5. Let w be a(-3). Let c = w - -13. Which is bigger: -1/2 or c?
-1/2
Let o = 26.1 - 26.1. Are o and 0.002 equal?
False
Let o = -15 - -29. Let y be (-4)/(-16) + (-22)/(-8). Suppose 33 = t + 5*j, 0 = -y*t + 2*j - j + 35. Which is smaller: t or o?
t
Suppose 2*m + 5*p + 13 = 0, -3*m = -3*p + 1 + 8. Let r be ((-12)/30)/(1/10). Is r greater than or equal to m?
True
Suppose -3*h - 5 = -3*r + 1, 0 = 5*r - 4*h - 7. Let m be 1/r + (-119)/(-183). Let s = m - -1/61. Is s <= 0.3?
True
Suppose -4*c + 22 = 2*t, -27 = 6*t - 8*t - 5*c. Which is greater: 4/115 or t?
t
Let k be 4 + (-1 + -1 - -2). Suppose 1 = -x - 2*c + 4*c, 5*c = x + k. Let f = 0 - -1. Is x less than or equal to f?
True
Let a = 73 - 74. Let u be 6/1*5/(-15). Let p be a/6*u - 1. Which is greater: p or -0.23?
-0.23
Let a = 5 + 2. Let k be a/2*(-20)/(-55). Which is smaller: 0.1 or k?
0.1
Let r = 31 - 3998/129. Which is greater: -1 or r?
r
Let n = -4474225/307 - -14574. Is n >= 0?
False
Let d = -0.37 + -0.03. Let q = 0.4 - d. Let m = -0.4 + q. Which is greater: -1 or m?
m
Let b(k) = -29*k + 136. Let o be b(6). Is o greater than or equal to -36?
False
Suppose 10*l - 6319 + 20879 = 0. Which is greater: l or -1455?
-1455
Suppose -4*n = n. Suppose -3*d + 13 + 5 = n. Suppose 9*z - d*z + 9 = 0. Which is bigger: z or -1?
-1
Let p(n) = n**3 + 2*n**2 + 12. Let l be ((-2)/(-5))/((-13)/(-325)). Suppose 0 = 2*q - 4*c - 8, -q + 8*c + l = 3*c. Let x be p(q). Is 13 not equal to x?
True
Let x = -7.3 - -4.4. Let g = x + 1.5. Let p = -13/203 - -255/812. Are g and p equal?
False
Let o = -63.38 + 64. Let t = o - -0.38. Which is smaller: 87 or t?
t
Let w be (3 - 28/4)/1. Let l(v) = -v**2 - 5*v - 4. Let p be l(w). Suppose 3*c + 4*g = -19, c + 0*g - 15 = 4*g. Which is bigger: p or c?
p
Let g(i) = -i**2 + 3*i + 5. Let n(t) = t**3 + 14*t**2 + 13*t + 4. Let v be n(-13). Let j be g(v). Which is bigger: j or 8/5?
8/5
Let p = -316 + 315. Which is smaller: p or 1?
p
Let w(f) = f**2 + 1. Let i(n) = -n**2 + n - 1. Let v(p) = -6*i(p) - 5*w(p). Let z be v(6). Does -1 = z?
False
Let i(t) = -t**2 + 29*t + 56. Let y be i(34). Is -117 bigger than y?
False
Let j(i) = -i**2 - 2*i - 4. Let n be j(-3). Let o be (-2)/n - 222/42. Let q(k) = k**2 + 3*k - 6. Let z be q(o). Which is smaller: 5 or z?
z
Let u = 1/29 + 27/58. Let b(a) be the second derivative of a**5/20 + 7*a**4/12 + 2*a**3/3 - 6*a**2 - 18*a. Let x be b(-6). Which is bigger: u or x?
u
Let z = -10 - -16. Let y be (z/(-4))/3*6. Let j = -1 + y. Which is smaller: -5 or j?
-5
Suppose 0 = -5*y - 3*z, 0 = y + z + 4*z. Let l = 8389 - 411063/49. Which is bigger: y or l?
y
Let r be 3/(-7) + 17/7. Let k = r - -7. Let u be -5 - -16 - (4 + -2). Is u != k?
False
Let z(u) = -u**2 + 16*u - 52. Let r be z(-20). Which is smaller: r or -771?
r
Suppose 3*f - 13 = 2*f. Suppose -g + 3*j + f = 0, -5*g + 2*j = -0*j. Let n be (-42)/(-90) - g/(-6). Which is smaller: -0.1 or n?
-0.1
Suppose 29*h + 17 = 12*h. Which is bigger: h or 0?
0
Suppose 14 = 4*l + 2*d, l - 16 + 5 = -3*d. Which is smaller: 3 or l?
l
Let r be 1/1 + 1 + 0. Let h = -85 - -97. Suppose -k - 3 = -r*s + 3*s, -h = -4*k + 4*s. Is 3/25 greater than k?
True
Let w be 2 - 136/66 - 0. Suppose -8*o - 23 = 2*y - 3*o, -2*y + 2*o = -12. Let r be (-6 - -6) + y/(-1). Is r < w?
True
Let w(v) = -v + 3. Let r be w(3). Let m = -126 - -238. Suppose -3*o - 11*o + m = 0. Is o not equal to r?
True
Let c = -97 + 96.953. Let d = c + -0.353. Do d and -1 have the same value?
False
Let v(m) = -m**3 - 14*m**2 + 13*m - 21. Let n be v(-15). Let l be n/(-5) - 1/(-5). Which is bigger: l or -1?
-1
Let v = 53738/63 + -853. Which is bigger: v or 0?
0
Let f = -324 + 324. Which is bigger: f or -0.031?
f
Let x be -1 + (-1)/(-2)*8. Let q be x/2*(-4)/6. Suppose 3*d = d - 4. Is d <= q?
True
Let b be ((-50)/(-34) - 0) + (1 - 0). Is 2 bigger than b?
False
Let k = 9 - -57. Does k = 64?
False
Let j be (5 + -6)*1*-751 - 1. Which is smaller: j or 749?
749
Let w be 2 - 445*5/1100. Suppose -2*d = d. Is d <= w?
False
Let j = -1543.05 + 1512. Let r = j - -31. Do r and -0.2 have the same value?
False
Let j be 3/15*(1 - 212/(-8)). Is 5 at least j?
False
Let t(h) = 2*h - 12. Let r = -25 + 30. Suppose 11 = 2*d - r. Let b be t(d). Are b and 5 non-equal?
True
Let t(b) = -b**3 - 3*b**2 + 13*b + 7. Let v be t(7). Is v smaller than -391?
True
Let y be ((-28)/(-35))/(6/45). Let o(u) = -4*u + 11. Let j be o(y). Let l be 20/50 + j/45. Which is greater: l or 1?
1
Let p = -0.1608 - 2.8392. Which is smaller: p or 1?
p
Let f = 11443/6 + -1913. Let t(z) = -z**3 - 18*z**2 + 19*z - 6. Let o be t(-19). Which is smaller: o or f?
o
Suppose -c - 2*d - 41 = 96, 3*d + 134 = -c. Let g = -121 - c. Which is bigger: 24 or g?
24
Let s be (-4)/10*(-240)/(-1344). Let r(g) = g**2 - 5*g - 4. Let q be r(5). Let v be q + 6 + (-2 - -1). Is s >= v?
False
Let z = -118 - -118. Suppose l + 3*p + 0*p = 36, z = -5*p + 25. Which is smaller: 20 or l?
20
Let r(b) = b**3 - 10*b**2 - 2*b + 14. Let w(g) = g**3 - 10*g**2 - 2*g + 15. Let k(a) = 6*r(a) - 7*w(a). Let j be k(10). Which is smaller: 1/22 or j?
j
Let n = 1479 + -1485. Which is smaller: -124/21 or n?
n
Suppose 3*m - 9*m + 270 = 0. Let a be (-21860)/m + (-2)/9. Let j = a + 1925/4. Do j and -4 have the same value?
False
Let t(i) = i**2 + 14*i - 2. Let y be t(-16). Which is smaller: y or 26?
26
Let s be (-5 + -2)/7*(-1 + 2). Is -107/4 greater than s?
False
Suppose -1031 = 2*r + 3*l, 3596 - 1016 = -5*r - 5*l. Is -518 <= r?
True
Let u be (-3)/4 - 7/28. Let w(t) = 21*t. Let s be w(u). Let n be -1 + s/(-4) + -4. Is -1/3 bigger than n?
False
Let x(g) = -g**3 - 5*g**2 - 3*g + 1. Let w be x(-4). Let p be -2 + 4 - w/(-3). Let j = -1 + p. Which is greater: -1/5 or j?
j
Let g = -0.033 - 0.467. Let w = g + 1.5. Which is greater: w or 8?
8
Let k be (-60)/8*6/(-9). Let g = -8 - -14. Suppose 0 = -3*t + k*t - g. Which is smaller: t or 2?
2
Let q be (-1)/3*-3*1. Let s be (-1)/(3 - 4)*q. Which is bigger: 14 or s?
14
Let t = -1.9702 - 0.0298. Is 9/4 <= t?
False
Let d = 31/85 + 3/85. Suppose 7 = 4*j - 21. Let t(b) = -b + 8. Let h be t(j). Is d > h?
False
Let v = 0.2 - 0.25. Which is greater: v or -19?
v
Let r = 102 + -70. Suppose 0 = -0*k - 2*k - r. Let z be -6 - (k/4 - -1). Which is smaller: z or -4?
-4
Suppose b - 659 = -443. Is b at least 216?
True
Let w = 43/2 - 22. Let l = 18 + -12. Are w and l 