 as 679?
True
Suppose -5 = y, -5*y = -4*n - 0*n + 25. Suppose -3*p - 10 + 76 = n. Are p and 22 equal?
True
Let m = 6.485 - -2.573. Let h = 0.058 - m. Is 1/5 at least h?
True
Let l(c) = -c**3 + 14*c**2 - 23*c - 30. Let z be l(12). Which is smaller: -84/5 or z?
z
Let k(t) = -t**3 + 9*t**2 + 10*t - 5. Let x be k(10). Let y(n) = 2*n**2 + n - 29. Let u be y(x). Are 18 and u non-equal?
True
Suppose -5*l + 88 - 93 = 0. Is -2/2149 > l?
True
Let x(a) = a**3 - 11*a**2 + 20*a - 15. Let l be x(9). Suppose -7*z + 480 = -l*z. Is z < 121?
True
Suppose 5*g = -4*r - 0*g + 11, -g = -2*r + 9. Which is smaller: r or 47/13?
47/13
Suppose -p + 288 = 2*p. Is p greater than 96?
False
Let b be 238*2/(-10) - (-34)/(-85). Which is greater: -326/7 or b?
-326/7
Let t(h) = -h**3 + 4*h**2 + 14*h - 9. Let s be t(6). Is s <= 3?
True
Let z = 14 + -26. Let k be 30/(-35) + z/(-21). Which is bigger: 1 or k?
1
Let l be (-8)/(-12) + 1/3. Let h = 39 + -35. Let d be 0 + (95/20 - h). Which is greater: l or d?
l
Suppose 6 = 3*w - 11*b + 8*b, -16 = 2*w + 3*b. Does w = -104?
False
Let s = -0.8877 + 0.1877. Is s at least -24?
True
Let z be -2 - (-5 - 12/(-3)). Let l = z - -6. Which is smaller: 0 or l?
0
Let t = -7 - -11. Suppose -z + 27 = -2*z - 4*o, t*o = -2*z - 34. Let y = z - -7. Which is bigger: 0.6 or y?
0.6
Let i = -74.7 + 74.6. Is 40.2 at least i?
True
Let m = -29 - -49. Let v be (-6)/14*m/40. Does v = -1?
False
Suppose 3*l = k + 1, 0 = 8*k - 11*k - 2*l + 30. Let n be (-7871)/(-1071) - 4/(-18). Are n and k non-equal?
True
Suppose -d - 115 = -2*o, 0 = -5*d - 4*o - 0*o - 575. Is -113 <= d?
False
Let q(m) = -639*m - 4. Let c be q(11). Let r = c + 20797/3. Let z = r + 11180/111. Is 0 smaller than z?
True
Let h = 102 - 157. Let w = -56 - h. Which is smaller: w or 1/5?
w
Let m = 2.897 - 2.997. Is 0.054 < m?
False
Let i(b) be the second derivative of b**5/20 - b**4/2 + b**3 - 7*b**2/2 - 21*b. Let h be i(5). Let g be (2/12)/((-3)/12). Is g >= h?
True
Suppose 0 = -4*b - 4*k + 2*k - 770, 2*k = 5*b + 949. Are -191 and b equal?
True
Let s be ((44/(-6))/2)/((-17)/51). Let c be s/78 + (-2)/12. Which is bigger: c or 0?
0
Let d be ((-1)/21)/(15/18 + -1). Is -1/7 at most as big as d?
True
Let f = 303 + -5721/19. Are f and 2 non-equal?
True
Suppose 4*n + 4*c = c + 2, 0 = -n + 3*c + 8. Let y be n*-1 + (-46)/(-24). Let l be ((-1)/2)/(2/(-4))*-1. Is y smaller than l?
False
Let f = -9.93 - -10. Let v = 3.33 - 0.4. Let i = v + f. Is i smaller than -1/6?
False
Let p(s) = s**2 + 17*s - 59. Let g be p(-20). Is -13/67 at least as big as g?
False
Suppose -3*w = t + 4*t + 6, 0 = 4*t + 2*w + 4. Does -1/2523 = t?
False
Let j = -282.789 - -283. Let x = j - 1.241. Let p = x - -0.03. Is -4/7 >= p?
True
Let i be (2/(-20))/((-69)/15). Are 0 and i equal?
False
Let a = 26.029 - 0.029. Let l = 25.93 - a. Let f = l + -0.13. Is f > 0.2?
False
Let i(t) = 0*t + 5*t - 4*t - 2 - 1. Let z be i(7). Let w be (-7)/2*(-6 - 276/(-42)). Which is smaller: w or z?
w
Let t(d) = -3*d + 6. Let y be t(-6). Suppose -21 = 5*i + y. Let z = -12 - i. Which is bigger: z or -3/2?
-3/2
Let m = 51 - 118. Let k = m - -68. Is 7/16 != k?
True
Let i be ((-7)/4326 - 0)/(1/(-127)). Let v = -4/103 + i. Is v smaller than -1?
False
Let u(m) = m**2 + 6*m + 4. Let z be 36/8*(-12)/9. Let o be u(z). Which is greater: 24/5 or o?
24/5
Let w = 22 - 12. Let s = w + 1. Let p = -11.6 + s. Which is bigger: p or 0?
0
Suppose 61*s - 66*s = 0. Which is smaller: -14/31 or s?
-14/31
Let x = 1581 + -701. Is 881 <= x?
False
Let t = -10 - -21. Let o = -2 - -2. Suppose o*s = -s + t. Which is smaller: s or 10?
10
Let p = -0.208 - -0.21. Let y = -9.098 - p. Let d = -9 - y. Which is smaller: d or 0.3?
d
Suppose 4*b - 28 = -0*d - 2*d, -5*b = 5*d - 30. Let v = b - 9. Let q = -455/4 - -114. Are q and v non-equal?
True
Let r(b) = 0*b + 2*b + b - b - 15. Let g be r(9). Suppose 2*i + g*i + 25 = 0. Which is smaller: i or -3?
i
Let u be 42/(-70) - (-3 + 19/10). Is 25 >= u?
True
Let j = -60943.006 - -61019. Let x = -76 + j. Is -2 at most x?
True
Suppose -7*t = -237 + 545. Which is greater: t or -41?
-41
Let q = -57 - -50. Let f be (12/16)/(q/504). Do f and -54 have the same value?
True
Suppose -4*a + 3*a = -13. Let k = 10 - a. Let m = 1 + -4. Is m less than k?
False
Let x(m) = m. Let b be x(5). Let k be 5/150*-4*b. Which is smaller: k or 2?
k
Let a = 0.056 - 0.022. Let r = -0.014 + a. Which is smaller: r or -0.4?
-0.4
Let b = 6.3 - 6. Let n = -3.34 + 1.62. Let s = n + 1.75. Which is bigger: s or b?
b
Let o = 7.9657 - -0.0343. Is o equal to -0.13?
False
Let r = 533.94 - 526. Let h = 0.24 - r. Let j = h - -8. Which is bigger: j or 2?
2
Let m(r) = -3*r**2 - 6 + 10*r - r**3 + 2 - r**2 - 9. Let q be m(-6). Are 1/17 and q nonequal?
True
Suppose 0 = -y + 3*y + 106. Let q = y + 48. Is q less than -5?
False
Let a be 2 - 10/6 - (-67)/(-3). Suppose 122*v - 127*v - 115 = 0. Which is smaller: v or a?
v
Let w = 15.6 + -15.5. Is w at least -486?
True
Let m(h) = -2*h**2 + h. Let z be m(1). Let t be 12*5*z/2. Let c be (-4)/(-6)*t/(-110). Is 0.1 >= c?
False
Suppose -67 = -2*p - 4*q - 173, p - 5*q + 88 = 0. Is p equal to -65?
False
Let x = 17228/5127707 - -2/9173. Is x equal to 1?
False
Let r(f) = 3*f + 53. Let p be r(-17). Suppose -4*u + 6*u - p = 0, 0 = 5*w - u + 6. Which is bigger: -2/43 or w?
-2/43
Suppose 2*d - 22*d = 140. Which is bigger: -37/6 or d?
-37/6
Suppose -2*c - 26 = -18. Is c >= 1?
False
Let m(t) = 32*t + 704. Let g be m(-22). Which is smaller: -3/346 or g?
-3/346
Let j(f) = 3*f + 47. Let l be j(-10). Suppose 4*m = m - 15, 0 = 3*q - 4*m - l. Is q greater than or equal to 1/230?
False
Suppose 17*k = 32*k + 2010. Is -133 equal to k?
False
Let t = 366 - 16105/44. Let d = -0.42 + -0.58. Which is greater: t or d?
t
Suppose 7*m - 4*m - 12 = 0. Suppose -5*j + 0*h + m*h = -12, 4*j = -2*h - 6. Is 2/27 at least as big as j?
True
Let b(u) = -u**2 + 23*u + 50. Let r be b(25). Is 17/37 less than r?
False
Let m(i) = i - 7. Let j(g) = g - 6. Let b(d) = 4*j(d) - 5*m(d). Let o be b(10). Does 1/5 = o?
False
Let c = 2983/9 - 331. Which is greater: c or -6/7?
c
Let a = 1 + -6. Let h = 0.051 - 0.151. Is h < a?
False
Let z = -848/5 + 170. Which is smaller: z or 3/4?
z
Let w be (1 + 2)*1/3. Let p = 0 + w. Let s be (-308)/1232 + 3/(12/(-3) - 0). Which is smaller: p or s?
s
Suppose -5 = -6*i + 4*s - 3, i = s + 1. Let k = 27040/69533 - 4/2243. Which is bigger: k or i?
k
Let x = -116 - -136. Let b be (-9 + -2 + 0)/(2/(-4)). Does x = b?
False
Let v = 1083 + -11923/11. Is -2 at least as big as v?
False
Suppose -7*y - 12 = -11*y. Let l be (-25)/60 + y/12. Let b = -8 + 9. Which is smaller: b or l?
l
Let k(f) = f**3 + 6*f**2 - 35*f - 21. Let x be k(-10). Is x at most 1?
True
Let y = 0.93 - 7.93. Which is greater: y or -14?
y
Let y = 39 - 39.22. Let l = 0.68 - y. Which is greater: l or -0.1?
l
Let y = 23.552 + -0.152. Let j = -24 + y. Let f = 0 - 0.1. Which is smaller: f or j?
j
Let z(w) = 140*w**2 - 5*w + 2. Let o be z(1). Suppose 5*y - 28 = o. Which is greater: 34 or y?
34
Suppose 9*a - 12*a - 255 = 0. Let m = a - 20. Let w be (m/11)/5 - -2. Is w < 0?
False
Let b be (-3)/(-3) + 2*2. Suppose 5*o - 28 = 3*o + c, -b*o + 4*c + 67 = 0. Let y be (-3)/15 - (-33)/o. Which is greater: y or 3?
3
Let c be 3/2*12/9. Suppose 0 = -0*a + 2*a + 2. Let p = a + c. Are p and 2/63 unequal?
True
Let r be -5 + -2 + (-1)/(-1). Let m = r - -11. Suppose -5*x - 3*n - 4 - 67 = 0, -m*x = -5*n + 55. Are x and -13 equal?
True
Suppose 0 = 2*m - 0*m - 2. Let b be m/15*3/3. Let p = b - 19/60. Which is smaller: -0.06 or p?
p
Let q = 93 - 93. Suppose j = 4*y - 13, 5*j = -y + 6*y - 35. Suppose -y*s + s = q. Which is bigger: -2/11 or s?
s
Suppose 22*i = 21*i + 5. Suppose -6 - 14 = 5*j, 2*d + i*j + 18 = 0. Let g = 4 - 9. Which is bigger: d or g?
d
Let o = 9 + -9. Suppose -7*t - 414 + 15 = o. Which is greater: 1 or t?
1
Let a = -463/45 - -82387/8010. Is a at most 1?
True
Let r(o) = -4*o**3 - o**2 + 2*o + 1. Let h be r(-2). Is h at least 22?
True
Let n = 27/4 - 8. Let f = 16313 - 848337/52. Let p = n - f. Do -1 and p have different values?
True
Let j = -32.7 + -6.3. Let c = j - -39.1. Do -3 and c have the same value?
False
Let x = -75 + 73. Let y be -7 + 11 + 9/x. Which is smaller: y or -0.1?
y
Suppose -13*s + 2*p = -17*s + 3328, 2*s - 1658 = 2*p. Is s eq