ue
Let p = -0.75 - -0.74. Are 1 and p non-equal?
True
Let t = -631/20828 - -3/508. Let q = 36/205 - t. Let w(k) = -k**2 - 7*k - 5. Let h be w(-6). Is h < q?
False
Suppose -4*j + 3 = -b, 3*b + 2*b + 15 = 5*j. Let r = j - 0. Let s = 321/44 - 72/11. Is r equal to s?
False
Suppose -5*w + 8 = -7. Let g(k) = -k + 0*k**3 + 6*k + 2*k**w - 3*k**3 + 1 - 3*k**2. Let a be g(-4). Does a = -4?
False
Let k = 38 + -37.7. Are k and -1 nonequal?
True
Let x = 38 + -86. Let w = -143/3 - x. Which is smaller: 0.3 or w?
0.3
Let m = 5 - 3. Suppose 0 = 5*x - m*x, 0 = 5*s - x + 5. Do -2 and s have different values?
True
Let d(z) = z**2 + z - 6. Let g be d(-3). Which is smaller: -1 or g?
-1
Let g(o) = o**3 - 6*o**2 - 2*o - 9. Let l be g(7). Let k be (-2)/8 + l/8. Let s be (18/(-30))/(6*3/(-60)). Is k <= s?
False
Suppose 3*q - 1 = -4*n - 0*n, -5*q = n + 4. Which is smaller: 2/17 or n?
2/17
Let j be (-20)/(-6)*(-24)/(-20). Let c(d) = -d + 3. Let s be c(j). Is 0 > s?
True
Let z = -6 - -53. Is z equal to 47?
True
Let h = 20 - 22. Let d = 18429 - 92719/5. Let r = d + 114. Which is smaller: r or h?
h
Let d = 3 + 6. Suppose -d = 5*w - 24. Suppose 0 = -5*q + w*q + 2. Which is greater: 2 or q?
2
Let r be (7/(147/7452))/2. Let h = r + -178. Which is smaller: h or -1?
-1
Let p(t) = -t**3 - 8*t**2 + 9*t - 6. Let h be p(-9). Let b = h - 1. Which is bigger: 0.1 or b?
0.1
Suppose -4*r + 3*r = 0. Let n be r/((-1 - -6) + -2). Which is bigger: n or 0.2?
0.2
Suppose -2*u + 7*u + 30 = 3*g, 5*g - 3*u = 34. Suppose -i + d - 2 = 0, -20 = g*i - d + 10. Is i != -6?
True
Let r be ((-1)/(-2))/((-3)/24). Let w = -3 - r. Does w = 2?
False
Let c = -26 - -53. Which is bigger: 28 or c?
28
Suppose -m - m - 16 = 4*o, m + o + 5 = 0. Let p = -3105/2723 - 1/389. Do m and p have the same value?
False
Suppose 0 = 8*u - 7*u. Does u = -2?
False
Let o = 13/2 - 95/14. Is o greater than -1?
True
Let p = 42 + -47. Which is bigger: 1/2 or p?
1/2
Let c = -7 + 13. Suppose c = 2*x + 2. Suppose x*w = 0, -5*k = 3*w + 2*w. Is -2/7 at most as big as k?
True
Suppose 3*l + 3*d - 3 = 0, 4*d - 3*d + 3 = 0. Suppose l*m - 2 = x - 5, 0 = 2*x - 3*m + 4. Which is smaller: x or -4?
x
Let v = -0.8 - 0.2. Let q = -0.8 - v. Let c = -5/7 + 1. Is c less than q?
False
Suppose 4 = m - 3*m. Let h = 14.3 + -14. Is h at least m?
True
Let w = -1.7 - 0.3. Which is smaller: 2/49 or w?
w
Let u be 1 - 1 - 2/(-1). Let q be 14/4*(-6)/(-9). Which is bigger: u or q?
q
Let w = 31522824 - 1481629126/47. Let h = w + 1200. Is -1 bigger than h?
False
Let j be -2 + 172/(6 + -4). Let k be 4 + j/(-26) + -1. Is k != 1?
True
Let t(h) = h**3 + 6*h**2 - 5*h + 10. Let q be t(-7). Suppose -4*m + 2*m = -72. Let i be (3/q)/(m/32). Which is smaller: i or -0.05?
i
Let p be 35/20 + 2*-1. Which is greater: -1/2 or p?
p
Let i(c) = -c**2 - 4*c - 1. Let v be i(-4). Let q be -3 + 1 - (v - -3). Which is smaller: -5 or q?
-5
Suppose b = -4*b - 5. Does b = 0?
False
Let r = 0.3 + -0.23. Let m = r - 1.07. Let h = m + -1. Do -0.3 and h have the same value?
False
Let o(f) = f**3 + 16*f**2 - 2*f - 36. Let d be o(-16). Is -50/13 not equal to d?
True
Let h be ((-2)/2)/(1/4). Suppose 5*s + 14 = -1. Are s and h unequal?
True
Suppose 0 = -5*v + 15 - 5. Let i be -12*((-70)/52)/7. Let r = 159/52 - i. Is r less than or equal to v?
True
Let h be 159/273 - 3/7. Which is greater: h or 0?
h
Let l be (0/(-2))/(9 - 8). Which is smaller: 2/15 or l?
l
Suppose -2*r - v = -6, 3*v - 2 - 2 = r. Let j be 6/r + 0 + 0. Suppose j*w + 4 = 1. Is -3/2 smaller than w?
True
Suppose -5*r = -3*v - 50, -7*v + 4*v = 5*r + 40. Is v less than -17?
False
Let j = -4/11 + 41/22. Let o = -4 - -7. Suppose 25 = -5*r, 4*p = o*p + r + 7. Is j at most as big as p?
True
Let p = 18.06 + -18. Which is bigger: p or -0.4?
p
Let n be -2*((-3)/(-14))/1. Which is greater: n or 1?
1
Let y = 3.01 - 0.01. Let k = 1 - y. Let o = k - -5. Which is bigger: o or 0?
o
Let v = 4 + -2. Let j = -7 + 15/2. Which is greater: j or v?
v
Let n be 40/12*3/2. Suppose 0 = n*o - 8*o + 3. Which is smaller: o or 2/11?
2/11
Let m(k) = -k**3 - 4*k**2 - k. Let y be m(-4). Which is smaller: y or -2?
-2
Let q be (-4)/(64/(-34) - 26/(-13)). Which is smaller: q or -1?
q
Suppose 3*o = -438 - 1020. Let a = o + 2438/5. Let h = a + -27/20. Which is bigger: 0 or h?
h
Suppose 0 = 3*m + 3 - 9. Is m less than 8/5?
False
Let k be (-18)/117 - (-38)/78. Let l = 5 + -4. Which is bigger: k or l?
l
Suppose -j + 1 = 3*d - 2, -3*j - 5 = -5*d. Suppose 0*y - 2 = -y. Is d at most y?
True
Let a = 0.06 + -0.04. Let y = a - 1.02. Which is smaller: 0 or y?
y
Let v(r) be the second derivative of -r**3/2 + r**2/2 - 2*r. Let k be v(1). Let n be 20/15*3/(-2). Is k not equal to n?
False
Let f be (3/(-2))/(231/28). Is f at most as big as 3/2?
True
Let j(d) be the third derivative of -d**5/120 - 7*d**4/24 + d**3/3 + d**2. Let z(g) be the first derivative of j(g). Let o be z(-6). Is -1 >= o?
True
Let l = -1.7 - -3.7. Let q = -4.01 + 0.01. Is q < l?
True
Let u(g) = 2*g - 9. Let s be u(5). Let x = 1 + s. Which is bigger: 3 or x?
3
Let y = 24 - 71/3. Is -3 bigger than y?
False
Suppose 5*q - 10 = -5*h - 0, -5 = -h. Let b be (-2 - 0)/(-30)*q. Which is bigger: 11 or b?
11
Let d be (-45)/(-20) + 2/(-8). Does 0.3 = d?
False
Suppose 211 = 3*l + p, -3*l + 2*l + 2*p = -75. Let h be (l/268)/(1/2). Let t = 2/67 - h. Is 0 greater than t?
True
Let z be ((-11)/66)/(7/2). Is 0 > z?
True
Let b = -275/2 - -135. Which is smaller: -3 or b?
-3
Let s = 897/56 + -99/7. Are s and 1 equal?
False
Let f(r) = r**2 + 8*r + 9. Let i be f(-7). Let d = -86 - 22. Let h be d/51 + i*1. Which is smaller: -1 or h?
-1
Let m = 7 + -10. Let x be 2 - m*2/(-3). Let j = -1 + 1. Is j at least as big as x?
True
Let y(k) = k**3 + 4*k**2 - 6*k - 1. Let n be y(-5). Let d = -5 + n. Let o be -1*3 + (-57)/(-38). Is d > o?
True
Let x = 6 + -5. Let d be (x/33)/((-1)/(-3)). Which is greater: -1 or d?
d
Suppose -120 = 10*n - 7*n. Let m be (12/n)/((-6)/(-8)). Which is smaller: m or -2/3?
-2/3
Let p(q) = -q**3 + 0*q**3 + 1 + 6 + 5*q**2 + 5*q. Let m be p(6). Suppose 0 = 3*f + 2*f. Is m != f?
True
Let y(l) = 7*l + 1. Let h(b) = 6*b. Let r(i) = 6*h(i) - 5*y(i). Let p be r(5). Is -1 bigger than p?
False
Suppose -5*h + 20 = 0, 2*x - 4*h + 4 = -2*x. Let a be (-24)/x*(-1)/2. Suppose 0 = a*i - 0 + 16. Is -4 not equal to i?
False
Let z be ((-44)/(-18))/((-20)/6). Let d = -2/5 - z. Let a = -177 - -176. Is a greater than or equal to d?
False
Let x(c) = 3*c + 1. Let y be x(-1). Let v = -46 + 44. Is v <= y?
True
Let p = -60/19 + 313/57. Is p >= 1?
True
Let s = 155 - 2167/14. Let w(r) = r - 3. Let n be w(2). Do n and s have the same value?
False
Let o = 21/5 + -167/35. Is o greater than 2/3?
False
Let v(t) = -t**2 - 1. Let r be v(1). Are r and 1/3 nonequal?
True
Suppose 2*t - 4*m + 8 = -5*m, 3*t = -5*m - 26. Which is smaller: t or -4?
-4
Suppose -h + 0 - 4 = -5*q, 2*h + 8 = q. Let o(l) = l + 9. Let b be o(-9). Let n = b + q. Which is greater: n or -3/5?
n
Let r be (-1)/(-3) - (-62)/(-6). Let z be 6/r + 2/(-5). Let t be z/((1 - -1)/2). Do t and -1 have different values?
False
Let b = 0.17 + -0.07. Is 6 < b?
False
Let p(s) = 3*s - 4. Let r be p(5). Let y = r + -9. Is y at least 5?
False
Let s(c) = c**2 - 2*c - 3. Let z be s(-4). Suppose 3*p - 33 = -4*y - 0*p, -4*p + 30 = 3*y. Let b be y/z - 24/35. Which is bigger: b or 1?
1
Suppose -2*u + 9 = -3. Let x(q) = -q + 5. Let b be x(u). Let p(k) = -k**2 - 4*k + 5. Let l be p(-5). Which is smaller: b or l?
b
Let x = -144 + 201. Which is smaller: 58 or x?
x
Let i(t) = 7*t**3 - t. Let f be i(-1). Let h = -4 + 6. Suppose h*s - 4*s + 8 = -a, -14 = 2*a - 2*s. Are a and f equal?
True
Let p be 1 + -2 + (23 - 18). Let i be ((-4)/(-10))/((-3)/(-30)). Is i >= p?
True
Let l = 3 + -4. Which is smaller: l or -4/21?
l
Let k = -59 + 55. Suppose -u = -4*m, 2*m + 9 = m - 2*u. Let c = m + k. Is -5 < c?
False
Let a be (-61)/(-13)*10/168. Let r = a - -1/156. Is 1/3 less than r?
False
Let s = -195 + 199. Let p = -0.3 + 0.2. Do s and p have the same value?
False
Suppose -6*t + 9 = -3*t. Which is smaller: 0 or t?
0
Suppose 0 = 3*q + 6, 4*t - 46 - 14 = 4*q. Suppose -5*c = -k + t, -4*k + 5*c - c = -4. Suppose -2*h = -h. Is h at least as big as k?
True
Suppose -5*l + 0*l + 60 = 0. Suppose 0 = -3*g - l + 3. Which is greater: g or -1?
-1
Suppose