22). Suppose -5*v - 491 = -2*q, -v - 91 - c = -3*q. Is -96 equal to v?
False
Let v be ((-1)/1)/((-74925)/(-1629) + -46). Is v > 182?
False
Let p(d) = 3*d**2 - 8*d**2 - 16 + 78*d + 13*d. Let o be p(18). Is -33 > o?
False
Let n = -254/12343 + -6130853/4974229. Let t = 15/31 + n. Is -0.06 > t?
True
Let t = -23691 + 14757. Does t = -8934?
True
Let k = 1/26508 + -89465/13254. Let n = -18 + 12. Which is greater: n or k?
n
Let y be (-1969 - -148)*(-1)/(-1). Are y and -2 equal?
False
Suppose 4*a + c + 1216 = 8*a, -4*a - 4*c = -1196. Suppose 6*y + 1323 = -a. Is y less than -270?
True
Let y be (283689/(-105))/((-5)/25). Are 13508 and y non-equal?
True
Let z = 68983 - 68984. Let k be 1/(7*(-3)/39). Is z at most k?
False
Let r be 5/(-10)*(-13 - 9). Is r at most as big as 120/11?
False
Let u = -17294 + 17367. Which is bigger: u or 2/17?
u
Suppose 50*l + 4*l + 13*l = 298820. Is l != 4460?
False
Let q = 2572.1 - 2565.7. Which is smaller: -10/3 or q?
-10/3
Let n = 3.646 + -3.946. Which is smaller: n or -1/688?
n
Let g = 8582 - 8582. Which is bigger: 3135 or g?
3135
Let h = 596 - 355. Let p = h - 240.41. Does p = 0?
False
Let t be (30/20)/(-1 - (-293722)/293948). Let f = 1951 + t. Is f smaller than 1?
True
Suppose 0 = 53*n - 75 - 402. Let x(q) = -q**3 + 11*q**2 - q + 15. Let g be x(n). Which is smaller: 337/2 or g?
g
Suppose 3*m + 30 = -2*m. Let u = m + 8. Suppose -u*p - p = -3. Is p less than or equal to 5/7?
False
Let z = 173 + -169.72. Let x = 3.52 - z. Which is bigger: 2 or x?
2
Suppose 722 = 4*b - 610. Let f = -478 + b. Which is greater: f or -147?
f
Let g(k) = k**3 + 6*k**2 + 7*k + 8. Suppose -2*x + z - 15 = 0, -4*x - x + 2*z = 35. Let u be g(x). Let a be ((-12)/24)/(-2*u/8). Is a >= -1?
True
Let l(z) = z**2 + 4*z - 7. Suppose i = -2*d - 4, 0*d = 5*i + 4*d + 26. Let g be l(i). Suppose -6*x = -g*x - 5. Which is bigger: 3 or x?
x
Let h = 61 - 60.99. Let d be (-2 + 20)/(-6) - (0 - 56). Let j = d + -51. Is j at least h?
True
Let v = -1792 + 1790. Is v not equal to 165?
True
Let k = 7424 + -7847. Is -9 at most k?
False
Let k(j) = -j**2 - 12. Let c be k(-4). Let u(t) = t**2 - 21*t - 50. Let q be u(22). Do c and q have the same value?
True
Let l(g) = -g**2 + 3*g + 3. Let j be l(3). Let z = -1739 - -1733. Let s be (-4)/j*(34/z + 1). Are 7 and s nonequal?
True
Let j(y) = -17*y + 685. Let i be j(41). Which is smaller: i or 729?
i
Let a be (-6 + -14 + 16)*(-6)/8. Let f be (-4 + 28/12)*-3. Suppose 0 = f*z - 3 - 22. Which is smaller: a or z?
a
Let d = -826 - -1245. Let i = d + -419. Which is smaller: i or -14/43?
-14/43
Let k = 8 - 37. Let h be k/33 - 12/(-9). Let g be ((-4)/6*-3)/(-2). Which is bigger: h or g?
h
Let v be ((-6)/12)/(((-1)/1)/6). Suppose v*y = 9*y - 6. Let l be 35/119*(-8)/(-10). Which is smaller: y or l?
l
Let v = 753 + -1547. Let q = 3161/4 + v. Which is smaller: q or 1?
q
Let o(j) = -j**2 - 18*j - 23. Let f be o(-16). Let x be (f/2)/(27/72). Suppose 4*q = -5*p + 20, 3*p = 3*q - 6*q + x. Which is smaller: q or -2/5?
-2/5
Let t(f) = -5*f + 4. Let r(c) be the third derivative of -5*c**4/24 + 2*c**3/3 - 19*c**2. Let h(y) = -6*r(y) + 7*t(y). Let o be h(-5). Is o bigger than 29?
False
Let z be 66/44*(-93)/(-18)*-4. Suppose 4*v = 4*q - 22 - 102, -187 = 5*v + 3*q. Is v != z?
True
Let d(a) = -a**2 + a + 8. Let x be d(3). Let w(l) = 23*l**2 - 5*l + 8. Let c be w(x). Suppose 4*m - 18 = c. Are 26 and m non-equal?
True
Suppose -q = 3*b - 2*q - 2844, 2*q - 6 = 0. Let h = b + -416609/439. Let n = h + -5713/1317. Which is smaller: n or -4?
n
Let t(y) = 16*y + 20. Let i be t(-3). Let p = 6/281 + -185203/1124. Let q = -165 - p. Is i smaller than q?
True
Let t = 330 - 44. Suppose -2*k - 3*j + 531 = 0, -k = -22*j + 10*j - 468. Which is smaller: t or k?
t
Suppose 2*j + 36 - 226 = 4*g, -g - 1 = 0. Are 97 and j nonequal?
True
Suppose 113 = -3*r + 3*l - 5*l, -5*r + l - 184 = 0. Let g be (-107)/(-30) - r/(-222). Which is smaller: g or 2?
2
Let d = 18 - 13.8. Let z = -4.18 + d. Let j = -0.12 + z. Is j greater than -0.26?
True
Suppose -15*b + 2055 = -k - 16*b, -4*k = 2*b + 8206. Is -2049 equal to k?
False
Let k be ((-2)/(-8))/((9/(-42))/((-12)/(-14))). Is 2/1151 at most k?
False
Suppose -5*q = -4*v - 12, -6*v + 12 = -8*v + 4*q. Is v at most -338?
False
Let k be (((-18)/110)/(-3))/((-112)/13040). Let r = k - -84/11. Which is smaller: 1 or r?
1
Suppose -607 = -5*b + g, b = 4*b - g - 365. Let d = 146 - b. Which is smaller: 23 or d?
23
Let g(o) = 3*o**3 - 64*o**2 + 27*o + 11. Let z be g(21). Let j = -106 + z. Which is bigger: j or 30?
j
Let m = -4838 - -4834.81. Are m and 3/7 equal?
False
Suppose -4*k + 1 = -3*k. Suppose 3*t - 17 = -w - w, 0 = 5*w - 5. Suppose -t = 29*f - 5. Which is smaller: f or k?
f
Let g be (82/17)/(-1) + (-801)/4539. Let j(l) = -l - 1. Let q be j(1). Let f = q + -5. Which is smaller: f or g?
f
Let o = -1105 - -1668. Let b = -3246.18 - -3247.18. Is b not equal to o?
True
Let x = 459710 - 459711. Let j = 4667/1285251 - 2/4029. Is x < j?
True
Let t be ((-161)/(-35))/23 - (1 + 15858/(-10)). Do 1587 and t have the same value?
False
Let x = 918 + -1879. Which is smaller: -964 or x?
-964
Let h be (-60)/8 - -8 - -8. Let l be (-10)/(-16)*((-57)/(-15))/(-19). Which is greater: l or h?
h
Suppose -4*v - 30 + 110 = 0. Let d be 373/35 + (16/v)/(-1). Is d greater than 10?
False
Let k = -41 + 59. Let s be (-2)/k*(-54)/171. Which is greater: 1 or s?
1
Suppose -491 + 53 = 6*a. Let x = 1329 - 1398. Which is greater: a or x?
x
Let q be (-14440)/(-60)*6/4. Suppose q = 2*k - 255. Which is greater: k or 307?
k
Let q = 23988 + -24101. Is q != -1453/13?
True
Suppose -t = 3*b, 32 - 44 = 2*t + 4*b. Which is bigger: t or -313?
t
Let g = 95 + -95. Let h = -45 + 42. Let a be (g - h/(-3)) + (-15)/(-13). Which is greater: a or 2/17?
a
Suppose 1341*w - 1411*w + 57820 = 0. Which is bigger: 0 or w?
w
Let q = -13227 - -13407. Is 173 greater than or equal to q?
False
Suppose -i = -84 - 71. Let y = 77643/4 - 19567. Let a = i + y. Is 1/3 not equal to a?
True
Let w(t) = t**3 - 9*t**2 + 8*t + 14. Let j be w(8). Is j less than or equal to 331/24?
False
Suppose 10 = -185*s + 187*s. Let n(m) = -27*m + 161. Let o be n(s). Is 25 <= o?
True
Let l be 5/(-2)*16/10. Let q be ((-1)/(-3))/(l/4). Let z = -1.45 - -1.65. Which is smaller: q or z?
q
Let a = 83 - 100. Let x = 11 + a. Let z be (8 - 10)*3/x. Does z = 0?
False
Let t = -0.014 - 26.986. Let p = t + 10.4. Let w = 3.6 + p. Is w < 0?
True
Let p be (44/(-10))/((-6)/15*1). Suppose -5*g = 2*b + 10, 2*b = g + 5*b - p. Let y be (0 - -3) + g/(2 - 1). Is -2/25 at most y?
False
Let u = -12525/2 + 6422. Let q = 170420 - 170259. Which is greater: q or u?
q
Suppose -4*p - 4*a = -100, -3*a - 49 - 50 = -3*p. Let k be 9/4*(-33 + p). Is k at most -10?
False
Let v be ((-770)/6)/((10/(-6))/5). Let s be 10/(-12) - v/(-420). Which is bigger: -4 or s?
s
Let b be (-245038)/70 - (6*2 + (-5244)/460). Which is smaller: -3500 or b?
b
Let g(q) = 369*q - 351. Let a be g(5). Is a at most 1493?
False
Let j be (2175/58)/(-75)*478. Let a(d) = -d**3 + 4*d**2 + 2*d - 1. Let g be a(8). Which is greater: g or j?
j
Let k = -35479 - -35496. Let v = 973 - 2870/3. Which is bigger: k or v?
k
Let w = -559 + 559.2. Is 461 at most w?
False
Suppose 25*b = 36*b - 33. Suppose 2*o - k = -6*k + 3, -2 = 5*o + b*k. Which is smaller: 1/56 or o?
o
Suppose 868 + 3347 = 3*c - 4*y, 2*c + 3*y = 2810. Let d be (-6)/(-27)*17115*(-48)/130. Let r = c + d. Is 1 not equal to r?
True
Suppose -2*n + 2 = 0, -n - 4*n = -5*f + 65. Suppose -3*a - f = -5*b - 0, 1 = 4*b + a. Let z be (3/15)/(2/10) - b. Is -2 greater than z?
False
Let u(w) = -5*w**2 + 25*w - 1. Let r be ((-30)/(-24))/((-1)/(-4)). Let k be u(r). Is k bigger than 4/95?
False
Let m = -311 + 289. Let z = m - -21.6. Is -1/257 at most as big as z?
False
Let n = -17.749 + 23.249. Does 381 = n?
False
Suppose 0 = v + 4*v - 175. Suppose v = 5*a + 4*w, -2*a + 5*w = 14 + 5. Suppose 0 = b + a*o - 0 + 9, 15 = -5*b - 5*o. Which is greater: 3/8 or b?
3/8
Let o = 2493 - 2453. Let m = -30 - -28. Which is greater: m or o?
o
Let q(d) = -d**3 + 15*d**2 - 6*d + 95. Let p be q(15). Let u be 3 - (23556/2940 + -1*p). Which is greater: -1 or u?
u
Suppose 0 = -0*q - 5*q + 25. Suppose -6 = q*p - 6. Which is smaller: 2/409 or p?
p
Let f = 220 - 183. Suppose 0 = 33*d - f*d + 196. W