h non-equal?
True
Let c(r) = -27*r + 190. Let w be c(7). Which is bigger: -8/17 or w?
w
Let k = 22.849 + 0.251. Let y = -23 + k. Is y at least -0.4?
True
Let g(f) = -2*f**2 - 10*f + 11. Let p be g(-6). Which is bigger: -18/19 or p?
-18/19
Let l(c) = 215*c + 9. Let s be l(-9). Let i be (-60)/270 - ((-892)/s)/(-2). Which is smaller: i or -1?
-1
Let y = -0.298 - -0.198. Is -164 less than y?
True
Suppose -2*j - p + 15 = 0, j - 2*j - 2*p = -15. Suppose s - 4*f + 7 = 0, j*s - 12 = s - 4*f. Let q = -5 + 7. Which is greater: q or s?
q
Let h = -0.233 - -0.233. Let y be -26*(-3 + 3 - -2). Is y less than or equal to h?
True
Suppose x = -3*l + 3, 3*x - 3*l = -x - 3. Is x > -2/79?
True
Suppose -4*h = 2*i + 32, 5*h - 3*i + 29 = -0*i. Which is smaller: 6 or h?
h
Suppose 17 - 117 = 20*z. Which is bigger: z or -10?
z
Suppose 8*n + 4 = 10*n. Let d be (-1)/3*247/(-26). Which is bigger: d or n?
d
Let r be 0*(-4)/36*-3. Suppose -2*a = f + 4, -2 = -r*a + a + f. Let v(i) = i**3 + 5*i**2 - 5*i + 4. Let q be v(-6). Is q smaller than a?
False
Let m = 4.98 + -0.08. Let p = 248 + -244.1. Let n = m - p. Is -4 > n?
False
Let i = -61 + 61.021. Let t be ((-4)/(-12)*6)/(0 + 7). Is i != t?
True
Let n = -242.79 - -244. Let d = -1.3 + n. Let t = d + 0.09. Do 7 and t have the same value?
False
Let n = -703/55 - -145/11. Which is bigger: 2.1 or n?
2.1
Let u be (-2)/(132/(-52) + 3)*-3. Which is bigger: u or 4?
u
Let u = -91.9 - 34.1. Which is smaller: u or -1?
u
Let m be (-2 - (-45)/24)*186. Which is smaller: m or -24?
-24
Let b = -870 - -723. Which is greater: -144 or b?
-144
Let l(h) = -6*h**2 + h. Let q be l(1). Let v(r) = -r**2 - 14*r - 24. Let i be v(-12). Suppose 2*b - 5*b = -2*z - 23, i = -5*z - 3*b - 26. Are z and q nonequal?
True
Let i(v) = -v**2 + 12*v - 9. Let x be i(6). Suppose 12 = x*z - 31*z. Is z smaller than -3?
False
Let k be (-4 + 20/3)/((-1)/9). Let r = -20 - k. Are r and 3 nonequal?
True
Suppose 28 = 2*b - 0*b. Let j = b - 15. Are 1/9 and j equal?
False
Suppose 0 = -5*f + g - 157, -5*f - 82 = 3*g + 67. Let b = 37 + f. Let u = -2 + 8. Is b bigger than u?
False
Let y(h) = h**3 - h**2 - 2*h + 2. Let x be y(-3). Let g = x - -21. Which is greater: g or -10?
g
Let j = -6/563 - -56318/1689. Which is greater: j or 34?
34
Let k(a) = a**3 + 29*a**2 + 77*a - 21. Let y be k(-26). Let c be (-3)/(-12) - (-62)/8. Which is smaller: c or y?
y
Let g be (-1)/(-5) + (-196)/(-20). Suppose g*a = 15*a. Suppose -2*n - 3 = -3*c - 5*n, 3*c - 4*n - 3 = a. Which is bigger: c or 2/73?
c
Let y be 2502/(-1233) + 5*2/5. Is y less than or equal to 1?
True
Let h be (-4)/6*33/66. Which is greater: h or -662?
h
Let k = 2260 - 1706. Which is smaller: 553 or k?
553
Let s = 116 - 118.84. Let r = s - -2.8. Is -9 < r?
True
Let p = -0.18 + 0.29. Let k = -1.21 + p. Let i = k - -1. Is 0.2 at most i?
False
Let l be (-2)/2*2*(-49)/11858. Are l and 1 equal?
False
Let v = 0.2 - -2.2. Let p = -0.4 + v. Is p at most -1.1?
False
Let b = 12.8 + -12.79. Let c = 5 + -3. Which is greater: b or c?
c
Let k be 1*4*(-7)/(-2044)*-6. Is k <= -1?
False
Let a(f) = -f**2 + 35*f - 196. Let l be a(7). Which is greater: l or -70/51?
l
Let z = 1980 + -29714/15. Is z at most as big as -1?
False
Suppose -86 + 356 = -6*t. Let y = t + 41. Is y >= -4?
True
Let y = -7 - -6.7. Let p = y + 0.2. Let a(l) = 5*l**2 - 316*l - 925. Let u be a(66). Which is bigger: u or p?
p
Let c = 20346847/13 + -1564149. Let d = 994 - c. Is 1 > d?
True
Let w be (-1)/2 + 28/(-8). Let o be w/17 + (-3)/6*0. Is 1 at least o?
True
Let m = -0.16 - 11.84. Let c = 10 + m. Let h = -360 + 7558/21. Do h and c have the same value?
False
Let d(k) = k**2 - 6*k - 8. Let t be d(6). Let j = 7 + -4. Suppose -2*p = -j*p. Is t >= p?
False
Let g = 219/130 - 18/13. Is g greater than 46?
False
Let o(t) = t - 1. Let x(r) = -2. Let d(c) = -3*o(c) - 3*x(c). Let a be d(-13). Is 50 < a?
False
Let m = 1.383 + -49.383. Is m equal to -1?
False
Let s = -2.79 - 0.11. Let j = 0.9 + s. Is j <= -1?
True
Suppose 3*x + 5*b = 9, -4*x + 9*b = 4*b - 12. Suppose 6*k - x*k = 0. Is -7 less than or equal to k?
True
Suppose 3*l + 2*l - 3*m = -14, 2*m - 1 = -5*l. Let v be l/1*(-44)/22. Which is smaller: 5 or v?
v
Let k(b) = b**3 + b**2 - 8*b + 3. Let j be k(2). Which is smaller: j or 2/565?
j
Let g = -2367 - -21301/9. Which is bigger: -732 or g?
g
Suppose -5*n = -10, n + 54 = -2*p - n. Let l be 1/6 - p/6. Suppose 0 = 5*u + 4*v + 17, -l*u + 4 = -3*u - 2*v. Is -1 <= u?
True
Let g be ((-2)/310)/(2/4). Let p = g - 12/31. Suppose 6 = -3*q - 2*l, l + 3 = 5*q - 0*q. Which is smaller: p or q?
p
Let y = -1/2142 - 118877/8568. Let a = y - -1649/120. Which is greater: -1 or a?
a
Let q be (90/12)/3 - 135/40. Which is smaller: q or 0?
q
Let n(d) = -d**2 + 11*d + 1. Let j be n(10). Let v be (4/5)/(4/60). Let m = v - j. Which is smaller: m or 1/4?
1/4
Let o be -1 + (-3)/(45/(-13)). Let b(y) = y**3 + 8*y**2 - 10*y - 9. Let d be b(-9). Suppose d*x + 3 = 3*x. Which is greater: o or x?
x
Let d = 159 - 180. Are d and -9 nonequal?
True
Let c be ((-2)/12)/((-1)/2). Suppose -9*r + 15 = -4*r. Suppose -10*a - r*a = 52. Do c and a have different values?
True
Let i be 317/(-190) - 6/(-4). Which is bigger: i or -1?
i
Let v = 6 - 4. Suppose -3*d - 1 = -5*d + m, 0 = -v*m - 6. Which is bigger: d or -4?
d
Let b = -4 - 1. Let t(w) = 1 - 1 - 1 - 6 - 5*w - w**2. Let m be t(b). Is -1 equal to m?
False
Let f = 2.8 - -11.2. Let u = f - 18. Let m = -1 - u. Which is smaller: m or -0.2?
-0.2
Let t = -216 + 216.1. Which is smaller: t or 322?
t
Let y = 2.3 + 1.3. Let m = 1.6 - y. Is m greater than or equal to -9?
True
Let k be 2152/260*10/(-168). Let n = k + 5/78. Let u = -0.038 - -0.238. Is u <= n?
False
Let c be (25 - 20)/(0 + -125 - 2). Is -1 not equal to c?
True
Suppose 4*o = 5*l - 3 - 10, 3*l = 5*o. Suppose o*q + 3 = -0*q. Let m be ((-234)/36)/(q/2). Is 14 greater than or equal to m?
True
Suppose -9*o = 1589 + 2803. Is -487 greater than or equal to o?
True
Suppose 5*k - 2*i - 595 = 0, -3*k - 2*k - 4*i + 565 = 0. Let v = -1288/11 + k. Which is greater: v or 1?
1
Let s be (-11 - -1)*(-36)/20. Let w be (4/(-5))/(s/45). Which is greater: -9/7 or w?
-9/7
Let f(h) = -h**3 - 2*h**2 + 7*h + 5. Let j(z) = z**2 + 5*z - 4. Let l be j(-5). Let y be f(l). Let o be 2/3*y/12. Which is bigger: o or 0?
o
Let r(y) = -y**3 + 9*y**2 - 2*y + 4. Let s be r(8). Let x = s + -47. Let k be 33/7 - 2/(-7). Do x and k have different values?
False
Let y(l) = l**3 - 7*l**2 + 5*l + 2. Let r be 2 + 11/(55/20). Let w be y(r). Is -3 less than w?
False
Let v(c) = c**3 + 3*c**2 - 8*c. Let b be v(-5). Let w(s) = 4 - s**3 - 1 - 2*s - 2*s + 3*s**2. Let k be w(3). Is b less than or equal to k?
True
Suppose -a + 2*a = 10. Let c(t) = -2*t + 20. Let y be c(a). Suppose -m - 3 + 7 = y. Which is bigger: m or 3?
m
Let f = 51 + -38. Suppose -6*q = f + 5. Which is smaller: q or -4?
-4
Suppose -3*p + 6*p - 4*k + 40 = 0, 0 = p + 4*k + 8. Suppose 0 = 3*j - 2*b + 33, -3*j + b + 4*b = 24. Which is smaller: p or j?
j
Let t(a) = a**3 + 23*a**2 - 4*a - 92. Let o be t(-23). Which is bigger: o or -10/59?
o
Let l be (-6)/8*(-92)/(-6). Suppose 48 = -t - 2*t - 5*h, -h - 3 = 0. Which is smaller: t or l?
l
Let l be (-2)/(-1*4) + (-950)/(-100). Let s be (-13)/((-325)/l)*235/4. Are 23 and s non-equal?
True
Let c be 233/(-828) + (-94)/(-1081). Is 1 < c?
False
Let c be -1 - (3/12)/(24/14692). Let r = c - -154. Which is smaller: r or -1?
-1
Let s = 8/7 - 127/105. Let x = -1 + 8/5. Let t = x - s. Is -3 < t?
True
Suppose 5*d = 2*o - 413 + 63, -2*o = 3*d + 226. Let r be d/(-15) + (-3)/(-15). Which is greater: 4 or r?
r
Let q(u) = -2*u**3 - 4*u**2 - u + 2. Let d be q(-2). Suppose 4*c - 4*y - d = 0, 3*c + c = 2*y + 4. Let o = 67/1023 - 1/1023. Which is greater: c or o?
c
Let z = -1.2 - -1.277. Let y = z + -0.087. Is 2/3 greater than y?
True
Let s = -55/57 - -31/19. Let g = 0.45 + -0.74. Let a = 1.99 + g. Are a and s nonequal?
True
Let p = -6/1411 - 3753/112880. Does p = -1?
False
Let m = 1.91 - 2. Let r = -2.91 + m. Let b = -36 + 35. Is r > b?
False
Let g(o) be the third derivative of o**5/30 - 13*o**4/12 + 11*o**3/6 - 9*o**2. Let a be g(13). Is a > 10?
True
Let s = 2796/5 - 557. Suppose 17*n - 22*n + 140 = 0. Let t = n + -27. Is t at most as big as s?
True
Let w(j) = -j**3 + 22*j**2 - 21*j - 6. Let u be w(21