not equal to 3?
True
Suppose 5*s - 15 = -5*x, -x - 2*x = -2*s - 14. Let n be 3/s + -32 + 0. Suppose 41*f + 2465 = 989. Is f bigger than n?
False
Let p be (-432)/56 + 8 + 20/28. Which is smaller: -2/1175 or p?
-2/1175
Suppose 22*w - 310 - 196 = 0. Suppose w*o + 440 = 19*o. Which is smaller: -3 or o?
o
Suppose 9*t - 28*t = 2128. Let g = 96 + t. Let m be (-4)/(-6)*129*8/g. Which is smaller: -42 or m?
m
Let p = 281/32 + -1181/160. Which is greater: p or 0?
p
Let c = 11.661 + -0.061. Let b = c + -11.6. Which is smaller: b or -50?
-50
Let k be (-9)/(-2) + (-1)/2. Suppose k*w - 2*p - 12 = 0, 8 + 7 = -w + 5*p. Let j be (-3)/w*1 - -1. Is j >= -0.8?
True
Let a be (12/8)/((-9)/(-66)). Let x(s) = s + 14. Let c be x(-9). Let f = c + 4. Which is smaller: f or a?
f
Suppose 2*s + 534 + 0 = 0. Let g be (s/48 + 5)*1/12. Is g < -1?
False
Let y(m) = 6*m**3 - 39*m**2 - 43*m + 67. Let b(f) = -5*f**3 + 38*f**2 + 42*f - 64. Let x(t) = 5*b(t) + 4*y(t). Let c be x(35). Is 53 <= c?
True
Let u be ((-171)/(-169) - -1) + -2. Let v be (-3)/2*(5 + -7). Let d be -6 - (2 - 5)*5/v. Which is greater: u or d?
u
Let f = -0.17352 + 15.20352. Is f less than 0.02?
False
Suppose 102*t = 109*t + 70. Let j be -5 - (t/(-555) - 5). Which is greater: -1 or j?
j
Let b = -20369.034 + 20369. Is 4/79 > b?
True
Let s(u) = -u + 16. Let d be s(14). Suppose 3*i - 25 = 4*y - d*y, -46 = 3*y + 4*i. Is -15 at most y?
True
Let i = -520 - -520. Suppose 5*y + 3*o + 11 = i, -o + 5 = -y - 3*o. Which is smaller: -5/66 or y?
y
Suppose 110 = -5*x + 5*r, -x + 2*x - 2*r = -24. Let y = -20 - x. Let h = 2986 - 409084/137. Are y and h equal?
False
Let r = 66 - 108. Suppose 4 = -12*b + 8*b. Do r and b have the same value?
False
Suppose -4*q + 358 + 1144 = -2*s, 0 = q - 5*s - 389. Let u = q - 281. Is u equal to 458/5?
False
Let l = -399/2 + 6982/35. Let f = 236 + -210. Suppose -27*t - 1 = -f*t. Which is smaller: t or l?
t
Let c = 23 + -19. Suppose 6*w - 30 = -c*w. Let a be w - 4/(-152)*-106. Which is greater: a or 0?
a
Suppose l + 3*f - 6 = 2, -3*l + 3*f = 0. Suppose -6*p + 2*p + l*m = -14, -2*p + 4*m = -10. Suppose -21 = p*c - 12. Is c bigger than -2?
False
Suppose 5*p + 3 = 4*p - v, -6 = 3*v. Let f be (p/1 - -2)*(-65)/13. Is f greater than or equal to -37/6?
True
Let c(p) = p**3 + 3*p**2 - 52*p + 19. Let h be c(-9). Is 11/258 at least h?
False
Let t(x) = 2*x**2 + 6*x + 4. Let f be t(-3). Let h(o) = 5*o - 2. Let l be h(f). Let r = l - 19. Which is greater: r or 4?
4
Let m = -1/76 + 81/380. Let x = -0.085 - 0.575. Let l = x - 11.34. Which is greater: l or m?
m
Suppose 2413 = -7758*l + 7739*l. Is -3672/29 <= l?
False
Let k be 3 - 4/(8/90). Let c be -5 + 2*(k/4)/(-7). Let a be 2*(c - 10/(-8)). Is a not equal to -3?
True
Suppose 0 = 5*d + 6*m - 4*m - 378, -3*d = 5*m - 242. Let x = -667/9 + d. Let w(r) = r - 6. Let a be w(6). Is a at most x?
False
Let i = 22/7 + -372/119. Suppose 23*t = 7*t. Which is greater: i or t?
i
Suppose -28*s + 32*s - 9240 = -4*u, 0 = 8*s + 3*u - 18455. Which is smaller: s or 6919/3?
s
Let h be (-3924968)/1992 + 7/21. Let k = h + 1970. Is 0 less than k?
False
Let l(a) = -a**3 - 9*a**2 + 7*a - 36. Let u be l(-10). Let d be u - (-4 + -3 - -2). Is -16/7 less than d?
True
Let u = 3/7 - 4223/9849. Which is smaller: u or 0?
u
Let q = -0.9645 + 0.7645. Is q at most -2405?
False
Let s(n) = 2686*n - 5379. Let c be s(2). Is -428/69 less than or equal to c?
False
Let c = -963.04 - -963. Let v = -218 + 244.7. Let t = -27 + v. Is c less than or equal to t?
False
Let n be (-1 - 2/(-4))*-10. Let q(v) = -v**2 - 20*v - 16. Let h be q(-19). Suppose n*r = h*r. Is r not equal to -1/53?
True
Let h = -2466 - -2246.4. Let v = -220 - h. Is v less than 59?
True
Suppose 5*t + 52 = -4*q, -4*q - 15 = -4*t - 35. Let u be t - (0/1 - (-1 - 1)). Let a = 0.4 + 1.6. Which is greater: u or a?
a
Let o = 214 - 50. Let l be (-28)/(-7) + o/(-42). Let w(q) = -q**2 - 5*q + 5. Let a be w(-6). Which is smaller: l or a?
a
Suppose 3*i - 4850 = 13*i. Is i smaller than 0.1?
True
Suppose 4*s + 3 = -1, -p + 84 = -4*s. Suppose 3*y = -2*w + p, 5*y = -2*w - 0*w + 140. Suppose 0 = -2*t - 4*t - y. Which is smaller: t or -35/6?
-35/6
Let o be 3*(2 + 7/(-3)). Let j be ((-2)/(-348)*2)/(609/(-1218)). Is o less than or equal to j?
True
Suppose -4*o = 5*z + 24, 2*o - 2*z - 5 - 1 = 0. Let d = -4973/10618 + 881727995/881294. Let n = d + -1000. Is n bigger than o?
True
Let i = -14345433991 - -76819799367658/5355. Let o = -1098/17 + i. Is o less than or equal to 0?
True
Let i = 2400 - 2405. Which is greater: i or -23?
i
Let j = -0.502 + 0.5364. Let v = j + 27.9656. Let q = -0.2 - -0.1. Is q equal to v?
False
Let s(k) = 3*k**3 + 6*k**2 - 2*k + 3. Let d be s(4). Let z = 344689 + -344407. Is z less than d?
True
Let f = 5663 - 5663. Is 10/7 < f?
False
Let q be 40860/2106 - (-2)/13. Suppose 82*j - 1800 = -8*j. Is j > q?
True
Suppose -12*b - 5*q - 10 = -11*b, 8 = 4*b - 4*q. Let c = -0.575 + -0.015. Is b at least as big as c?
True
Let o = -0.116 - -13.116. Let b(x) = 87*x - 8. Let l be b(-1). Let h be 3*1 - (-266)/l. Which is smaller: h or o?
h
Let l be 1/(-4) - 8/(224/3381). Let q = 844/7 + l. Which is greater: -1 or q?
q
Let m be (4 + -6)/(1374/1362 - 1). Is -238 at least as big as m?
False
Suppose 0 = 2*w - 2, w = -3*y + 5*w - 7. Let g = -1097/12390 + -9/295. Which is greater: y or g?
g
Let h(z) = -28*z + 2. Let c be h(-3). Suppose 2*l + 2*a - c = 0, 0*l + 4*a = 4*l - 132. Let t = 75/2 - l. Which is greater: t or 1/6?
1/6
Let y(p) = 42*p + 34. Let z be y(2). Let t = z + -219/4. Does 64 = t?
False
Let x = 20519 - 20715. Is -5/7 < x?
False
Let c be (-2)/(1 + (-13074)/(-2370)). Let f = -4/117 - c. Suppose 0 = g - 6*g + 5. Is f greater than or equal to g?
False
Suppose -n + 3*g = -8, 5*n + 0 - 21 = -4*g. Suppose 5*o + 1 = 11. Suppose -4*x - 41 = -5*w, -o*x - 37 = -n*w + x. Is w greater than or equal to 0?
True
Suppose x + 4*p + 377 = 0, -4*p + 0 + 8 = 0. Let a = -382 - x. Let k = -25 - -37. Which is greater: k or a?
k
Suppose -23*a = 2 + 21. Let v be (-1 - a) + (-8)/32*2. Is 0 greater than v?
True
Let k = -371 + 398. Suppose q = -4*v + 111, 4*v - 150 = -v + q. Suppose v*t = k*t + 8. Is 4 > t?
False
Let t be 70/(5 - (-345)/(-70)). Suppose 0 = 2*g + t - 424. Which is greater: -279 or g?
g
Let k = 24434 - 24433.832. Is k greater than 3/2?
False
Let z(t) = -t**2 - 18*t - 29. Suppose 3*f - 5*p + 26 = 0, -4*f = -2*p + 4*p + 26. Let y be z(f). Let x = 4 - y. Which is smaller: x or -43?
x
Suppose 5*k - 7 = 3*w, -1 = -3*k + 3*w + 2*w. Suppose 0 = k*d - 0*d. Let l = -4031.4 + 4030. Is d < l?
False
Let w = 203.45 + 20.65. Let t = w + -224. Is 18/11 equal to t?
False
Let l = 31 + 31. Let d be -107 + 110 + l/(-1 - 1). Is d <= -27?
True
Let n = 36579/17 + -817109/391. Which is greater: n or 62?
62
Suppose 122 = -42*u + 164. Do 43/73 and u have different values?
True
Suppose -3*f + 3 = -3*x, -x = 4*f - f + 1. Let h(y) = -7*y + 36. Let g be h(f). Which is greater: 4 or g?
g
Let d be (-49808)/160 - (-21)/70. Is -311 equal to d?
True
Let q = -17555 + 17558. Which is greater: q or -0.1863?
q
Suppose 27*w - 25*w = 20. Suppose -5 = -w*u + 145. Which is smaller: u or 13?
13
Let d = -1652276/24111 + 1302/19. Let x = d - -20729/1269. Which is smaller: 0 or x?
0
Let y be (0/(-9) - 39)/1. Let d be y*1/3 + 9. Let x = -21 - -15. Are d and x unequal?
True
Let u = 9.35 - -34.65. Which is smaller: 5/6 or u?
5/6
Let t = 21 - 32. Let x(v) = -v**2 - 9*v + 27. Let y be x(t). Let p be 28/(-108)*(y - -1). Is p bigger than -1?
False
Let z be (-3 - 35581/(-11868))/(30/16 + 0). Which is smaller: -2/3 or z?
-2/3
Let s be 151395/(-11646) + -6 + 19. Which is smaller: -1 or s?
-1
Let v(d) = 5*d + 29. Let g(p) = 5*p + 30. Let f(m) = -5*g(m) + 6*v(m). Suppose -2*j - 4 = 2*a, -1076*a + 1075*a - 10 = -3*j. Let c be f(a). Is -4 < c?
True
Let h = 117 - 103. Let m be h/28*(1 - 7). Is m less than -38/11?
False
Suppose 3*a - 58 = 3*t - a, -t + 2*a = 18. Let n be 669/51 - t/(-187). Which is smaller: n or 10?
10
Let f = 34.2 - 39.2. Let x = -4/45 + -107/315. Are x and f nonequal?
True
Suppose 80*w + 1359 + 1214 = -387. Let a be -1 + (1 + -3 - -94). Let o = 54 - a. Is w at least as big as o?
True
Let b be 4/1 + -1 + 276/(-6). Let l(j) = j**3 + 10*j**2 + 7. Let r be l(-10). Suppose c - r = -49. Is c < b?
False
Let a(d