d 41 nonequal?
True
Let y be (-270)/12*1/5. Let r = -12 - -19. Let c = r + -12. Which is greater: y or c?
y
Suppose 3*s + 9 = 0, -5*y + 2*s = -2*s - 167. Suppose -3*u + 61 + 20 = 0. Let h = u - y. Which is smaller: h or -1?
h
Let f be 3 - (250/5 + 1). Let b = f + 48. Which is smaller: b or 30?
b
Let q be (-3)/(6/4) + 2. Let l be (-2)/3*1*2. Is q >= l?
True
Let s = -1654.5 + 1654. Is s < -66?
False
Let r = 921.9 + -922. Which is smaller: -419 or r?
-419
Suppose -u - 42 = -3*p, 2*u - 69 = -4*p - u. Let y be (20/p)/(14/3). Suppose 0 = 5*o - a + 29, o = -0*a - 2*a + 3. Is y at least as big as o?
True
Suppose -3*b - 16 = 5*y, 2*y + 3*b = -2*b - 14. Let o be 3 - (3/y - (-284)/56). Is 0 at least as big as o?
True
Let i be (-124)/6 - ((-9)/36 - 0). Let h = i - -20. Is -1 at least h?
False
Suppose -g = 3*q - 16 - 701, 0 = 5*g + q - 3655. Which is smaller: g or 733?
g
Let j = 5 + 1. Let n be 7 - j - 1/(-3). Let p = 35 - 34. Which is greater: n or p?
n
Let k(j) = -j**2 + 9*j. Let x be k(9). Do x and -1/42 have different values?
True
Let d = 4 + -4. Suppose k - 14 = -2*g, k - 5*g + 31 - 10 = d. Let w be -3 + ((-78)/(-9) - 3). Which is smaller: k or w?
w
Let t = 7 + -6. Let p = -9 + t. Let x = -7.2 - p. Is -0.1 >= x?
False
Let i = -46 + 51. Suppose 5*t - 14 = 2*z, -2*t - i + 16 = z. Is t less than 1?
False
Let x be 9496/6320 - (-6)/(-4). Which is greater: x or 0?
x
Let l = 1971 + -49283/25. Let m = -38/1447 - -95867/289400. Let w = l - m. Which is smaller: -2 or w?
-2
Let p = 3467 - 2269. Suppose -p = -2*z + 122. Let q be 2/11 - (-144)/z. Which is bigger: 0 or q?
q
Let d be (80/6)/((-8)/(-36)). Let n(r) = -2*r**2 + r + 54. Let i be n(-5). Is i equal to d?
False
Let k be 14/5 - (-24)/(-30). Let g be k + (-4 - (2 - 4)). Suppose g = 2*p + r + 2, p - 4*r = -0*r + 17. Is p < 0?
False
Let b be ((-14)/(-9) - 0)*(-1056)/(-112). Let t = -6 + b. Is 10 at least as big as t?
True
Suppose -v = 5*m + 415, 5*v - v + 64 = -m. Is -83 greater than m?
True
Let v(p) = 2*p**3 + p**2 - 2*p + 4. Let x be v(4). Let l = x + -143. Which is smaller: l or -11/4?
l
Suppose 2*y + 12 = -2*z, -4*z = -0*y + 3*y + 22. Let q be z/(-12) + 1/3. Let i be (-4)/(-14) + 15/21. Which is bigger: q or i?
i
Let c = -10/53 - -263/1113. Suppose -3*p + d + 20 - 14 = 0, 6 = -d. Which is smaller: p or c?
p
Let m = -0.3 - 1.1. Let b = -2.4 - m. Do 16/3 and b have the same value?
False
Let u be 30/1425*10/6. Does u = -0.036?
False
Let m = -4.01 - -4. Let v = m + 0.11. Let a = -34.1 - -32.1. Is a > v?
False
Suppose -q - 220 = 2*g, 0 = q - 2*g + g + 205. Let w be (-250)/q - 2/2. Which is bigger: w or 0?
w
Let n = 270 + -310. Which is smaller: -42 or n?
-42
Suppose 130 - 814 = -36*i. Which is bigger: i or 27?
27
Let q = 903 + -780.8. Let w = q - 137. Let d = w + -1.2. Which is greater: d or 0.1?
0.1
Let f = 3.35 - -155.65. Let z = -177 + f. Is z equal to 0?
False
Suppose -70 = -b - 4*q, q + 287 = 3*b + 2*b. Let g = b - 34. Suppose -8*w = -2*w + g. Which is smaller: -1 or w?
w
Suppose 3*n + 1 = -5. Suppose 3*m - 53 = 28. Let r be m/15*1 + n. Are r and -0.2 non-equal?
False
Let p be 1 - (1 - -3 - -3)/(-9). Let u = -94/9 + p. Is u less than or equal to -10?
False
Suppose 0*c - 5*c - 3*s = -96, 45 = 2*c - s. Suppose -5*k = -20, 0 = -m - 3*k - 0*k + c. Are 1/3 and m unequal?
True
Suppose -4*u - 3 = v, -8 = u - 5*u. Let o = -7 + 15. Let j = v + o. Is j at least as big as -4?
True
Let v be (-2)/(1 - 2) - -135. Suppose a = -3*a - 3*s + 147, v = 4*a + s. Suppose -5*r = -2*r - a. Which is bigger: r or 10?
r
Let w(z) = z + 18. Let y be w(-11). Let m = y + -21. Let l(h) = -h**2 - 15*h - 13. Let u be l(m). Which is smaller: u or -1/9?
-1/9
Suppose f = 2*z + 4, -5*z - f = 2*f + 21. Let k be 3/6 + z/14. Let y = -252 - -247. Is k <= y?
False
Suppose -3*d = 2*r - 12, 3*r - 6 = -4*d + 13. Suppose 2*k + r = 3*h, 0*h + 1 = -h. Let j be (k + 7)*(-16)/(-14). Which is greater: j or 1?
j
Let h(w) be the third derivative of -w**6/120 + w**5/20 - w**4/8 + w**3/3 - w**2. Let v be h(3). Let c = -451 - -453. Is c < v?
False
Let g = 95 + -84.4. Let a = -92 + 81. Let c = g + a. Is 1 less than or equal to c?
False
Suppose -5*t + 35 = -5. Suppose 4*p + 0 = -v + t, -5*v + 40 = 3*p. Which is bigger: 13/2 or v?
v
Suppose 4*j + 2*d - 4*d + 156 = 0, -3*j + 4*d - 107 = 0. Let v = 69 + j. Let f = v - 28. Does f = 3/10?
False
Let p = 7.4 + -0.4. Let k = p - 8.2. Let y = 1.1 + k. Is y smaller than 0?
True
Let o = -1653/5 + 331. Suppose y + 40 = 5*y. Let j(p) = p**2 - 11*p + 10. Let f be j(y). Is o >= f?
True
Suppose -3*t + 8*t - 126 = -4*s, 4*s + 56 = 2*t. Let d = t - 26. Let u be 12/8*8/126. Which is bigger: u or d?
u
Let y(n) = -16*n + 137. Let b be y(6). Which is bigger: b or 45?
45
Let h be 15*5*3/45. Suppose h*a = 6*a - 1. Let m be 1 - (-1 - (-40)/19). Are m and a equal?
False
Let r be ((-9)/12)/((-6)/24). Does 50/19 = r?
False
Suppose -45 = -2*r - r. Suppose 10*j = r*j. Suppose -3*t = -j*t. Is t at most -1?
False
Let z = 1714.5 - 1714. Which is greater: -201 or z?
z
Let y(o) = -22*o + 666. Let t be y(20). Is 224 at least as big as t?
False
Let d(n) = -n**2 + 14*n + 1. Let h be ((-210)/(-15))/(2/(-5)). Let c = -21 - h. Let s be d(c). Is s at least as big as 2/51?
True
Let v = 7 + -1. Let w = -11 + 1. Let z = 12 + w. Is z at most as big as v?
True
Let d = 49 + -98. Suppose 264 = 4*h + 460. Is d less than or equal to h?
True
Let z be (-2)/1*(-28)/56. Which is smaller: z or 2/1719?
2/1719
Suppose -2*p + 7 = -5*n, 3*n + 25 - 4 = -3*p. Suppose 3*g = -2 + 8. Let w be 1/g*(-4 - p). Which is bigger: 1 or w?
1
Let u(b) be the second derivative of -b**5/20 + 13*b**4/12 + 3*b**3 - 15*b**2/2 + 39*b. Let o be u(14). Is o at least 40?
True
Let g(p) = 3*p**3 + 4 + 2*p + 2*p**2 - 7*p**2 + 11*p**3 - 16*p**3. Let x be g(-4). Which is smaller: 43 or x?
43
Suppose 5*r - 16*r = -33. Let k be (-1 - 0 - -7) + 1. Suppose k = -r*g + 25. Is 6 at most g?
True
Let l = 49 - 32. Suppose -21*o = -l*o. Let d be (-3)/(-6) + 27/(-14). Is o <= d?
False
Suppose 4*p = p - 3*u + 132, -p + 34 = 3*u. Suppose 0 = 4*h + p - 9. Let g(a) = -10*a - 70. Let j be g(-6). Is j greater than or equal to h?
True
Let o = -10 - -19. Let j(w) = -w**3 + 10*w**2 - 10*w - 9. Let c be j(o). Is c not equal to -17?
True
Suppose 2*d + 5*w + 69 = -78, 5*d = -4*w - 410. Which is smaller: d or -83?
d
Suppose 62 = v - s - 28, 0 = -4*v - 3*s + 332. Let i = 87 - v. Is 48 > i?
True
Suppose 3*q - 4 + 27 = -m, 15 = -5*q. Let n(c) = -4*c + 2. Let i be n(5). Which is bigger: i or m?
m
Let o be (1/(-40))/((-931)/588). Which is greater: o or 0?
o
Let u(c) = c**2 - 23*c - 155. Let b be u(28). Suppose -47 = 3*q - 4*t + 48, -5*q + 4*t - 145 = 0. Let w = q - b. Which is smaller: w or -11?
-11
Let s be (-1306)/(-6480) - 6/30. Which is greater: s or 0?
s
Suppose -11 = d - 7. Suppose 0 = 4*p + 31 + 53. Let a = -26 - p. Which is smaller: d or a?
a
Let a = 1250 - 1249.86. Which is smaller: -2/7 or a?
-2/7
Suppose 0 = -5*b + 270 - 200. Is 25 bigger than b?
True
Let m be 6*10/15 + 456/(-124). Which is smaller: m or 1?
m
Let h = -0.1 - 0.14. Let f = h + 0.24. Is f less than 0.8?
True
Let m = -119/6 - -52/3. Let y(l) = -3*l**2 - l - 1. Suppose 2*o + 3 - 1 = 0. Let s be y(o). Which is smaller: s or m?
s
Let x(w) = 7*w**2 - 2*w - 2. Let z be x(2). Let t = z - 22. Let v = 5 - 4. Are v and t equal?
False
Suppose -5*o + 3*v = 18, 2*o + 9*v + 16 = 8*v. Let c(l) = 2*l**2 + 10*l + 4. Let r be c(o). Is r less than or equal to 33/2?
True
Let h = -14231/15730 - -58/65. Are h and 1 equal?
False
Let k = 11.4 + -11.4. Suppose 0 = 4*y - 3*q, 0 = -5*y + q - 12 + 1. Which is bigger: y or k?
k
Let i(k) = -k**3 + 2*k**2 + k - 1. Let g be i(1). Let h be 54/(-16)*(-70)/(-15). Let s = -15 - h. Which is smaller: s or g?
s
Suppose 5*q + 15 - 5 = 0, -2*x - 5*q + 824 = 0. Is x at least as big as 417?
True
Let n(v) = 2*v**2 + 17*v - 17. Let s be n(-7). Is -38 smaller than s?
False
Let g = 102.2 - 102.4. Which is greater: 0.36 or g?
0.36
Let b be (-2*(-4)/8)/49*3. Let a = b + -87/49. Let q = -4 + 3. Which is smaller: a or q?
a
Let o = 12 - 7. Suppose -82*g + 302 = -9*g + 10. Is g != o?
True
Let k = 19.03 + -12.83. Which is smaller: 1/14 or k?
1/14
Suppose 6*u + 40 = 8*u. Suppose 0 = -c - 0*c, -u = r - 3*c. Let x = -179/9 - r. Which is smaller: 0 or x?
0
L