 -3 or k?
-3
Suppose -7 = -3*s - 1. Suppose y + 22 = 4*j, -j = -3 - s. Is -2 < y?
False
Let i = -4118.942 + 4111. Let t = i + -0.058. Which is greater: -2 or t?
-2
Suppose 7*b = 5*b + 43572. Let v be b/(-68) + (-33)/22. Let i = 322 + v. Which is greater: 0 or i?
i
Suppose 0 = -5*s, -2*a - 78 = 2*s - 4*s. Are -33 and a nonequal?
True
Let w = -6 + 5.97. Let l be 0 + 2*(-2)/(-4). Let o be l*14/(-6) - -3. Are w and o non-equal?
True
Suppose -1 = -k + 3. Let o be (-13)/26 + 2 + (-17)/2. Let y = o + k. Is y at most as big as -3/2?
True
Let y(i) = 38*i - 1. Let t be y(1). Suppose 4*w = -t - 51. Let b = 24 + w. Is b greater than or equal to 1?
True
Let x = 2/345 - 28/69. Is -1/12 >= x?
True
Suppose 22*d = 17*d + 2*y + 84, 4*y = -d + 8. Suppose -n - 60 = -5*n. Let s = d - n. Is 1/5 at most s?
True
Let u = 455 - 10467/23. Is 0 not equal to u?
True
Let p(b) = b**3 + 5*b**2 + 4*b. Let r be (-11)/((-11)/(-6)) - -3. Let g be p(r). Let m be ((-21)/35)/(g/8). Is -2 at least as big as m?
False
Let o = -0.5 + -0.5. Let v = 10.2 - 10. Let s = v - 0. Which is smaller: o or s?
o
Let f(t) be the second derivative of -t**4/6 + 37*t**3/6 + 9*t**2 + 18*t. Let u be f(19). Which is greater: u or -2/5?
-2/5
Let q(n) = 3*n + 42. Let i be q(0). Suppose 5*p - 2*p + i = 0. Is p at most 0?
True
Let j = -8 + 14. Let b be (1 - 30/18)*-18. Let h = b - j. Is h greater than or equal to 2?
True
Let y = 120 - 119. Let k be 2/60 - (-4)/24. Is k not equal to y?
True
Let r = 11 + -11.03. Let p = r - -0.13. Let m = -5 - -5.4. Which is greater: m or p?
m
Let y = 2253/118 - -24/59. Let k = y - 893/46. Let g be (-8)/5 - 6/(-10). Do k and g have different values?
True
Let u(j) = j**3 + 6*j**2 + 6*j + 1. Let g be u(-4). Let a(v) = g*v**2 - 10 + 11*v - 5*v**2 - 3*v**2. Let y be a(-12). Which is smaller: 3 or y?
y
Let l be 1 - -8*(-197085)/(-27). Let m = l + -58149. Let r = -248 + m. Is r smaller than 1?
True
Let u = 84143/379308 + -65/292. Which is bigger: 1 or u?
1
Let a = 2.33 - 2.13. Is 79 greater than a?
True
Suppose -4850 = 66*l + 9010. Which is smaller: -211 or l?
-211
Let r(o) = 2*o - 11. Let n be r(6). Let x be 2 + n + (-840)/63. Are x and -11 non-equal?
True
Let z = -1833 + 1833.1. Is z less than or equal to -1279?
False
Let g = 29.3 + -19. Do g and 1 have the same value?
False
Suppose 0 = -4*a + r - 55 - 68, -4*a + 2*r - 118 = 0. Let d = -35 - a. Suppose 0 = -0*h + 5*h. Which is greater: h or d?
h
Let a = 0.76 - 105.76. Let b = 105.3 + a. Is b >= -0.18?
True
Let g(v) = v**2 + v - 2. Suppose 4*f = -3*f. Let d be g(f). Which is smaller: d or -1/2?
d
Let k(s) = -s - 2. Let m be (-2 - -3)/((-1)/2). Let h be k(m). Suppose h = i + 4*a + a - 15, -3*i - 11 = a. Is -4 at most as big as i?
False
Let q(o) = -o**2 + 90*o - 1995. Let b be q(51). Let d(y) = y - 9. Let x be d(4). Are x and b unequal?
True
Let t be 19/(-2) + 2/(-4). Let k be (-2)/(-2 - -6)*-4. Suppose 4*n + 42 - k = 0. Do t and n have the same value?
True
Let b = 89.61 - -3.39. Which is greater: b or -3?
b
Let r = 56.3196 - 56.3. Is 0 at most as big as r?
True
Let d = 26093 + -129231/5. Suppose -458 = -3*l + 286. Let q = d - l. Which is greater: q or 0?
0
Let g = -14 - -24. Suppose 28 = 2*v + 4*c - g, -c = v - 18. Suppose -3*t - m = -v, -m = 6*t - t - 27. Which is bigger: -1/2 or t?
t
Let i = 59/16 - 21/16. Do 2 and i have the same value?
False
Suppose -4*r + 2943 = 3*u, 3672 = 5*r + 41*u - 44*u. Is 735 <= r?
True
Let d = -66 + 73. Let j = -52203 - -6890845/132. Let n = j - 4/33. Which is bigger: d or n?
d
Suppose -k + 18 = -4*f, -f = 4*k + f. Suppose 5*m = -5*p + 5, -4*m - 5 = -p - 9. Do m and k have the same value?
False
Suppose -2*b - 2*m + 16 = -0*m, -b - 4*m + 20 = 0. Suppose -3*w = 5*j + 8, -b*j - 2 = 2. Are 3 and w nonequal?
True
Let r = -335291.9889 + 335276. Let i = -0.0711 + r. Let n = 16 + i. Which is bigger: n or 1?
1
Let f be 3/2*194/23. Let a = -68477/5405 + f. Let z = a - -546/4465. Which is smaller: 1 or z?
z
Let w be 4/(-48)*18/(-8). Which is greater: 1 or w?
1
Let x(a) = -14*a - 94. Let c be x(-5). Which is smaller: -27 or c?
-27
Let i = -145.01 - -145. Is i greater than or equal to 19?
False
Suppose 5*w - 4*a - 17 = 0, w - 4*w + 5*a = -18. Which is smaller: w or 1/965?
1/965
Let t(n) = n**3 + 7*n**2 - 2*n + 11. Let o be t(-8). Let k be (-2*(-4)/8)/(1/o). Which is greater: -2/5 or k?
-2/5
Let w = 75 - 73. Suppose -w*c + 50 = 3*k - 39, 3*k = -c + 94. Which is smaller: 34 or k?
k
Let m = -755 - -1022. Which is smaller: 269 or m?
m
Let a = 1448 + -1582. Do a and -3 have the same value?
False
Let r(z) = z + 7. Let u be r(-5). Suppose u*k = k - 1. Let h be k - 30/52*-2. Which is smaller: -1 or h?
-1
Let d = -0.17 - 0.07. Let a = -1.94 - d. Which is bigger: 1/5 or a?
1/5
Let t be 1 - (1/(-1) + 2). Let z = 26/5 - 291/55. Is t smaller than z?
False
Let n = 108 + -103. Let a be (((-30)/(-4))/n + -2)*2. Which is bigger: a or 1/7?
1/7
Let y = -131541/150059 - 198/1261. Let j = y - 31/17. Which is greater: j or -3?
j
Suppose -2*o + 5*h + 49 + 10 = 0, 2*h + 10 = 0. Suppose 0 = -5*z + 52 - o. Let t(r) = -r**3 + 8*r**2 - 9*r + 6. Let d be t(z). Is d less than -6?
True
Let k = -282.04 + 282. Which is smaller: 3 or k?
k
Let n be (14/(-518))/((-7)/2). Let c = 442/259 + n. Suppose 3*p - d - 9 = 0, -5*p + d + 19 = -2*d. Which is greater: c or p?
p
Let p be (0 + -1)*(2 - 9). Suppose p*a + 38 = 3*a - 3*g, 3*a + 43 = 5*g. Which is bigger: -12 or a?
a
Let k be (8/(-6))/(1/(-45)). Suppose 146*h = -51*h + 12017. Is h <= k?
False
Suppose -19 = -5*g + 5*p - 4*p, -16 = -4*g + p. Let f = 0.1 - 0.06. Let b = f + -2.04. Is b less than or equal to g?
True
Let m(t) = t**3 - 13*t**2 + 22*t - 1. Let u be m(11). Are u and -6/815 unequal?
True
Let y = 806 - 274. Which is smaller: 533 or y?
y
Suppose -3*w - 4*y + 19 = -15, -3*w + 3*y = -6. Let m be w/4*8/(-12). Is m at most as big as -2/69?
True
Let z(m) = 4*m - 7. Let k(l) = l - 1. Let t(s) = -3*k(s) + z(s). Let v be t(-3). Is v equal to -5?
False
Let g = 0.38 - 0.79. Let p = 11 + -11.01. Let b = p - g. Which is bigger: 2 or b?
2
Let x be -2*(3 - (-1)/(8/(-23))). Is -68 greater than x?
False
Let r = -7 - -6.99. Let g = -15.99 + r. Which is smaller: 0 or g?
g
Let y(b) be the first derivative of b**3/3 - 9*b**2/2 + 10*b + 3. Let q be y(8). Suppose -7*v = -3*v - 8. Is v at least q?
True
Let l be (-2 + (-116)/(-10))/2. Suppose 432*r - 28 = 425*r. Which is smaller: r or l?
r
Let z = -9 - -6. Let q be (5/(-75))/(4/z). Let y = 27/140 - q. Which is smaller: y or 0?
0
Let j(m) = -27*m + 2. Let g be j(0). Does -0.7 = g?
False
Let s = 2.5 - 1.26. Which is bigger: -0.1 or s?
s
Let k = 0.043 - -1.857. Let x = -0.1 - k. Which is greater: x or 10/11?
10/11
Let d = 595534/7 + -85237. Let h = d - -161. Which is greater: -4 or h?
h
Let q(y) = 36*y + 1. Let t be q(-1). Let u = -972 + 974. Is u equal to t?
False
Let y = -0.5 - -0.5. Let c = 1.1 + -1. Let z = c - y. Is -0.07 greater than z?
False
Let i be ((-302)/8 - 5)/(15/8). Which is smaller: -22 or i?
i
Let y be (-6)/(-7)*((-120)/(-6) - -1). Suppose -14*q = -8*q - y. Which is greater: q or 11/5?
q
Let y be 842/12 + 7/210*-5. Which is bigger: 351/5 or y?
351/5
Let g = 4 - 329/82. Which is bigger: g or -1?
g
Let p = 2.53 - 1.05. Let b = p - 7.78. Are 1 and b non-equal?
True
Let h = -30552807/16 - -1908926. Let r = 624 + h. Which is smaller: 0 or r?
r
Suppose 3*a + 5*y - 47 + 14 = 0, 55 = 5*a + y. Which is greater: a or 12?
12
Let k = -2.431 - -2.231. Let z = -0.1 - -0.09. Is z bigger than k?
True
Let o = -2/1345 - -181589/9415. Which is smaller: o or 19?
19
Suppose -518 - 447 = 5*h. Is -193 less than or equal to h?
True
Let b(a) = -2*a**3 - 4*a**2 - a + 2. Let u be b(-2). Let h(n) = -7*n**3 - n - 1. Let y be h(-1). Suppose y*p = u*p - 6. Is 0 >= p?
True
Let i = -4 + 6. Suppose -3*f = -0*f - 4*d - 3, -2 = -2*f - 4*d. Is i bigger than f?
True
Let w = 1876.52 - 1874. Is w bigger than 5?
False
Let c(g) be the second derivative of -g**4/2 - g**2/2 - g. Let a be c(2). Let o be ((-10)/a)/(1/2). Are o and 1 equal?
False
Let q = -27/418 - 1/38. Which is greater: 3/5 or q?
3/5
Let y(p) = 8*p - 4. Let d(b) = b + 1. Let i(h) = 6*d(h) + y(h). Let k be i(1). Let z be 3/(-6*14/k). Which is smaller: z or 0.1?
z
Let u be 1*1/3*-3. Which is smaller: -2/89 or u?
u
Let j = 1311 + -196