 and t non-equal?
True
Let w be (2*(-3)/1)/(59/((-2065)/2450)). Are w and 6 nonequal?
True
Let i(p) = -2*p - 4. Let y be -1*5*(6/2 + -2). Let w be i(y). Let t be (10/(-15))/(-2) + 4/w. Are t and 0.04 unequal?
True
Let b = -3020 - -3019. Is b bigger than -74/87?
False
Let p be (-22)/30 - (-4)/10. Let l(g) = 52*g**3 + 3*g**2 + 11*g - 25. Let t be l(2). Let a = 6801/16 - t. Which is greater: p or a?
a
Suppose -10 = -x - 2*v + 3, 3*v - 24 = -3*x. Suppose x*h - 14 = 5*o, -4 = 10*o - 9*o. Let b = -833/5 - -166. Is b less than or equal to h?
False
Let d be (-270)/(-432)*((-4)/(-8) + 166/(-20)). Let b be -3*(-1 + (-7)/(-3)). Is b > d?
True
Let m(d) = 13 - 12*d - 3*d**2 - 2 + 11*d + 2*d**2. Let p be m(0). Which is smaller: p or 4?
4
Let h(n) = 125*n**2 - 755*n. Let c be h(6). Is c at least as big as -31?
True
Suppose m = -c - 143, 128 = 534*m - 535*m - 4*c. Which is smaller: -147 or m?
m
Suppose y + 3*t - 19 = 0, 0*y + 3*t + 37 = y. Let n = y + -29. Which is greater: -94 or n?
n
Suppose 2*h + 3432 = 4*j, 0*j + 5163 = -3*h + j. Which is greater: -1723 or h?
h
Suppose -2*p - 2*w + 2418 = 0, 478 = p + 4*w - 743. Is 1205 smaller than p?
False
Let k be (45/24 - 2) + 29543/(-102920). Let j be 6/12 - 162/332. Let v = j + k. Is v <= 4?
True
Let y = -98 + 34. Let a = -64.4 - y. Is -0.2 equal to a?
False
Let u be 44/7 - 5 - 6/6. Is 0.88 >= u?
True
Let i = 16806/3661 - 10/523. Let o(k) = k**2 - 42*k + 4. Let y be o(0). Is i equal to y?
False
Suppose 231*h - 867 - 288 = 0. Which is smaller: 744 or h?
h
Let d = 8.65 - -2.45. Let o = d + -11.4. Is 3 != o?
True
Suppose -7*a + 10*a + 5*x + 2709 = 0, 0 = 3*a - 2*x + 2688. Is a smaller than -897?
True
Let b = -334/3 + 1309/12. Let g = -0.065 + -0.935. Which is smaller: g or b?
b
Suppose -369*z = -12*z - 134232. Is 360 less than or equal to z?
True
Let n = 268 + -274. Let k be 5/n - (2 + -9 - -6). Which is bigger: k or -26?
k
Let d = -636706109/30286179 + 4/1044351. Let b = d + -38/29. Which is greater: -22 or b?
-22
Let l be (15 - (-638001)/(-42534))/((-2)/(-12)). Is 0 greater than l?
False
Let c(r) = 2*r**3 + 19*r**2 + 2. Let i(z) = 4*z**3 + 39*z**2 - z + 3. Let x(p) = -13*c(p) + 6*i(p). Let v be x(-6). Which is greater: -3 or v?
-3
Let c = -11813 + 11813. Suppose 2*z = 4*h + 12, -10 = z - 2*z - 2*h. Does z = c?
False
Let t = -14403 + 14401.16. Is 5 equal to t?
False
Let p be 70/30 + (-5)/(-3). Suppose 0 = -u - 5*f - 117, -3*f + 2*f = p. Which is greater: -96 or u?
-96
Suppose 21*i = -13759 - 76289. Are i and -4289 unequal?
True
Let n(l) = 120*l - 1632. Let q be n(15). Is q <= 167?
False
Let r be 35 + -10 - (-2)/(-1). Let j be r/5 + (-9)/(-15). Suppose o - 9 = 4*n, 2*n + 2*n - 16 = -4*o. Is j >= o?
True
Let g(w) = -952*w - 4528. Let d be g(-5). Which is bigger: d or 245?
245
Let j = 477 + -475. Suppose -3*u + j = -s, -u - 45 = -5*s + 3*u. Is 13 < s?
False
Let n(w) = 28*w - 191. Let o be n(-26). Let y = 912 + o. Which is smaller: y or -4?
y
Suppose -l - 29 = 3*l + 3*q, -4*q = 12. Let u(t) = -9 + 26 + 13 + 4 - 104*t + 56. Let n be u(1). Which is smaller: l or n?
n
Suppose -4*z + 3*j + 13 = 2, 0 = -2*z + 4*j + 18. Let d be ((-24)/20 - z)*10/2. Which is smaller: 12/53 or d?
d
Let n be (11368/(-5789) + 2)*(-9)/81. Which is smaller: 0 or n?
n
Let i = -70312/3 - -23793. Which is smaller: i or 356?
i
Let s be 655592/280 + 48/30. Is 2343 < s?
False
Suppose 8 - 4 = -5*p + 9. Which is smaller: p or -2/103?
-2/103
Let b be ((-116)/290)/((-6)/15). Suppose 3*s - 8*s = 2*f + 9, 1 = f - 3*s. Is f less than or equal to b?
True
Let t(k) = -8*k + 89. Let a be t(12). Let f = 101 - 109. Which is greater: a or f?
a
Let c be 7/(-119)*(2 - (-78)/(-42)). Let f be (15/(4 + -7))/(-1). Let x(p) = p - 5. Let y be x(f). Which is smaller: c or y?
c
Let l(z) = 22*z - 14. Let x be l(1). Let q be (1420/150)/(x/(-10)). Are -11 and q nonequal?
True
Let m = 91 - 92. Let c be ((-9)/(-4))/((-1)/4). Is m equal to c?
False
Suppose 0*j - 15 = -5*j. Let r(x) = -x**3 + 13*x**2 + 18*x - 23. Let k be r(14). Suppose 32*i - k*i = -1. Which is greater: i or j?
j
Let p(o) = o**3 - 14*o**2 + 13*o + 1. Let a be p(13). Let w be (-1*a)/(-42 - -43). Which is smaller: -1/162 or w?
w
Suppose -24 = -w - 3*w. Let a be 17/(-7) - (5 - w). Suppose 3 = 4*x + 11. Do a and x have different values?
True
Let l be -2*(6/(-4) + 0) + -4. Let n(y) = 18*y**2 + 2*y + 1. Let z be n(l). Is z >= 16?
True
Let c(r) = 20*r + 86. Let g be c(21). Let o be (2 - g/(-170)) + 15/(-3). Which is smaller: o or 0?
o
Let x = -93 + 375/4. Suppose -9*s + 0*s = 7*s. Let z be s/(1/4 + (-18)/8). Which is greater: z or x?
x
Suppose -31*z = -36*z - 4*a - 8, 0 = -4*a - 8. Which is greater: z or -8/673?
z
Suppose -317*o + 321*o - 4 = 0. Let c be (-4 + 5)*(-3 + o + 3). Is 1/552 != c?
True
Suppose -34 = -5*d + t, -d - 4*t - 6 = -t. Let q be -3 + 1 + d - 9. Let g(n) = -2*n**3 - 10*n**2 + 6*n + 4. Let b be g(q). Is b > -27?
True
Let x = 520 + -526. Let c be (-1)/x*(-7)/(49/14). Is c less than or equal to 1?
True
Let c = 991 + -1281. Which is greater: -2034/7 or c?
c
Let c be (-10)/(-3) + -3 + 20/(-6). Let k be 2 + (-6)/78 + c. Which is smaller: -1 or k?
k
Let v = 10.996 + -11. Let n = 1000 - 1000.1. Which is greater: n or v?
v
Let a = 1260.7 - 1261. Let u = -0.3167 + 15.4267. Let o = -0.11 + u. Which is smaller: o or a?
a
Let v be -13 + 13 + 1 + -2. Is -98/79 at least as big as v?
False
Suppose -3*a + 0 = -9, 17 = 2*p + 5*a. Suppose -4 = 5*l + 26. Let b = l + 11. Is b at most as big as p?
False
Let t be 210/44*((-33)/(-9) + -5). Let r = 2859/451 + t. Which is smaller: -1 or r?
-1
Let f = 5588 + -5588.1. Which is smaller: 8/639 or f?
f
Let f = -139.484 - -118.5. Let i = f - 0.016. Let y = i - 26. Is y bigger than 1?
False
Let v = -0.7 + -5.3. Let f = 11 + v. Let r = 16432 - 16428. Which is bigger: f or r?
f
Let r = 7595491/776 + -9788. Let d = r + -17087/3880. Let c = 0.4 - 0.3. Which is greater: d or c?
c
Let o = -117 - -244. Let n = -121 + o. Let p = 0.3 - 0.2. Which is smaller: p or n?
p
Suppose 9376 = 3*d + 2*y - 4767, -3*d = 4*y - 14153. Is 0 at most as big as d?
True
Let g(i) = i**3 + 6*i**2 - i - 3. Let f be g(-6). Let u(h) = -13109*h + 26217. Let b be u(2). Which is greater: b or f?
f
Let u be 2 + (-3 - 3 - -5). Is 88/243 bigger than u?
False
Let k = -8 + 7. Let y = 53 + 3. Let n = y - 56.3. Is k < n?
True
Let p = 1.8 + -0.75. Let b = 1.15 - p. Let k = 0.08 - 3.08. Which is smaller: b or k?
k
Let s = -22/359 - -7143/122419. Let z be (62/403)/(((-3)/(-6) - 0)/((-117)/(-36))). Is z equal to s?
False
Let n = 3.242 + 0.758. Is 228 at least n?
True
Let m = -26 + 57. Suppose -2*j - 20 = 4*l + 76, 0 = l - 3*j + m. Which is smaller: l or -19?
l
Let n = 3.83 + -4.03. Is n > 3359?
False
Suppose 2*v + 0 = -2*h + 274, 127 = v + 3*h. Let n = v - 129. Which is bigger: 22 or n?
22
Let o = -5517/4 + 60711/44. Is 16 at least o?
True
Let p(q) = -2689*q - 27. Let l be p(-2). Is 5351 at most l?
True
Let j be 25 - -5*(-1386)/270. Which is smaller: 338/5 or j?
j
Let n = 499 + -487. Let q be 15/n*-2 - (2 + -7). Suppose 5*o + 2*w + 9 = 0, 4*o - 4*w + 0*w = -24. Is q not equal to o?
True
Let c = -5419 - -5356. Let b = 13 + -74. Does b = c?
False
Let d be 2 - 3 - (-432)/33. Is 13 greater than d?
True
Suppose -4*v - 2386 + 790 = 0. Let r = 398 + v. Let u be (1/(-3))/((-303)/27). Are r and u unequal?
True
Suppose 5*x = 11*x - 1680. Let q = -273 - -553. Is q at most x?
True
Suppose -3*l + 130 = -5*w, 0 = 2*l + 2*w + 10 - 118. Let s(a) = -51*a + 1. Let h be s(1). Let f = l + h. Which is smaller: f or 1/15?
f
Let t = 38320 - 268242/7. Are t and 3707 non-equal?
True
Suppose 0 = -5*u + 102*b - 100*b - 4128, u - 5*b + 821 = 0. Is u < -9078/11?
True
Let q = 1.1 + -1. Let x = 106151/123 - 863. Is q >= x?
True
Suppose 3*z + z = 3*s - 144, -2*s = -4*z - 96. Let j be ((-71)/8)/(12/s). Which is bigger: j or -37?
j
Let g(y) = 2*y**2 - 6*y. Let b be g(3). Is b < 602?
True
Suppose 0 = -39*m + 30*m - 819. Let y be 13/(m/(-63)) + 4. Is y at most 21?
True
Let r(u) = 2*u**3 - 247*u**2 - 372*u - 366. Let o be r(125). Which is smaller: 555/53 or o?
o
Let r = -187 + 332. Let t = r + -145. Which is bigger: t or 1/108?
1/108
Let l(u) = 2*u**2 - 8*u + 13. Let d be l(6). Let f = -5 + d. Let p = -63 + f. Which is smaller: -29 or p?
p
Let f = -13 - -19. Let o be 