nd 0.024 non-equal?
True
Let i = 4410 - -1789. Is 6199 greater than or equal to i?
True
Let s(q) = -3*q**2 - 91*q - 690. Let g be s(-20). Which is smaller: g or -0.35?
g
Let a = -75 - -75. Let c be 5/10*(-2 + a) + 16. Suppose 2 = c*j + 2. Is -3 less than or equal to j?
True
Suppose 3*k - 7*k + 36 = 0. Suppose 24*h + 22*h - 27968 = 0. Suppose 0 = 8*m - h + 544. Which is bigger: m or k?
k
Let v be (13/39)/(2/(-12)) - -3. Let m be (-4 - (0 - 2)) + 14*v. Let q be 3/m - 7/28. Is q > 5/14?
False
Let k = -13921 - -13954. Are k and -62 unequal?
True
Suppose -35 = 5*d - 3*b + 4, 4*b = 2*d - 4. Which is greater: d or -23.1?
d
Let j = 0.072 - 0.072. Let s be (-2)/10 + (-521)/(-5). Let r be (-1 - (-68)/s) + (-2)/(-4). Do r and j have different values?
True
Suppose 0 = -4*j + 14 - 6. Suppose -4*m = 3*u - j*u + 18, -4*u - 16 = 2*m. Let p be (8/36)/(m/(-3)). Which is greater: p or -2/9?
p
Let q(b) = b - 42. Let x be q(6). Let s = -27 - x. Is 10 at least as big as s?
True
Suppose -4*u = -h - 16, 329*u - 328*u - 46 = -5*h. Which is smaller: -19.3 or h?
-19.3
Let v be -7 - (-15 - (-975)/(-30)). Is v smaller than 40?
False
Let b be 26840/(-66) - 4/3. Let j = b + 409. Which is greater: j or 3/88?
j
Let b(d) = -588*d + 76. Let a be b(8). Let f = a + 180502/39. Is 1 greater than f?
True
Suppose -17*a - 3*c = -13*a - 60226, -5*c = 5*a - 75280. Are 15058 and a unequal?
False
Let f(u) = 1265*u - 1884. Let j be f(2). Is j smaller than 2?
False
Suppose 2*h - 25 = 3*j, -30 = -62*j + 64*j + 2*h. Let c be ((-3)/(-2) + 1)*-10. Let b = c - j. Which is greater: b or -2?
-2
Let a = 8681 - 8681. Let o be ((-2)/24)/((-208)/14667). Let m = 77/13 - o. Do a and m have different values?
True
Let l be 2*(-3)/(-2 - 4). Suppose -l = -3*b - 4. Let h = -34.29 + -3.71. Is h less than or equal to b?
True
Suppose 17*f = 2091 + 1292. Suppose -49 + f = -z. Which is smaller: -149 or z?
z
Suppose 54*u - 3851 = 2575. Is 1 at least u?
False
Suppose -2 = 2*w, 2*o = 4*w + 2 + 2. Suppose -86*z - 730 = -81*z. Let s be (2/4)/(z/4). Is s less than o?
True
Let u = -1674.2 - -1674.14. Is u at most 927?
True
Suppose 0 = 3*l - l - 38. Let r be (((-2)/4)/(19/(-38)))/2. Which is smaller: r or l?
r
Let h = 119796 - 119857. Let n = 14 - 22. Is h less than n?
True
Let u be ((-450)/(-99))/25 - 20612/(-11). Which is smaller: 1876 or u?
u
Let m(r) = -4*r**2 + 34*r - 2270. Let l be m(36). Is l >= -6231?
True
Suppose -b - 24 = -5*b - 5*o, -o = -4*b + 24. Let k be b/4*(-444)/(-18). Suppose -282931*c + 282913*c + 666 = 0. Is c not equal to k?
False
Suppose 5*h - 2 = 9*a - 10*a, 0 = 2*a + 16. Is h != -22/101?
True
Let o = 29.29 + -82.29. Let p be (-7)/3 - (0 + -2). Is p <= o?
False
Let p = 17.7 - 9.6. Let s = 213 + -221. Let j = s + p. Is -0.49 smaller than j?
True
Suppose -6*d - 105 = -135. Let w be (-5 + 6)/((-5376)/(-1076) - d). Which is bigger: w or -268?
-268
Let l be (338/10 - 4) + -4. Let c be (156/16)/(-2 - (-57)/24). Are c and l nonequal?
True
Let r be 22/(-154) - (-4761)/7. Suppose 0 = -y - 0*y - 5*g + 146, 4*y - 4*g = r. Is 1/5 smaller than y?
True
Let h = 256 + -256.345. Let s = -1.655 + h. Which is bigger: -147 or s?
s
Suppose 5*g - 35 = -5*t, 4*t + g + 2*g = 31. Let d be (25/t)/(20/8)*59. Which is smaller: 1 or d?
1
Suppose -5*o - 3*b = -108, 5*o = 10*b - 6*b + 101. Which is bigger: o or 377/19?
o
Suppose 5*m = 2*h - 268, -4*h - 70 - 122 = 4*m. Suppose 0 = z - 4, -24*z - 8 = 5*v - 26*z. Let t be v + (m/10)/((-10)/25). Are t and 4 equal?
False
Let p(q) = 342*q - 1709. Let z be p(5). Are 2/7545 and z unequal?
True
Suppose -f = -3*m, -5*m + 6*f = 9*f. Suppose -2*a - 24 = -2*x, m*x - 4*x = 3*a - 27. Is 31/4 greater than or equal to x?
False
Suppose -3*n + 16 = -15*m + 17*m, 0 = 4*n - 3*m + 24. Which is smaller: -33/986 or n?
-33/986
Let q = 27/3992 + -13980065/11976. Is q != -1168?
True
Suppose m = -4*u + 28, 3*u - 4 = u + 2*m. Let f(c) = 3*c - 21. Let k be f(u). Which is smaller: k or 0?
k
Let i be 8/(-2) + 4496/(-448). Let c = -55/4 - i. Which is bigger: c or 120?
120
Let f = 91.3 - 84. Let w = 2.3 - f. Is 15 >= w?
True
Let x(f) = -2*f**3 + 68*f**2 + 2*f - 63. Let p be x(34). Suppose v - 2*y - 131 = -7*y, p*v = 2*y + 655. Which is smaller: v or 132?
v
Let q = 1.94 - 2.1. Let d be (30/9)/5 - (-119)/(-156). Let j = -2/13 + d. Which is smaller: j or q?
j
Let i = 908 - 2078. Let k = i + 1171.971. Let q = 0.029 + k. Is q at least 0?
True
Let m = 5871 - 76325/13. Which is smaller: -615 or m?
-615
Let x = -12877.9 - -12988. Which is smaller: x or 0.1?
0.1
Let k = 418 - 419. Let r be ((-20)/160)/((-3)/(-28)). Which is bigger: k or r?
k
Let b be (6/10 - 672/1220)*24/9. Which is smaller: b or -0.3?
-0.3
Let s be 77/((-385)/(-4)) + ((-164)/(-5))/4. Suppose -a + 2*g = -27, 4*a + 47 = 3*g + 155. Which is smaller: a or s?
s
Let q(d) be the first derivative of -1/2*d**2 + 22 + 0*d - 2*d**3. Let i be q(1). Is i greater than or equal to 2?
False
Let p = -743521/4 + 186997. Which is smaller: 1116 or p?
1116
Suppose 132*c = 147*c - 285. Suppose -2*o = 5*j - 0*j - 16, -24 = -3*o + 2*j. Suppose 5*w - o = -p, 5*p - 50 - 32 = -4*w. Is c smaller than p?
False
Let o = -72503/9605244 - 2/72767. Do 1 and o have the same value?
False
Let r = -88 - -91. Suppose 72 = x + 13*i - 9*i, -r*i + 67 = x. Let k be 1/5 + 254/5. Is k at least as big as x?
False
Let h = -15072 - -12833. Is h bigger than -2239?
False
Let q be 4/(-11) - (-8 - 308826/(-330)). Is q < -927?
True
Suppose 0 = 40*r - 621 + 1501. Let m(p) = -4*p + 9. Let k be m(8). Is r greater than k?
True
Suppose -8 = 4*w, 2*i - 3*w = -2*i + 94. Suppose -10*j + 31*j = 17*j. Suppose j = -3*k + 5 + i. Which is greater: k or 7?
k
Suppose -336 + 394 = -2*z + 4*a, -2*z + 3*a - 63 = 0. Is z equal to -6?
False
Suppose -3*u + 3*a + 9 = 0, -3 + 16 = 5*u - 4*a. Let q(d) = 8*d**3 + d**2 - 2. Let w be q(u). Let j be 4/14 + (-1)/(w/(-19)). Which is bigger: -3 or j?
j
Let o = 2.733 + 48.267. Is o at most 14?
False
Suppose x - 3*x = -4*d - 6, 1 = -x. Let c be 1/(-2) + (-5)/d. Let f be 120/(-32) - c/8. Is f less than -6?
False
Suppose 1087 = -17*w + 11418 + 6720. Which is greater: w or 1002?
w
Suppose -9*o - 15 = -6*o. Let u = o - -3. Let s be u/10*8*75/(-30). Which is smaller: s or 7/2?
7/2
Let t = 341 - 569. Let l = 227 + t. Let k = 0.2 + -0.2. Is l less than k?
True
Let p(q) = -18*q**2 - 900*q - 1. Let n be p(-50). Let l be (-19)/42 + (-2)/4. Which is bigger: l or n?
l
Let x = -10691 - -10831.5. Which is smaller: x or -6?
-6
Let t(i) = 111*i - 72. Let n(w) = 37*w - 25. Let s(a) = 21*n(a) - 6*t(a). Let c be s(4). Does 351 = c?
True
Let a = -0.2 + -32.8. Let n = a + 31.8. Let p = 0.2 + n. Which is greater: p or 32?
32
Suppose -27 - 33 = 3*x - 4*l, -l = -5*x - 117. Let q be -6*(4 - (-1 - -1)). Is x less than q?
False
Suppose -4*p - p = 7*p. Let u be 19/(-38)*(-4)/(-370) + p. Is 2/5 != u?
True
Let p = -20 + 42. Suppose -p = -2*y - 2*q, -4*y + 4*q + 2 = -2. Suppose 9*w = y + 12. Is 0 greater than or equal to w?
False
Let g = 29394 + -29566. Let o be (-3081)/18 + 5/(-15). Are g and o equal?
False
Let i = -1792 + 2658. Is i equal to 866?
True
Let v = 11586 - 9951. Which is greater: v or 8174/5?
v
Let g = 210 - 208. Let d be 644/207*g/21. Suppose -5*h = -2*h. Which is greater: d or h?
d
Let i = -150585808/44061 + 10253/3. Is -1 < i?
True
Let o = 10 - -1. Let z = 17 - o. Suppose 0 = -k - 3*f - 23, -4*f + z*f = -5*k - 128. Is k smaller than -25?
True
Let z = 72 + -152. Let g = z - -116. Which is greater: g or 35?
g
Let h = -1022 + 1028. Is h greater than or equal to 35?
False
Let z = 74 - 97.9. Let a be -4*(-9)/(-60)*8/12. Are a and z equal?
False
Let d = -221731/7047912850 + 7/111122. Is d less than or equal to 1?
True
Let g be 2/6 - 1/3. Let x be (-2)/(-2*(-77)/(-33))*(-49)/(-2324). Which is bigger: x or g?
x
Suppose -o + 3*l + 217 = 0, 4*o + 422 = 6*o - 3*l. Let a = o - 203. Which is greater: -45 or a?
a
Let k be (2310/253 + -10)/(-10 - -3). Are 0 and k unequal?
True
Suppose 0 = 5*b - 4*b + 18. Let t = -304/17 - b. Suppose 34*x - 16 = 36*x, 5*x = 3*c - 28. Which is smaller: t or c?
c
Let l = -9034 - -10055. Which is smaller: l or 1026?
l
Let v = -4/44613 - -11440760/44613. Which is bigger: 257 or v?
257
Let h be (-5)/((-10)/(-3))*8/(-3). Suppose 3*b = 2*o - 7*o - 8, -h*b = -2*o + 2. Which is bigger: -2