and -8 unequal?
True
Let q be 700/570 - (2 + 4/(-6)). Do -1/135 and q have the same value?
False
Suppose -89*g + 75*g - 70 = 0. Suppose 4*l + 55 = -0*l + 3*r, -5*r + 75 = -5*l. Is l at least as big as g?
False
Suppose -11 = 3*j - 26. Let i = j + -4. Is i bigger than 0.1?
True
Let d = 0.044 - 30.044. Let i = -28 - d. Is -0.14 > i?
False
Let m be (18/210)/((-72)/252). Let g be (-1)/3 - (-2)/(-3). Let f = 0 - g. Which is bigger: f or m?
f
Suppose -2*v - 17*v + 4712 = 0. Which is bigger: v or 247?
v
Let b = 24 - 9. Let n = b + -16. Is n at least as big as -10/9?
True
Let m be 3/((-8)/(56/(-39))). Which is bigger: 0 or m?
m
Let w be 7/3 + 3/(-9). Let z(i) be the third derivative of -i**4/24 + i**3/2 - 9*i**2 - 2. Let g be z(w). Are 3 and g equal?
False
Let l be (-12)/21 + 4/7. Suppose -9 = -m - y, -4*m + l*y + 27 = y. Suppose -j - 5*j = m. Which is smaller: 2/35 or j?
j
Let s = -6 - -6.3. Let v = 1.1 - 1.5. Let x = s + v. Which is bigger: x or 1/5?
1/5
Suppose -m - 4*m - 3*l = -69, -2*m - 5*l + 39 = 0. Let t = m - 9. Suppose 5*a + t*c + 20 = 8*c, -a + 2*c = 6. Is -2 >= a?
True
Let b(q) = 7*q - 13. Let t be b(3). Suppose l + 1 = 2*s, 3*l = -0*s - 5*s + t. Which is bigger: 9/10 or s?
s
Let u(i) = -i**3 + 3*i**2 + 2*i - 2. Let x be u(4). Let r be (x/30)/((-1)/6). Is r less than or equal to -0.06?
False
Let u = -7327/4477 - -1/4477. Let n be 9/(-4) + (-1)/(-4). Which is greater: u or n?
u
Let n be 4/7 - 216/182. Suppose 2*w + 0*w - 1 = d, -w + d + 1 = 0. Which is greater: n or w?
w
Suppose m = -2*a - 10, -3*m - 20 = -3*a - a. Which is bigger: m or -108/13?
m
Let v be -2 - -1*8*15/(-15). Is v equal to 26?
False
Suppose -6*c + 11*c = 20. Suppose 4*a - 4*d = 36, 41 = c*a + a - d. Are -0.1 and a equal?
False
Suppose -2*y - 2*f + 17 - 1 = 0, 4*y + 2*f - 22 = 0. Suppose y*g + 33 = 3. Is g bigger than -17/2?
False
Suppose -13*z = -25 - 79. Suppose 8*k = 3*k + 5. Which is smaller: z or k?
k
Let n = -1.2 - -0.6. Let f = n + 8.6. Let w = -8 + f. Which is smaller: w or 2?
w
Let i = -64 - -66. Suppose i*t + 11 = -5*j, -4*j + j + 3 = -2*t. Which is smaller: j or -2/3?
j
Suppose -4*c = 2*u, u = 3*u - c - 5. Let b be 12/(-24)*0/u*1. Which is smaller: b or -1?
-1
Suppose -38 = -4*x - 2*u - 8, -20 = -4*u. Let m be (-2)/(-1) + (-22)/x. Suppose 35 = -9*k + 17. Is m < k?
True
Let d = 15568415/151781 - 3/21683. Is d >= 103?
False
Let w(q) = -q**3 + 3*q**2 + 11*q - 30. Let d be w(4). Which is smaller: d or -42/55?
d
Suppose 15*z + 9*z = 528. Which is smaller: z or 20?
20
Let t be 728/1770 + (-40)/100. Which is greater: t or 1?
1
Let q be 0 + -1 + 1 - -3. Suppose 0 = 2*l - 3*p + q, 0 = l + 5*p + 29 - 8. Let n = 14 + -21. Which is greater: n or l?
l
Let x = -3 + 5. Let y = x - 0.5. Let i = -2 + y. Which is greater: 0 or i?
0
Let w be 13/(-26)*16/4908*-6. Which is smaller: w or -1?
-1
Let w(x) = -32*x**2 + x - 1. Let d be w(1). Let v = 62 + d. Let r = v + -24. Do 6 and r have different values?
False
Suppose 7*g = 2*g + 3*k - 2, -5 = 4*g + k. Let d = -6.02 + 0.02. Are d and g non-equal?
True
Let d be (-75)/15 - (-2 + -1) - -2. Let k be (-1 + d)*(1 - 40/45). Is k equal to 0.1?
False
Suppose 3*n = 2 - 2. Let h = -0.424 + 0.48. Is n smaller than h?
True
Let x(k) = k**3 - 8*k**2 + 15*k - 15. Let g be x(6). Suppose 10 - 7 = g*m. Do 1/95 and m have the same value?
False
Let t = -0.8 + 0.7. Let b = 3.95 - 0.15. Let u = -3.9 + b. Is u at most as big as t?
True
Let s = -18.39 + 19.68. Which is smaller: 5 or s?
s
Let k = -1426/15 + 685951/7215. Is k smaller than 0?
False
Suppose -11 - 1 = 4*j. Let o be j + (4 - 4) + 2. Let q = 2 + o. Is 4/7 less than or equal to q?
True
Let p = -60.1 + 57. Let m = p - -3. Let j = 27 - 30. Which is smaller: m or j?
j
Suppose -2 - 6 = -4*w. Suppose 0 = 2*p + v - 25, 4 - 33 = -w*p - 5*v. Let a be (p/75)/((-10)/25). Which is bigger: a or -0.5?
a
Let p(c) = c**2 + 13*c - 4. Let x be p(-12). Let n be (-38)/14 - x/(-56). Let k = 51 - 50.8. Is n bigger than k?
False
Let i(s) = -s**3 + s**2 + s - 3. Let d(g) be the second derivative of g**3/6 + 3*g**2 - 4*g. Let c be d(-6). Let v be i(c). Which is smaller: -4 or v?
-4
Let t(p) = 3*p - 49. Let x be t(12). Is x bigger than -15?
True
Let s = 70 + -68. Suppose 14*q - 17*q = -3. Which is smaller: s or q?
q
Let t = -0.014 - 6.786. Let n = t + 7. Let v = -1.2 + n. Which is smaller: -1/2 or v?
v
Let b = -34 - -34. Let s be 0 - b/(5/1). Are s and -2/49 non-equal?
True
Suppose 2*n + 36 = -4*p, 3*n - 4*p = p - 21. Suppose 66 = -12*m + 6*m. Which is bigger: m or n?
m
Let i(t) = t**3 - 2*t**2 - 3*t + 3. Let b be i(3). Let h = -0.128 + -0.572. Is h less than or equal to b?
True
Let c = 27.976 + 0.024. Let u = 25 - c. Is -2 <= u?
False
Suppose -3*u - 5*z + 13 = 0, 4*z - 15 = 5*u - 49. Suppose u*p - 9 = -3*p. Is -4/35 > p?
False
Let p be (-1)/(-2)*0/((-12)/(-4)). Suppose 6 = a + 7*w - 2*w, p = -a + w + 6. Is a less than -1/3?
False
Suppose 5*p + p - 12 = 0. Let a(s) = -5*s**2 - s - 3. Let b be a(p). Is b less than or equal to 2/3?
True
Let x be (-66)/(-140) + ((-340)/280)/17. Which is bigger: 0 or x?
x
Let r be -12*-2*(-3)/(-18). Suppose -5*m + 3*k - 4 = -0*m, r = -2*m + 2*k. Let w be (-7)/21*(2 + 69/(-12)). Is m >= w?
False
Let w = -2089 + 27121/13. Let y = w + 854/299. Which is smaller: y or -1?
-1
Suppose x - 4*c = 57, -c - 108 = -2*x + c. Suppose -13 = 2*s - x. Suppose 0 = 4*f + 3*i + 18, 4*f - 2*i + 4*i = -s. Is -6 at least f?
True
Let v = -6 + 9. Let t = 83 - 83. Is v equal to t?
False
Let z be 10/((-10)/9)*1. Which is smaller: z or 26?
z
Let y(b) = b + 6. Suppose 3*i - z + 2*z - 13 = 0, 4*z = -20. Let q be y(i). Let j(w) = -w**3 + 13*w**2 - 11*w - 10. Let a be j(q). Which is smaller: 13/5 or a?
a
Let o be ((-32)/3)/(2/(-12)). Suppose q = -25 + o. Let j be q/(-90) - (-3)/5. Which is smaller: j or -1?
-1
Let p = -62.88 - -44.9. Let d = -18 - p. Let b = d + 1.02. Is -1 at most b?
True
Suppose -4*u + 50 + 2 = 0. Let i be 16/104 + (-316)/26. Let p = i + u. Which is smaller: p or 6/5?
p
Let u be ((179/4)/(3/6))/2. Are u and 46 unequal?
True
Let j = -861 + 727. Which is smaller: j or -137?
-137
Let k be (-30)/(-48) + (-1)/8. Which is smaller: 1.49 or k?
k
Let j = 7122 - 7156. Let w be 2/(-8) + (-7)/(-12). Which is bigger: w or j?
w
Suppose 0 = 16*v - 10*v - 24. Does v = -1?
False
Let d(w) = w**2 - 10*w + 13. Let s be d(8). Let b be s*8/(-12) - -12. Let x = 13 - b. Which is greater: -2/17 or x?
-2/17
Suppose 2*s - 126 = t - 33, -5*s = -5*t - 455. Let c be -86 - (2 - 1)/(-3)*-6. Is c at most t?
False
Let g(x) = -x**2 - 8*x - 8. Let z be g(-6). Let j be 3/(702/(-128)) - z/18. Let c be 1/(-2 + 6/4). Which is greater: j or c?
j
Let m be (-5731)/1584 + 8/2. Let r = m + -4/9. Is 1 at most as big as r?
False
Let j = 266 - 265. Which is bigger: 14/93 or j?
j
Suppose p + 3*p = 112. Let k = p + -46. Let b be (9/k)/((-2)/(-8)). Which is smaller: 1 or b?
b
Suppose y = -3*y - 132. Suppose -5*g - 8 - 7 = 0. Let s be y/18 - g/9. Which is smaller: -2 or s?
-2
Let v(m) = -2*m - 40. Let p be v(-16). Let f = 7 + -6. Let n = 1.1 - f. Is p at least n?
False
Let m = 4780 - 4781.7. Let c = 0.2 + -0.4. Which is greater: m or c?
c
Suppose i - 4*w + 14 = 2*i, 0 = -w + 4. Let o be (4/5)/(1/(-10)). Let x = i - o. Is x < 6?
False
Let y = 460 - 462.29. Let n = 0.29 + y. Is 5 equal to n?
False
Let v(j) = -2*j**3 - j**2 + 6*j + 3 + 2*j + j**3. Let a be v(-3). Are a and -3 unequal?
False
Let v = -2/31 - 53/620. Let w be -3 - (0 - (5 - 3)). Is v less than w?
False
Let u(d) = 15*d - 5. Let t be u(1). Suppose 51 = t*f + 121. Are f and -9 unequal?
True
Let w be 2 + (-2 - 0) - (-12)/1256. Is 0 less than w?
True
Let l = 2.1 + -2. Let v = 0.18 + -0.39. Let o = v + -0.99. Which is smaller: o or l?
o
Let i = 4/15 - 532/195. Which is bigger: -2 or i?
-2
Let f = -2504992/447 + 5604. Which is greater: f or -1?
f
Let g = 12.056 - 0.056. Let x = g + -14. Which is bigger: -11 or x?
x
Let f be (-702)/7839*1/((-27)/2). Which is smaller: f or -0.1?
-0.1
Let x = 251 + -251. Which is smaller: x or -228?
-228
Let f(p) = -p + 1. Let t be f(-5). Suppose -45 = -z + t*z. Let i be (-1 - -4)/(z/(-3)). Which is greater: -1/2 or i?
i
Suppose -5*z + k = 1, -5*z + 2*k - 36 = -34. Which is smaller: z or 13/50?
z
Let z = 105 - 127. Do -2 and z have different values?
True
Suppose -2*v + 5*v