Let r = h + m. Is -19 equal to r?
False
Let f = 189/4 + -47. Let i = -736.673 - -737. Let n = i + 0.673. Which is smaller: n or f?
f
Let y be (726/154 - 4/(-14)) + 157. Let z be 10 + -13 + y/30. Suppose 0 = -4*h - 3 - 13, 3*h = -2*t - 6. Do z and t have the same value?
False
Let m be (-91 + -4)*(20 + -2) + (-5 - -4). Do -1712 and m have different values?
True
Suppose -147181 + 14609 = 240*q + 47908. Is -752 smaller than q?
False
Let s(m) = 326*m + 654. Let x be s(-2). Is 110/111 at least as big as x?
False
Let l be (-4 - 26/(-7)) + (-177)/(-7). Let t be -5 + (2 - -4) - l. Is t at most as big as -24?
True
Suppose 5*y + 4*t + 17 = 0, 4*t + 146 = 4*y + 138. Which is greater: -78/43 or y?
y
Suppose -4*t = 5*q + 35, 0 = 2*q + 6*t + 43 - 29. Let x(c) = -c**2 + 7*c - 8. Let z be (1 - 0)/(3/21). Let b be x(z). Is q bigger than b?
True
Let m be (-2 - (12 + 3)) + 17. Is m <= 1/445?
True
Let g(d) = 2*d**2 + 26*d + 39. Let j be g(-20). Let c = j - 414. Is c greater than -94?
False
Let t = -27 - 3. Let w be (2*(-3)/(-27))/((-6)/(-108)*-8). Which is smaller: t or w?
t
Let f be 367*((-1)/(-1))/(29 - 28). Is 372 at most as big as f?
False
Suppose -r + 0*a - 2*a = -132, -5*r + 612 = -2*a. Let j = 125 - r. Which is smaller: j or 3/79?
3/79
Let c(i) = -15*i**3 + 16*i**3 + 2 - 3*i + 2*i + 3*i**2. Let g be c(-4). Suppose -41*o = 21*o + 62. Does o = g?
False
Suppose -6*u = -2*u - 3*a + 45, -2*u - 21 = -3*a. Let w be u - 7704/(-780) - 8/10. Which is smaller: w or -3?
-3
Suppose 52*g - 80288 = 50*g. Let x be (-4)/(-14) - (g/8463)/16. Which is smaller: x or 1?
x
Suppose 3*d = 4*b - 16 + 330, 162 = -2*b - d. Which is greater: b or 39?
39
Let d(x) = -x**2 + 10*x + 42. Let b be d(13). Suppose 0 = -o - b*o - 20, 4*o + 17 = 3*a. Let s be (4/(2/a))/(-21). Which is bigger: 0.1 or s?
0.1
Let g = -87 - -88. Let w be 11/((-25278)/4)*3. Which is smaller: w or g?
w
Let v be (-47768)/10*(-65)/(-26). Is v bigger than -11942?
False
Let h = -0.196 + 0.4. Let p = 0.204 - h. Is -9/4 greater than p?
False
Let l be 2*1 + (-475)/240. Let i(k) be the third derivative of k**5/60 - k**4/8 + k**3/3 - k**2. Let x be i(1). Is l greater than or equal to x?
True
Let m(t) = -16*t**3 - 11*t**2 - 7*t. Let o be m(-4). Let j be 3/(18/(-10))*o. Let l = j + 8783/6. Which is smaller: l or 5?
l
Let f = 0.577 - 0.637. Is 68 equal to f?
False
Let o = 3492 + -3140. Is o equal to 1407/4?
False
Let v be (-710)/25*10/2. Let h = v - -178. Which is smaller: h or -2?
-2
Suppose 12*j = 8*j + 4*p, -2*p - 9 = -5*j. Suppose -7*i = -9*i + 6. Suppose -4*b - 23 = -j, -i*v - 3*b = 12. Is v > -1/95?
True
Let k = 378 + -384.4. Let s = -2.092 + 0.092. Which is bigger: k or s?
s
Let d = 37002 - 221473/6. Does d = 91?
False
Let n = 13 - 27. Let j be n/(-21)*66/4. Suppose -4*o + 40656 - 40604 = 0. Which is bigger: o or j?
o
Let s = -1069/3 + 352. Let h(m) = 3*m**2 + 1. Let a be h(1). Let x = s + a. Is 0 at least as big as x?
True
Let c(d) = 7*d**2 - 38*d - 6. Let f be c(6). Let g be ((-12)/f)/((-4)/(-3)). Is -2 greater than g?
False
Suppose 14 = -4*g - 110. Let h = -65 - g. Let f = -12 - -11. Which is smaller: h or f?
h
Suppose -38 = 4*s + 2. Let b be 5/s*15*2/3. Let n be (81 + b)/1 + -5. Is 70 greater than n?
False
Suppose -5*g = 2*p - 5, -5*g = 9*p - 11*p + 15. Let o be 118/9*(-25)/(-140). Let q = -16/7 + o. Is g equal to q?
False
Let d = 4435 + -4329. Which is bigger: d or 103?
d
Let z be ((-8)/60)/((-486)/585). Which is bigger: 0 or z?
z
Suppose -275*t = -5*v - 273*t - 32391, -6462 = v + 5*t. Which is smaller: -6478 or v?
-6478
Let l = -36 - -14. Let o = 88 - 86. Suppose 52 = -2*d + o*s, 5*d + 80 = -4*s - s. Does l = d?
False
Suppose 541*j + 270*j = 170*j + 2602460. Which is smaller: j or 4059?
4059
Let w = -120 + 479/4. Let d = 0.01 - 23.01. Let z = -22 - d. Is z less than or equal to w?
False
Let y = 129378 - 1165784/9. Let h = y - -162. Is 9 > h?
True
Let g be 10/15 - (-114)/(-9). Let x(p) = 2*p. Let y(k) = -8*k + 9. Let f(h) = 5*x(h) + y(h). Let l be f(g). Which is bigger: l or -12?
-12
Suppose -4*n + 16 = -2*l, 0*n - 13 = 2*l - 3*n. Let i be ((-20)/30)/(l/3). Which is smaller: i or -35?
-35
Suppose -8 = 2*o + 6. Let k = o + 6. Let s be (-8)/(-20*28/(-70)). Is s bigger than k?
False
Let w = 0.1369 + -0.0369. Let c = -6 - -8. Suppose r = -c*r. Is w smaller than r?
False
Let l = 863 - 867. Let p = 32 + -14. Let k be (l/(-8))/(2 + 2 + p). Is 1 at most as big as k?
False
Suppose -8 + 1250 = -6*z. Let f be (-6)/27 + 3887/z. Is -25 < f?
True
Suppose 6 = 3*l - 5*l, -3*l - 38 = f. Suppose 12*x + 131 = -181. Are x and f equal?
False
Let m(u) = -u**2 + 18*u - 100. Let o be m(38). Which is smaller: -861 or o?
-861
Let d(f) be the second derivative of f**3 - 22*f**2 - 24*f. Let h be d(8). Let n be (-153)/h + (-3 - (-9)/4). Is n less than or equal to -39?
True
Suppose 11*d + 3553 = -5808. Let i = 853 + d. Is i less than or equal to 51/19?
True
Let j = -7706 + 7704. Is 181/5 greater than or equal to j?
True
Let t = 453/52 - 35/4. Suppose 0 = 2*z - i - 151, -5*z + i = 5*i - 410. Suppose 6*s = -z + 84. Is t at most s?
True
Suppose -7*g + 129 = -130. Let y(h) = 5*h - 7. Suppose m = -a + 6, -3*m - 54 = -5*a - 0*m. Let i be y(a). Is i != g?
True
Let c = 3985 + -3984.6. Which is bigger: c or 60?
60
Let o = 0.47 - 0.2. Let v = o - 26.87. Let g = v + 26. Which is smaller: -3 or g?
-3
Let t = 20440 + -20223. Are 2811/13 and t nonequal?
True
Let o be (604/(-453))/(2/(-276)). Let v be (-14722)/80 + 2/5. Let c = o + v. Which is smaller: c or -1?
-1
Suppose 0 = -3*v + v + 96. Let a = 63 - v. Let g(h) = 11*h**2 - 5*h - 4. Let t be g(-1). Is a != t?
True
Let f = 491 + -427. Which is smaller: 90 or f?
f
Let f(q) = 2*q**2 + 111*q + 12. Let b be f(-53). Which is smaller: b or -260?
-260
Suppose -p = -4*f - 253, -2*f + 3*f - 2*p + 65 = 0. Let i be f/(-22) + -4 + 1. Let s = -41 + 40. Which is smaller: i or s?
s
Suppose 2*q + 123 = -5*s, s - 186 + 57 = 2*q. Let h(x) = -6*x**2 + 15*x - 28. Let j be h(4). Are j and q equal?
True
Let b be (-214)/(-7) - (-3)/7. Suppose -3*j + 5*w = 41, 5*j + b = 5*w - 34. Let p = j - -130/11. Which is smaller: p or 1/7?
p
Let c be 67 - 2/2 - (7 - (5 - 1)). Which is greater: c or 77?
77
Let f = -27725/357 - -538/7. Let y = -8/17 - f. Which is smaller: 2.4 or y?
y
Let u = 74.6 - 64. Let g = u + -10.5. Is g != -4/11?
True
Let q = -0.03024 + 462.83024. Let p = -463 + q. Is 0.163 at least as big as p?
True
Let p = -10.8895 + 10.84. Let j = p + 3.0495. Let w = -0.1 + -0.4. Which is smaller: j or w?
w
Let l = -480 - -510.8. Let g = l + 38.2. Let d = 0.3 + -0.4. Is g smaller than d?
False
Let b = -1.1 + 0.8. Let n = -100420 + 2008401/20. Is n at most as big as b?
False
Suppose 4*i - 7*i + 39 = 0. Suppose -4*s - 4*m + 40 = 0, -82 - 13 = -5*s + 10*m. Is i bigger than s?
False
Let x(p) = 125*p + 3 + 117*p + 2*p**2 - 2*p**2 - 247*p + p**2. Let b be x(3). Let r = 867 + -5219/6. Is b at most r?
True
Suppose 0 = 44*w - 24294 + 4450. Suppose g - 453 = -0*g. Is g greater than or equal to w?
True
Let z be (13*-1)/(17 - 19). Let p = z + -25/4. Let b = -0.79 - -0.59. Which is smaller: p or b?
b
Suppose 0 = -7*z + 11*z - 204. Let i = z - -32. Is 1 != i?
True
Suppose 0 = 5*p - 4*j - 1441, -11*p + 14*p - 875 = 5*j. Are 287 and p non-equal?
True
Let f be 19*(5 - 2044/(-175)). Let d = 714 - 397. Let t = f - d. Which is smaller: -5 or t?
-5
Let a = 40337 + -38877. Is a at least -1?
True
Let m = 217 - -159. Let u = m - 238. Are 1 and u non-equal?
True
Let c be 1/4 + 3078/(-216). Which is greater: c or 13?
13
Let b = -205.41 - -133.41. Which is bigger: 0.043 or b?
0.043
Let m = -19.078 - -19.318. Which is smaller: 10/29 or m?
m
Let m = -106246 - -742107/7. Let f = -231 - m. Let o = 27 - 63. Which is smaller: o or f?
o
Let q = -0.903 + -50.997. Let y = q + 47. Let j = -40.9 - y. Which is greater: j or 0.2?
0.2
Let p = -10059 + 10058.96. Let o = -1/47 - 41/282. Is p bigger than o?
True
Suppose -491 = 3*y + 5*s, -11*s + 13*s = 4*y + 594. Is 1 bigger than y?
True
Suppose -35*n = 199*n + 77*n. Let x be 1 + -4 + 4/2. Which is greater: x or n?
n
Let d = -884 - -875. Let q be d/3 + 6 + -3. Do q and 3/182 have different values?
True
Suppose t = -2*t + 6. Suppose -261*x + 255*x - 4770 = 0. Let r = -10302/13 - x. Which is smaller: r or t?
t
Suppose -29*d + 2