75. Let v = x + 75. Which is greater: a or v?
a
Suppose -42*z + 1057 = -791. Let b be 55/z - 382/4. Is -95 not equal to b?
True
Suppose 3*g - 5*n - 220 = -0*n, -n + 348 = 5*g. Suppose -13*o + 12*o = 6*d - 414, -5*o = -5*d + 345. Which is smaller: g or d?
d
Let v = 38.67 + -40.67. Is -5/24 bigger than v?
True
Let i = 19556189861 - 839449449702659/42925. Let p = i - -2/2525. Let a = -751/408 + p. Is a at least as big as 1?
False
Let k = -4885 - -4879. Which is smaller: k or -0.144?
k
Suppose 0 = 4*w - 5*i - 535, 0 = 5*w + 2*i - 4*i - 656. Suppose 0 = -21*c - 5*c + 156. Suppose -w = -11*x + c*x. Is 26 at least as big as x?
True
Let m(g) = 12 - 13*g + 96*g**2 + 89*g**2 - 184*g**2. Let i be m(4). Which is bigger: -18 or i?
-18
Let u be (-1694)/104 + (-12)/(-16). Which is greater: u or -0.1?
-0.1
Let g be (2 - 1)*(1 - (1 - 30)). Let u = g + -9. Suppose 18*p = u*p - 18. Is 7 less than p?
False
Let z be (-160)/900 - ((-106)/15 + 7). Are z and 13/18 nonequal?
True
Suppose -2*y - k + 124 = -4*y, 0 = y - k + 62. Let v = y + 32. Let g be v/14*(-18)/15. Is g less than -0.1?
False
Suppose -2*k - 5*y = -23, k - 6 = -2*y + 3. Let z be (5 + 5 + 53)*k. Is -67 less than z?
True
Suppose -132 = -76*m - 56. Which is smaller: 367 or m?
m
Let b(z) = z**3 + 30*z**2 + 31*z + 60. Let w be b(-29). Let t be (1252/(-24) - -1)*w. Which is bigger: -102 or t?
-102
Let w = 38 + -34. Let b be ((-6)/w)/((-15)/(-40)). Suppose -14 = 4*m + 10. Is b greater than m?
True
Let b = -189/563 + 4/1689. Which is bigger: 0.4 or b?
0.4
Let h = -1351/2990 + 11/65. Let o = 131/138 + h. Which is greater: o or -297?
o
Let x(h) = -6*h**2 - 80*h + 11. Let j be x(-14). Let g be ((-42)/63)/((-47)/j - 1). Is g less than -17?
False
Let l be ((680/45)/(-4) - -4) + (-9154)/41031. Do 2/3 and l have the same value?
False
Suppose 4*a = -2*y + 24, -2*a - 5*y + 12 = 2*a. Let w(k) = 12*k + 2. Let l be w(9). Let i = l + -104. Are i and a non-equal?
True
Let p = 82.158 + -81.958. Let s be (-1)/4 + (-39)/(-148). Which is smaller: p or s?
s
Let d(g) = g + 12. Let u be d(-5). Let p(w) = -3 + 1 - 470*w - 5 + 471*w. Let t be p(u). Is t at least as big as 6?
False
Let k(q) = 3*q**2 + 43*q - 673. Let o be k(-24). Let m(b) = b**3 + 4*b**2 - 6*b - 2. Let v be m(-5). Do o and v have different values?
True
Suppose -11 = -f - 1. Let r be 2/f*10/(-175)*-10. Is r <= 1?
True
Let g(q) = 39*q - 2. Let o be g(1). Suppose 58*u = 64*u - 726. Suppose 138 = 7*s - u. Is o greater than or equal to s?
True
Suppose -2*p - 302 = -5*d - 0*p, 0 = -2*d - 3*p + 136. Let a = d + -62. Let k = -5 - -8. Do k and a have the same value?
False
Let c be 2/(-3)*-3 + -6. Let d(t) = -12*t**2 - 23*t + 6. Let z be d(-2). Suppose 21 = -2*f + f - z*k, 3*k = 3*f + 3. Is c at least as big as f?
True
Let f = 3.06243 - 0.06243. Which is bigger: f or -235?
f
Let y be (10/(-4))/(-1)*2. Suppose -y - 15 = -4*l. Let a = -23552 + 23557. Is l at least as big as a?
True
Let w be (-59)/2*(90/90)/(2/4). Which is smaller: -46 or w?
w
Let n(p) = -8*p + 52. Let d be n(6). Suppose -7*l + d*l = 3. Which is smaller: 1/162 or l?
l
Let i = 24.5658 - 0.0658. Let g = i - 86.5. Suppose -2*t - 8 = 2*t. Is g > t?
False
Let c = 860675795/9741 + -88356. Is c <= -1?
False
Let y = -714 + 751.9. Let h = y - 38. Let c = 107 - 107.47. Which is greater: h or c?
h
Suppose -426*s = -102*s + 210276. Which is smaller: -644 or s?
s
Suppose 4*r - 148 = -2*h, -1126*r + 565*r + 564*r - 120 = -2*h. Let x(z) = -z**3 - 4*z**2 - 5*z - 6. Let y be x(-4). Let t = 13 + y. Is t at most as big as r?
True
Let p = 50.77179 + -0.07179. Let l = -45 - -95. Let d = p - l. Which is smaller: -0.03 or d?
-0.03
Let k(v) = -v**2 - 5*v - 6. Let z(a) = a**2 - 9*a + 4. Let u be z(8). Let h be k(u). Let d(s) = -s**2 + 55*s + 1047. Let p be d(70). Is p >= h?
False
Let m = -1180/3 - -1707/4. Which is smaller: 33 or m?
33
Let m = 20 + -8. Let v be (0 + 4 + -6 + 3)*-3. Let a be (-99)/(-444) + v/m. Is 0 bigger than a?
True
Let y be (2/(-8))/(6/24). Let f = 4/77 + 67/3157. Let k = 139/779 - f. Is k at most y?
False
Let p(n) = 13*n**2 - 282*n - 89. Let v be p(26). Is v bigger than 1364?
True
Suppose 0 = 4*t - 2*c + 100, -3*t = -4*t - c - 25. Let z be 6 + 16*10/t. Which is bigger: -1 or z?
z
Let q(w) = -164*w + 4. Let b(c) = 82*c - 3. Let u(h) = -14*b(h) - 6*q(h). Let v be u(2). Is -310 greater than or equal to v?
True
Let o = 1/2668 + -5341/13340. Which is smaller: o or 14145?
o
Suppose 5*i - 917 = 4*k - 286, 2*i - 3*k = 251. Let x = i + -131. Is x > 8?
False
Let a = 1.2 - 16.2. Let b = a + 14.9. Let p = -164 + 655/4. Is p >= b?
False
Let h = -18747776666828/38563 - -486159704. Let n = h + -2/787. Which is smaller: n or 3?
n
Suppose 58 = q - 81. Let t = q - 314. Are -175 and t nonequal?
False
Let b be 5/(15/293)*3. Suppose b = -2*c + 267. Is c at most -11?
True
Suppose h + w = -17 + 21, 2*h - w - 17 = 0. Suppose 5*t - h*t + 184 = 0. Are t and 97 unequal?
True
Suppose 29*s - 32*s + 10 = 13. Is s < 7/2528?
True
Let v = -3 - -4. Let o = -223.235 - -223. Let w = o - -0.125. Is w <= v?
True
Let u = -2251 - -2169. Which is greater: -50 or u?
-50
Let t be 9 - (-15 - 217 - 12). Let s = 93 + -94. Is s smaller than t?
True
Suppose 1428 + 1653 = -39*d. Is d at most as big as -17?
True
Let b = 11863 - 83163/7. Let k = 32 - 50. Is k < b?
True
Let a = 6479 + -6381. Do 98 and a have the same value?
True
Suppose 40 = 10*j - 40, h + 26463 = 5*j. Do -26423 and h have different values?
False
Suppose k = g + 25, 4*g = -k - 103 + 148. Let v = -1 - -3. Is v at least as big as k?
False
Let o = 3.804 + 28.196. Let a = -34.066 - -0.066. Let s = o + a. Which is greater: s or 4?
4
Let a be (9576/380)/(-1*(-4)/(-90)). Which is greater: a or -565?
-565
Let x(d) = 121*d**2 - 2*d - 1. Let p be x(2). Let l = -43996 - -43997. Is p at least l?
True
Let m = 10/287 - -842/41. Let y = 11671/567 - m. Let k be (-1)/(-2*2/4). Is k at most as big as y?
False
Let r be 1 + ((-15)/(105/(-959)))/((-602)/4). Is 1/3 > r?
True
Let d = -13489 - -13481. Is -8 at most d?
True
Let b = -7069 + 3900. Is b smaller than 1?
True
Let j = 44 + -45. Let o be (-209)/(-33) + j/3. Let v be (-39)/234*3/(o/8). Is 24 greater than or equal to v?
True
Let i = -3083 - -3039.4. Which is smaller: 1/4 or i?
i
Let s be ((-500)/7 - 4)*(-42)/(-6). Let h be s/(-120) - (-3)/5. Is h bigger than 4?
True
Let s be (-2346)/((-40)/(-21 - -1)). Is -1175 smaller than s?
True
Let f(d) = d**3 - 3*d**2 - 3*d + 4. Let x be f(4). Suppose x*v + 4 = 10*v. Suppose 0 = -5*i - v*r - 40, -3*r = -i - i + 3. Which is smaller: 2/9 or i?
i
Let v(t) = 13*t + 720. Let l be v(-68). Is l greater than or equal to -2/5?
False
Let h(f) = -3*f**2 - 56*f + 725. Let m be h(12). Are m and -379 equal?
True
Let x(y) = -33*y - 32. Let i(d) = 16*d + 16. Let h(k) = -7*i(k) - 3*x(k). Let b be h(-2). Is 78/7 not equal to b?
True
Let q = -6955 - -6511. Which is smaller: q or -0.01?
q
Suppose 2*p + 5150 = 2*q, p + 0*p + 2568 = 2*q. Which is smaller: -2581 or p?
p
Let h(d) = -40*d + 2852. Let u be h(47). Is -3 not equal to u?
True
Let s(x) = -5*x - 680. Let o be s(-110). Let v(z) = -z**3 + 11*z**2 - 6*z + 3. Let f be v(5). Let m = f + o. Is -7 not equal to m?
False
Suppose -4*q + 15 + 1 = 0, -5*r = -q - 21. Suppose -30 = r*i + 15. Which is greater: i or -14?
i
Let p(v) = -v**3 - 5*v**2 + 3*v + 11. Let o be p(-3). Let c(q) = -q**3 - 12*q**2 + 66*q + 32. Let k be c(o). Let i be 19/(-286) - 8/(-44). Are i and k nonequal?
True
Let b be ((-45)/((-2935980)/195728) - 1*7) + 4. Is b greater than 1?
False
Let c = -174.9469 - -175. Let x = -0.2469 - c. Is x smaller than -5?
False
Suppose -4*y - 1 + 9 = 0. Suppose -3*q - 249 = -3*z, -y*z + z = -5*q - 91. Is z bigger than 79?
True
Let w(l) = l**3 - l**2 - 1. Let t(z) = -18*z**2 - 18*z - 29. Let o(a) = -t(a) + w(a). Let i be o(-16). Let c = -2201/500 + 1/500. Is i less than or equal to c?
False
Let m = -574 + 579. Suppose 2*k = 2*a + 24, 0 = m*k - 2*k + 2*a - 16. Which is bigger: k or 3?
k
Let i = -651 - -640. Which is smaller: i or 35?
i
Suppose o + 2*b = 3, 3 = -4*b - 1. Suppose 4*w + o*w - 18 = 0. Suppose -31*f - 14 = 17. Which is smaller: w or f?
f
Suppose -7 = -3*g - 1. Suppose 3*m + 7 + 32 = 5*p, 0 = 4*m - g*p + 52. Which is smaller: m or -12?
m
Let d be 15/9 - 2655/(-27). Let h be (-1)/12 - (d/24 +