 = -1/371 - -761/7049. Is x equal to t?
False
Let b = -4 - -3. Which is smaller: 6 or b?
b
Let n = -4/17 - -98/561. Is n > 1?
False
Let n(r) = -r**2 - 3*r - 3. Let h be n(-2). Which is smaller: 3/16 or h?
h
Let r = 238 - 237. Suppose 3*j = -3 - 6. Let v = -5/2 - j. Does v = r?
False
Suppose -2*k = 1 - 7. Let g = k - 3. Let x be (2/40)/((-6)/(-12)). Is x smaller than g?
False
Suppose -5*o + 0*o = -10. Let f = 7178/143 - 542/11. Which is bigger: o or f?
o
Suppose -7 = 2*x - 3*c, -x - 2*c + 8 = -4*x. Let q(k) = k**2 - 2. Let n be q(x). Suppose 3*z + n*s = 3, -3*z - 20 = 2*z - 5*s. Is 2/7 not equal to z?
True
Let y = 44 - 44.05. Let k = -91 - -457/5. Is y >= k?
False
Let y(n) = n**3 + 4*n**2 - 6*n. Let g(h) = 5*h. Let j be g(-1). Let u be y(j). Suppose u*a - 7 = z - 1, 2*z + 7 = 5*a. Which is bigger: 0 or a?
a
Let z = 1 - 3. Let q be 5/(1 + z)*-1. Suppose -q*l - 23 = 4*g, 7*l - 2*l = 5*g - 5. Are -1/2 and g non-equal?
True
Let b = 0.13 + -0.13. Let t = 1.2 - 1. Let o = b - t. Is o at most as big as 0.1?
True
Let w = -48 + 49. Is w <= 1?
True
Suppose 5*n + 100 + 230 = 0. Let g be 154/3*n/(-63). Let s = g - 54. Is s at least -1?
True
Let j be -1 + -2*1/6. Which is bigger: 3 or j?
3
Let i = -113 - -74. Which is greater: -40 or i?
i
Suppose -m + 3*t - 8 = 6*t, -4*m + 5*t = -53. Suppose m = -6*h - 41. Which is smaller: -7 or h?
h
Let z = 76/3 + -25. Let w = -0.05 + -0.35. Let v = w - -0.4. Which is smaller: z or v?
v
Suppose 0 = -i - 1, a - 2*i = -i + 17. Suppose 0 = -3*p + 2 + a. Which is bigger: 0 or p?
p
Let q(y) = -3*y - 6. Let h be q(4). Is -0.1 at most as big as h?
False
Let u = -11 - -4. Let o = 0.91 + -7.87. Let m = u - o. Is m < 0?
True
Let y = 67 - 3951/59. Let g = y - -104/413. Which is bigger: g or 6/7?
6/7
Let h(r) = -r**3 - r**2 + r + 5. Let x be h(0). Suppose -x*p = 2*n + 15, -3*n - p - 6 = p. Are n and -1 nonequal?
True
Let s(l) = l**3 - 2*l**2 - l + 1. Suppose 5 + 0 = g. Suppose 3*r - g = 1. Let w be s(r). Is 1 not equal to w?
True
Let x = -0.1 + 0. Let z = 0.86 - -0.04. Let p = -1.1 - z. Which is bigger: x or p?
x
Let a(u) = -3*u**3 - u**2 + 1. Let l be a(1). Let d be 2/(-1) - (-16)/(-8). Is l != d?
True
Suppose 0 = b - 0*b + 9. Let h be b/(-12) + -3 + 3. Is h greater than 2?
False
Suppose 56 = 8*q - 12*q. Is -15 greater than q?
False
Let h = -0.14 - -0.17. Let v = -231.97 - -230. Let x = v - h. Is x at least as big as 0.1?
False
Let a = -287/3 + 97. Let k = -1 + 6. Suppose 4*s = -k*m + 13, -5*m - 2*s = 1 - 10. Which is greater: m or a?
a
Let u = -35380/211 + 35924497/215220. Let a = -2/255 - u. Which is smaller: a or 2?
a
Let y(q) = -3*q**2 + q. Let t be y(-1). Let x be (-2 - t) + -1 - -4. Let p be (1 + x)*(-2)/(-4). Which is smaller: 4 or p?
p
Let l be 3/15*(-5)/(-3). Which is smaller: -4 or l?
-4
Suppose 3*w = v + 7, 0 = 5*w - v - 14 + 5. Which is smaller: -2/107 or w?
-2/107
Let t be ((-3)/12)/(1/(-1)). Let i(x) = x**2 + 13*x + 18. Let f be i(-12). Suppose 3 = 3*w + f. Which is smaller: w or t?
w
Let b = 1.5 + -1.6. Is b equal to -3/2?
False
Let g = 694/195 + -48/13. Let y(k) = 2*k**2 + 14*k - 2. Let r(t) = t**2 + 7*t - 1. Let c(b) = -5*r(b) + 3*y(b). Let v be c(-7). Is v at least g?
False
Let t(k) = -k**2 - 5*k - 2. Let w be t(-4). Suppose 0 = 2*y - w - 0. Suppose -2*s - 1 = -4*a + 3*s, -2*a + 2*s = 0. Which is smaller: a or y?
a
Let u be 2946/(-132) - 4/22. Let a = 143/6 + u. Do a and 1/3 have the same value?
False
Suppose -3*g + 19 = -0*a + 2*a, 3*a - 22 = 2*g. Suppose -a = -4*z - 4. Which is greater: -0.05 or z?
z
Let k(g) = g**3 + 7*g**2 + g - 6. Let n be k(-6). Is n != 25?
True
Let n(y) be the second derivative of y**4/12 - 4*y**3/3 - y. Let b be n(8). Is b equal to -1/4?
False
Let n be 118/3 + (4 - 10). Are 32 and n equal?
False
Suppose -y = 4*y + t - 5, 3*y - 4*t + 20 = 0. Suppose 2*h - 4 = -y. Suppose 3*z - 4 = 3*b + z, -h = 5*b - z. Which is bigger: 4/7 or b?
4/7
Let a be -2 + 2 - 6/3. Let s be 0/((0 - -1) + a). Let u be (-4)/14 + (-19)/(-42). Is s at least u?
False
Suppose 0 = -4*y + 2*m - 10, -3*y - 9 = -5*m + 2. Is 4 less than or equal to y?
False
Let m be 158/136 - (-3)/(-4). Let n = 52/85 - m. Suppose 0 = 4*x + 12, -4*f = -x + 5*x + 16. Do n and f have the same value?
False
Let n be (-22)/(-77) - (-12)/7. Suppose -n*f - 12 = 2. Is -6 >= f?
True
Let n = 0 - -1. Let z = -31 + 61/2. Which is bigger: z or n?
n
Let w = -11 - -7. Let j = w - -4. Which is greater: 3 or j?
3
Suppose 2*b - 4*p - 78 = 0, -5*b + 6*p + 189 = 2*p. Suppose -b - 20 = -3*z. Suppose -3*w + 4*h = 11, w + 2*w = -2*h + z. Is w less than or equal to 5?
True
Let m be -1 + ((-10)/(-4) - -4). Is 7 at most as big as m?
False
Let u be -302*1/(-18) + (-24)/(-108). Is u != 3?
True
Suppose 0 = -5*m - 0*m. Which is smaller: m or 1/2?
m
Suppose 0*i - 6 = -3*i. Let y be 2*i*(-1)/10. Is y > 1?
False
Let n(u) be the third derivative of -u**5/60 + 11*u**4/24 - 7*u**3/6 - 2*u**2. Let g(o) = 2*o**2 - 8*o + 10. Let x be g(4). Let f be n(x). Is f greater than 2?
True
Let n be ((-3)/(-54))/(2/6). Is n smaller than 1?
True
Let n(b) = -b**2 + 5*b - 1. Let z be n(5). Let j be 48/(-66) - 2/(-3). Which is bigger: z or j?
j
Suppose 0 = 3*v - 0*l + 5*l + 141, 5*l - 67 = v. Do v and -105/2 have different values?
True
Let l = -43 + 37.2. Let h = l - -6. Is 0 less than h?
True
Let j be 432/(-204) - (12/51)/(-2). Which is smaller: j or 2?
j
Let g(h) = h**3 + 6*h**2 + 6*h + 4. Let j be g(-5). Let c be (6/(-10) - 41/(-35))/2. Which is bigger: j or c?
c
Let r(d) = d**3 + 10*d**2 + 16*d - 4. Let u be r(-7). Does u = 31?
True
Let i = 2232 + -319174/143. Which is bigger: 1 or i?
1
Suppose -2*g = -4*o - 14, 0 = 4*g + 2*o - 31 - 27. Suppose -p = -4*r - 13, -5*r = 5*p - 0*p - 65. Are g and p non-equal?
False
Let r(b) = -b + 13. Let o be r(10). Suppose o*v + 75 = -2*v. Which is smaller: v or -2/7?
v
Suppose -r + 8 = -i - 1, 0 = 4*r - 2*i - 34. Suppose -6 - 9 = 3*v. Let g = r + v. Do g and 0 have different values?
True
Let b = -2 + 4. Suppose 0 = 5*k - k - 4*j + 4, 19 = 5*k + 3*j. Suppose a + 4 = 5*a, 4*n = -2*a + k. Is b equal to n?
False
Let u(i) = 3*i**3 + 6*i**2 - i + 3. Let k(g) = -g**3 + g + 1. Let v = -2 - -1. Let n(j) = v*u(j) - 2*k(j). Let h be n(-6). Is h != 2?
True
Suppose -g - 5*j = 15, 3*g + j + 15 = 4*g. Let d be 3 - 5/(g/4). Is -2/9 >= d?
False
Let y be -3 + 100*1/33. Is y not equal to 1?
True
Let n be 3/(-6)*(0 + -4). Let s be (-51)/n - (2 + 0). Let t = -27 - s. Do t and 0.1 have the same value?
False
Suppose f = 3*x + 3*f + 31, -2*f = -5*x - 57. Let o be (-2)/(-11) - 9/x. Let b be (-4 - -2 - -2)*o. Which is greater: -0.1 or b?
b
Let t be (-603)/(-6)*(-1)/(-2). Let p = 48 - t. Which is smaller: -3 or p?
-3
Let b = 55 + -56. Let h = -3 - -4. Which is greater: h or b?
h
Let i(o) = 2*o**2 - 2*o + 1. Let s be i(2). Which is smaller: 11 or s?
s
Suppose -37 = 4*i + 35. Which is smaller: -5 or i?
i
Let c = -36 - -13. Which is smaller: -22 or c?
c
Let l(o) = -515*o + 5. Let y be l(6). Let u be (y/50)/(2/4). Let p = u + 123. Is p smaller than 1?
True
Let r = -35.5 - -36. Which is smaller: 0.01 or r?
0.01
Let l(a) = -2*a - 5. Let x be l(2). Which is greater: x or -7?
-7
Suppose 4*y + 5*q + 1 = 0, -5*y + 3*q = -2*q - 10. Let b be (4676/16)/(18/8). Let j = -130 + b. Which is greater: j or y?
y
Let u = 455/8 - 57. Let f be 1/(-2) + 7/14. Is f less than u?
False
Let k = 4 - 6. Let u = 27 + -28. Which is bigger: u or k?
u
Let c = 2.95 + -3. Let j = c + 0.05. Which is greater: 0.2 or j?
0.2
Suppose 2*i = 2*n - 14, 4*n - 3*i - 19 = 6. Which is smaller: 1 or n?
1
Let i = 6 + -4. Let z be 10/(-35) - (-7514)/(-5502). Let m = 2/131 - z. Is m <= i?
True
Let o = 5.7 + -4.7. Do -39 and o have different values?
True
Let x be (0*(-4)/20)/2. Do -5/14 and x have the same value?
False
Let w(s) = 9 - 2 - s - s**2 - 6*s. Let j be w(-8). Which is greater: j or -1/9?
-1/9
Let z be ((-10)/(-4))/1*(-48)/120. Let q be 4/(-2) + 50/22. Which is greater: z or q?
q
Let g be (-13)/(-4) - 1/4. Let h(i) = i**2 - 2*i + 3. Let d be h(g). Let q be 4/(-6)*d/4. Which is smaller: q or -5?
-5
Suppose 3*h + h - 8 = 0. Suppose -h*y = 4*f + 25 - 7, 4*f - 4*y - 12 = 0. Let x be (f/3)/(35/(-45)). Which is greater: 1 or x?
1
Let u(a) = a + 1. Let n be u(-4). Let c be n/5 + (-1)/(-2). Let y = -6 - -5. Is c at most as big as y?
F