 Let n = 368 + o. Do 75 and n have the same value?
False
Suppose -3513*y + 9282 = -3499*y. Are 662 and y non-equal?
True
Suppose -o - 5*b = -28, 2*o + 9*b - 11*b + 4 = 0. Suppose -20*s - 131 = -2*f - 23*s, -f + o*s + 61 = 0. Do f and 64 have the same value?
True
Let q be (1*206)/(((-11)/(-1551))/(7/(-14))). Is q greater than or equal to -14523?
True
Let n(l) = -6*l**2 + 7*l - 20. Let i be n(20). Are i and -2280 nonequal?
False
Suppose 7*n + 182 = s, 4*n - 130 = 9*n - 5*s. Suppose z = 2*f + 68, 2*f - f + z = -31. Let x = n - f. Is 0.1 greater than x?
False
Suppose a - 39 = -s - 5, -15 = -3*s. Let i = 897 + -897.1. Is a not equal to i?
True
Let h(t) = t**3 + 2*t**2 + 8*t + 7. Let c be h(-4). Let y = c - -62. Suppose y*f = 20, -4*b - f + 12 = -0*b. Is 16/7 at most as big as b?
False
Suppose -43 - 53 = -2*f. Let p = -51 + f. Let w be (-26)/p - (-10)/(-15). Which is smaller: 0 or w?
0
Let r(k) = 2*k + 35. Let u be r(-16). Suppose -q + 194 = u*z, -122 = z - 3*z + 3*q. Is z at most -0.1?
False
Suppose 5*g - 3*q + 2165 = 0, -29*g + 4*q = -26*g + 1299. Which is smaller: g or -434?
-434
Let p = -29.121 - -0.121. Let l = p + 29.09. Let r = 2.3 - 2.7. Which is smaller: l or r?
r
Let y be (-18)/(-4)*30 + 8/2. Let j = y - 141. Which is bigger: -1.5 or j?
-1.5
Suppose -2636 = -415*k + 6947 - 2113. Is k at most -134?
False
Let a = -198 - -210. Let v be ((-6)/a)/((-2735)/(-20)). Do 1 and v have the same value?
False
Let r = -15 - -19. Suppose r*i - g + 13 = 0, 4*g = -2*i - g - 23. Let j(t) = 2*t**2 + 10*t + 6. Let a be j(i). Do 2/7 and a have the same value?
False
Let s be 8 - 2/(32/136). Let f be 3/((1443/65)/(8/(-10))). Is f less than s?
False
Suppose 5*k + 419 + 81 = 5*f, 0 = 5*k + 2*f + 472. Is 0.08 less than or equal to k?
False
Let d = -5162 + 5319. Is -5 > d?
False
Let c be (13065/(-273) + 47)/((-1)/(-1043)). Is -897 at least as big as c?
False
Suppose -6*y + 10*y - 11 = -5*s, 0 = -s - 4*y + 15. Let g be 6*2/3 + s*277. Is g != -0.1?
True
Let b be 1/(-5) - (-54)/(-30). Let z be -1*(b/(-12) + 13/(-150)). Which is smaller: -2 or z?
-2
Let f be (-9 + 0)*34/(-6). Let q be -6 - -5 - 50/(-1). Is f < q?
False
Let p(z) = -z**3 - 11*z**2 + 47*z - 39. Let g be p(-14). Is -328/3 at most g?
True
Let j = -1443665 - -15868816/11. Let o = j + 1048. Is 2 less than o?
True
Let u = -8.809 - -8.798. Is -108 at least u?
False
Let y = -3682 - -3683. Which is smaller: 2/32207 or y?
2/32207
Let w(v) = -v**3 + 10*v**2 + 12*v - 12. Let g be w(11). Suppose -3*n + 7 + 2 = 0. Let s be (2/(-30)*n)/(1/3). Which is smaller: s or g?
g
Suppose -7*o + n - 2264 = 0, -4*n + 653 = -4*o - 651. Is o greater than or equal to -323?
True
Let q be 154/21*9/(-6). Is -23 <= q?
True
Let i(c) = c**3 + 4*c**2 - 3*c. Suppose z - 12 = -0*d - 2*d, z = -d + 7. Let f be i(z). Suppose -3*n - q = 2*q - f, q + 9 = 4*n. Do 2 and n have the same value?
False
Let u = 10943 - 10942. Which is greater: u or 2/6079?
u
Let b = 0.38 - 19.38. Let n = b - -29. Let i = n - 10. Which is greater: -4 or i?
i
Suppose -5*m - z + 3 - 5 = 0, 3*m - 4*z = 8. Let x be -2 + (-1)/(1/1) + 5. Let w be 34/138 + x/(-6). Is w < m?
True
Let x = -2244 - -2240. Which is smaller: x or -242?
-242
Suppose 0*u + 12 = -2*u. Let s be ((-3)/(u/4))/6. Let k(x) = -22*x**2 + 1121*x + 50. Let m be k(51). Which is greater: s or m?
s
Suppose 22*f = -7*f - 6264. Let x = f - -151. Is -64 at most as big as x?
False
Suppose -1578 = 29*k - 8016. Let s be ((-12)/(-10))/(k/120 - 2). Which is bigger: s or -80/9?
s
Let n = -121 + 122. Let x be 545/(-247) - (-12)/78. Let d = x + 603/266. Is d at most n?
True
Let d be (-38)/(2660/30) + (-142574)/(-332738). Does 0 = d?
False
Suppose 3*p = 7*p - 16. Suppose p*r - m = -16, 0 = -2*r - m - 4*m - 30. Let w = -3 - r. Which is greater: 3 or w?
3
Suppose 10*g - 1615 - 645 = 0. Is g at least 229?
False
Let q be ((-3306)/261)/(200/6) + 0 + 1. Is 0 < q?
True
Let q = 48140 + -48140. Let y = -825/2 + 427. Is q at least as big as y?
False
Let o be (-4 - 2)/18 + 8/18. Let r = -13 + 13.32. Let j = r - 0.42. Which is smaller: j or o?
j
Let i = 6 + -6. Let j = 5690 - 5621. Is i not equal to j?
True
Let a = 874 - 10483/12. Let k = -3 + 2. Which is smaller: k or a?
k
Suppose 56 = 4*u - 0. Let m be (-12)/48*u*12/2. Are m and -20 equal?
False
Suppose -48 = 26*r - 22. Let p be 443/2694 + ((-4)/24 - 0). Which is greater: p or r?
p
Let j = -5.97936 + -0.02064. Which is smaller: 267 or j?
j
Let l = -121.74 - -123. Let u = l + -0.52. Let w = -0.38 + u. Which is greater: -0.1 or w?
w
Let v be 5/20*1*-3. Let j = 6.96 + 0.04. Let s = j - 7.02. Which is bigger: s or v?
s
Suppose -148*i = -144*i - 1040. Which is smaller: 262 or i?
i
Suppose -f + m = -3*f - 5, 0 = 4*f + 4*m + 12. Are f and -119 unequal?
True
Let q = 60 - 60. Let n be ((-8)/(-2))/(-4) + -3. Let p be (-6)/n*(-24)/(-198). Is p >= q?
True
Let v = 264 + -385. Let c(f) = 41*f + 973. Let g be c(-21). Let d = v + g. Is d at least as big as -9?
True
Let b(o) = 3*o**2 - 17*o + 2. Let w be b(10). Suppose 3*x + w = 5*f, -2*f = x + 3*f + 64. Let z be 14/x + 6*62/1449. Which is greater: 0 or z?
0
Let u = 70400/1819 - 81774991/1840828. Let a = -9/92 + u. Let o = -466/99 - a. Which is smaller: 1 or o?
1
Let c be 1*8/((-24)/(-3)). Let x be (26/(-19786))/(c - 0). Which is smaller: x or 0?
x
Let v be ((-130)/(-3055))/(1/1 + -2). Suppose 15 - 67 = -4*m. Suppose 7 = 3*r + m. Which is smaller: r or v?
r
Suppose 2*f - 100 = -10*r + 7*r, -3*r = 4*f - 98. Let k be r/170*(167/(-172) - -1). Which is smaller: 1 or k?
k
Let q(d) = 14*d**2 - 5*d + 4. Let r be ((-3)/(-6))/(1/2). Let u be q(r). Suppose 0 = 9*k - u*k + 100. Which is smaller: k or 23?
23
Let o(p) = -2*p**2 + 46*p + 83. Let c be o(24). Suppose 693 = -c*j - 77. Let y(s) = -20*s**2 - 2*s + 1. Let b be y(1). Is b at least as big as j?
True
Let o = 4 + -4. Let f be (-6)/36 + (-3)/9 + (-98)/(-4). Is f <= o?
False
Let s = -0.408 - -0.854. Let t = s - -0.754. Which is greater: -7 or t?
t
Let b = -1 - 1. Let g(d) = 6*d**2 + 42*d - 45. Let j be g(2). Is b >= j?
False
Let z = 693 + -684. Suppose z*v = 18*v + 9. Which is bigger: v or -2/791?
-2/791
Let f(i) = i**2 - 14*i + 69. Let l be f(5). Let u be -4*(-2)/l - 4/30. Let s be ((-1)/1)/(-10)*-6. Which is greater: s or u?
u
Suppose -7*x + 11*x - 1872 = 5*b, -1401 = -3*x + 3*b. Suppose 3*t - 5*y = -0*t - x, 2*t = -y - 313. Which is smaller: -157 or t?
-157
Suppose -3*m - 62 = -19*v + 14*v, 52 = -4*m - v. Let x = -20 - -3. Let q = -27 - x. Which is bigger: q or m?
q
Let z(p) be the third derivative of 5*p**4/24 + 17*p**3/6 - 65*p**2. Let n be z(-5). Let m = 24 - 35. Which is smaller: n or m?
m
Let m = 1/145081 - -722379/439015106. Which is smaller: -1 or m?
-1
Let q = -0.798 + -6.202. Is -1159 >= q?
False
Let z be 6/10 - 7821/(-15). Is 523 at most z?
False
Let y = -7492 - -7487. Is -82/13 equal to y?
False
Let h be 3/12 - (-9)/12. Suppose -2*g + 5 = h. Suppose -g*u - 76 = 3*q, 120 = -4*q + 3*u - u. Do -28 and q have different values?
False
Suppose -230*y - 66701 = -647911. Which is smaller: 7585/3 or y?
y
Let p = 689.9 - 475. Is p at least as big as 0.1?
True
Let y = -25.442 - 0.058. Let r = y + 22. Let u = r - -3.83. Which is bigger: u or 0?
u
Let z be (26/8)/((-2)/(-4 + -68)). Let w be (-13)/(z/(-1260)) - -6. Which is greater: w or 147?
147
Let z = 2443052204/113 - 21619587. Let r = z - 344. Which is bigger: 1 or r?
1
Suppose -12*a + 23*a = 2508. Suppose 2*i + 2*b = -228, a = -2*i + 4*b - 3*b. Is -113 at least i?
True
Suppose 0 = -d - 2*w - 1, 5*d = d + 4*w + 8. Let v = 261 + -236. Let j be ((-3)/(-15))/(18*(-5)/v). Which is smaller: j or d?
j
Let d be -2*11/(20 - -149393). Which is smaller: 0 or d?
d
Let g = 62645/7 + -8975. Suppose -2*m - 33 - 17 = 0. Is m <= g?
False
Let g be 17 - 23 - (-3)/1. Let a be ((-104)/(-1690))/(g*2/45). Do -1 and a have different values?
True
Let c be 7/2*(-12)/(42/7). Let p be c/(-35) + 68/10. Are -8 and p equal?
False
Let s = -2/149 - 135/1043. Let i = -23.99 - -24. Are s and i unequal?
True
Let y(n) = -495*n**2 - 2*n - 1. Let v be y(-1). Are v and -492 equal?
False
Suppose -5*c + 85 = i, 2*c = -4*i - 0*i + 34. Let f be -11 + 3838/133 + 0. Which is bigger: c or f?
f
Let y = 2740 + -1915. Let c = y - 824.4. Which is smaller: c or 60?
c
Let y = -3731 + 3718. Which is smaller: 