 2*d = 47. Are a and v non-equal?
True
Let x be 7/(-28) + 46/56. Suppose 0 = -2*u - 14*u + 48. Suppose 0*s + u*s = -6*s. Is s > x?
False
Let f be 14 + (128 - -15)/(-11). Which is bigger: 7/240 or f?
f
Let v be (40/(-64))/(93/(-12))*(-8)/(-3210). Which is greater: -1 or v?
v
Suppose 0 = -5*f + 40 + 5. Let g(m) = -m**2 + 2 - f*m - 2*m**2 + 11*m. Let v be g(-1). Do v and -4 have the same value?
False
Let x = 0.182 - 192.182. Let t = 78 + x. Let i = -120 - t. Is i less than 1?
True
Let f = 463 + -462. Which is smaller: f or -4/4677?
-4/4677
Let o = -16.48 + 17.48. Do 303 and o have the same value?
False
Let l = 6424 - 6427. Does -41.9 = l?
False
Let q(k) = -23 - 225*k**3 + 5*k**2 + 74*k - 9*k**2 + 224*k**3 + k. Let a be q(-11). Which is bigger: 2/23 or a?
2/23
Suppose -6 = -3*j, -z + 3*j - 3 = -0*z. Suppose -2*b + z*b = 17. Suppose -1 = 2*v + b. Is v >= -7?
False
Let a = -59 - -179/3. Let j = 4.095 + -4.0806. Which is smaller: j or a?
j
Suppose -5*i + 5*v = -30, 3*v - v + 26 = 4*i. Suppose 0 = -6*y - 12 + 48. Let u(q) = -4*q + 32. Let h be u(y). Which is bigger: h or i?
h
Let b be -48*-5*(-185)/(-1100). Which is bigger: 41 or b?
41
Let g be 10/15 - (4 + (-179)/(-3)). Let j be g/(-140) - 1/5. Let c(p) = p**3 - 5*p**2 + 5*p - 3. Let x be c(4). Is j less than x?
True
Let d be (429/203060)/((-2)/10). Is 0 <= d?
False
Let o(q) = q - 27. Let v be o(33). Suppose -104*j - v = -107*j. Does j = -115?
False
Let f be (-24)/60 + 242/580. Let s be (36/42)/(1/(-28)). Let w be (-30)/s - 1/4. Is w > f?
True
Let u = -24.0656 + 29.045. Let i = u + 0.0206. Is i < 8?
True
Let x = 5831 - 6965. Is 0.3 smaller than x?
False
Let u = 0.2 + -1.2. Let j = u + 0.9. Suppose 2*p = -5*w + 34, 0 = -2*w + 4*p + 4 - 0. Which is smaller: j or w?
j
Let l = -13 - -25/2. Let m(s) = -3*s**3 - 17*s**2 + 6*s + 2. Let f be m(-6). Suppose z - 2*z - 5 = 3*i, 0 = 3*i + 4*z + f. Are i and l nonequal?
True
Let c = -34 - -34. Let y = -6 + 18. Let x = y - 11.9. Which is smaller: x or c?
c
Let b(h) = -2*h**2 + 16*h - 17. Let v(k) = -k**2 + 16*k - 19. Let z(u) = 4*b(u) - 5*v(u). Let x be z(7). Which is smaller: -233 or x?
-233
Let u = 22809 + -29488. Which is bigger: -33392/5 or u?
-33392/5
Let n = 0.18 - 0.168. Let a = n - 0.007. Let r = a - -0.995. Which is bigger: -6 or r?
r
Suppose -5*d = -4*k + 10391, -762*k = -767*k + 20. Is -2072 less than d?
False
Let a be ((-3)/6)/(2/(-3 - -7)). Let y be 12 - -1 - (-6 + a - -5). Let g be -12*(-3)/(18/8). Is g > y?
True
Let p(u) = -4*u**2 + 585*u - 909. Let h be p(148). Which is greater: h or -1943?
-1943
Let n = 4.28 - 5.58. Let f = -8.2 - -11.5. Let w = n + f. Which is smaller: 4 or w?
w
Let h(b) = -4 + b**2 + 13*b + 2 + 8 - 19*b. Let z be h(3). Let c(l) = l**2 + 3*l - 4. Let q be c(z). Which is smaller: -7 or q?
-7
Let n be ((-4)/(-12))/((-2)/264). Let g be n/10 + (-161)/(-115). Which is bigger: g or -25/13?
-25/13
Let v = -1790 - -1789.95. Is -16/5 != v?
True
Let z = 18.18 - 17. Let m = 0.967 - -0.013. Let j = z - m. Which is greater: 8 or j?
8
Let i = -10 - -74. Suppose -43 + i = -21*b. Is -17/12 >= b?
False
Suppose 3*p - 72 = -54. Suppose p*v - 1248 = 22*v. Which is smaller: v or 3?
v
Let s(l) = 171*l**3 - 2*l**2 + 3*l - 2. Let c be s(1). Let q be -1 + 1 + 2548/15. Let a = q - c. Is 3 > a?
True
Let k(c) = -2*c - 1. Let w be k(-4). Let i = -221/207 + 13346/1449. Which is smaller: i or w?
w
Let w = 5514618/25 - 220620. Which is greater: -34 or w?
-34
Let d = 2401.73 - 2402. Let z = -168 + 167.27. Let u = z + d. Does u = -0.13?
False
Let n be (634 - 1)/(-3) + (-9)/(-3). Let o = -209 - n. Is -7/11 less than o?
False
Let r(d) = -15*d**2 - d - 2. Let q be r(-6). Let i = -14470/27 - q. Are i and 1 non-equal?
True
Let j = 1559/2 + -6567/4. Is j at least as big as -861?
False
Let k(d) = -114*d**2 + d + 1. Let i be k(1). Let z = -112 - i. Let a = -14.6 + 14. Is a equal to z?
False
Let w = 16477 - 16476. Which is greater: w or -3166?
w
Let m(h) = 156 + h - h - 8*h + 4*h. Let a be m(42). Which is smaller: -24 or a?
-24
Let v = 48 - 26. Let j be ((-72)/(-14))/((-12)/84). Let s be (2/3)/(24/j). Which is smaller: v or s?
s
Let l = -2411 - -2549. Which is bigger: 27 or l?
l
Let s(n) = -6*n - 18. Let m be (-2)/(-8) - 119/28 - -1. Let i be s(m). Is i at least as big as -12?
True
Suppose -38*a = -51*a + 182. Suppose -z - 2*c - a = 0, 0*z - c = -4*z - 65. Is -11 bigger than z?
True
Let x = 171 + -184. Let b = -13.1 - x. Are 22 and b unequal?
True
Suppose 0 = -3*h + 4*j + 120 + 1403, 5*h - 3*j - 2531 = 0. Which is smaller: 3029/6 or h?
3029/6
Suppose -22*c + 3*p = -20*c - 9129, -2*p = -7*c + 31926. Which is smaller: 4557 or c?
4557
Let o = -281 + 283.02. Let q = -1.785 + o. Which is greater: q or 0?
q
Let q be (4/22 - 300/440)*2. Let w be 11740/80 - q/4*-3. Does w = 146?
True
Let q(j) = -103 - j**2 + 13*j + 63 + 49. Let x be q(14). Let t = -9 + 3. Which is bigger: x or t?
x
Let m(a) = -a - 6. Let j be m(-6). Suppose j = 7*k - 33 + 19. Let t be ((-42)/5)/(-2) - (k + 2). Which is smaller: -2/31 or t?
-2/31
Suppose 20*b + 21 = 23*b. Let s(u) = -u**2 + 5*u + 12. Let g be s(b). Let m be (g/3)/(7 - 5). Is m >= -2/3?
True
Let m be (11400/32)/((-10)/120). Is -8549/2 < m?
False
Let o be 37/7 + -2*(-6)/(-42). Suppose o*u = -3*r + 10, u = r - 0*r + 2. Which is smaller: 1/158 or r?
r
Let j = 2928 + -1519. Suppose 691 + j = -4*v. Is -525 greater than or equal to v?
True
Suppose 16*n = -17*n + 1980. Let w be 5/(-75)*-12*n/(-8). Let d be 3 + -2 - (-18)/(-20). Is w not equal to d?
True
Suppose -5*p + 48 = 3*d, -9*d + 5*d - 3*p + 75 = 0. Is d bigger than -47?
True
Let w = 1024 - 120831/118. Which is greater: 1 or w?
1
Let n = 0.07 + -3.07. Suppose 5*h - 2*w - 7 - 44 = 0, -3*w = 4*h - 27. Let r be (2 + -1)/((h - 2) + -6). Is n bigger than r?
False
Let k = -0.421 + 0.37. Let b(m) = 35*m - 287. Let q be b(8). Let v be 3 - (49/(-14) - q). Is k less than or equal to v?
False
Let s = -344/91 + 43375/11739. Which is smaller: s or 2?
s
Let z = 105 - 64. Suppose 3 = -11*f - z. Let q = -38 + 19. Is f equal to q?
False
Let t(w) = 4*w + 68. Suppose -3*p - 4 = 2*i + 36, -55 = 3*i + 2*p. Let c be t(i). Which is bigger: c or -1/17?
c
Let o = 8955/11899 + -63/73. Which is bigger: o or 1?
1
Let s = -9 + 6. Suppose -9 = -3*z - 2*k, -z - k + 3 = k. Suppose -z*v + 0*v + 45 = -3*p, -p - 31 = -5*v. Is p greater than s?
False
Let a be -1 + 2 + 2 + -4. Let u be -2*(33913*(-2)/32568 + 3). Let z = u - -2/1357. Which is greater: z or a?
a
Let r = -5474 - -5483. Do 388/39 and r have the same value?
False
Let j = 0 - 9. Suppose -21*l = 5*l - 7358. Let u = -293 + l. Is j smaller than u?
False
Let m = -550 + 281. Let a = 7802/29 + m. Is 1 bigger than a?
True
Suppose 676 = -130*l + 806. Which is smaller: -2/65519 or l?
-2/65519
Let l = 18007 + -2683041/149. Which is smaller: 1 or l?
l
Suppose 3*l = -4*a - 15, -6*a + 11*a + 12 = 3*l. Is 2/375 < l?
False
Let m = 7610 - 26829/4. Let f = -909 + m. Are -7 and f equal?
False
Let t(r) be the first derivative of r**4/4 - 7*r**3 + 16*r**2 - 16*r + 43. Let i be t(19). Is -129 not equal to i?
True
Suppose -3*f + 32 = 2*c - 113, -4*f - c + 195 = 0. Suppose -f = 4*a - 53. Are a and 5/273 non-equal?
True
Let o be 94/(-5)*((-63636)/120 - 0). Let r = 9971 - o. Is r bigger than 0?
True
Suppose h + 1712 + 236 = -3*v, -5*v - 3258 = -4*h. Does -646 = v?
False
Let d(x) = -48*x**2 + 2. Let b be d(1). Let c = b + 52. Suppose 56 + 10 = c*y. Which is greater: 13 or y?
13
Suppose -603 = 120*b - 117*b. Let i = b + 201. Which is bigger: -8.2 or i?
i
Let b(i) = i**2 + 2*i - 1. Let a be b(-2). Let z be -3*14/105 - 1152/(-1755). Is a bigger than z?
False
Let n be (-875)/(-27405)*(-376)/6 + 2 + 0. Are 1 and n non-equal?
True
Let k be (-449)/((90/(-20))/(-9)). Is -897 bigger than k?
True
Let t = -0.134 + 0.002. Let h = t + 0.132. Let d = -3 - h. Is 0.09 greater than d?
True
Let g(n) = -n**3 + 12*n**2 + 8*n - 21. Let a be g(13). Let j be ((-7)/(-14))/(1/a). Let x(z) = -6*z + 6. Let q be x(8). Which is smaller: q or j?
j
Let t = -2.85 + -0.15. Let v = 2.1 + t. Let u = -511 - -510. Which is smaller: u or v?
u
Suppose i = 3*y + 40 + 164, -418 = -2*i + 4*y. Suppose 146*f = 143*f - i. Which is smaller: -75 or f?
-75
Let g be 6*3/22 - 776/(-4268). Which is smaller: g or 38/35?
g
Suppose 7*r - 1062 = -2*r