 = -f + a + 15. Let q = -15 + f. Let b(d) = d**3 + 9*d**2 - 37*d - 13. Let p be b(-12). Are q and p non-equal?
True
Let m(a) = 3*a + 6. Let u be m(-1). Suppose -11 = -2*d + 3*r, u*d + 17 = 2*d - 3*r. Let i = -3 - -2. Which is smaller: i or d?
d
Let p = 9.78 - 9.72. Do p and 4 have different values?
True
Let h = 2698 - 191553/71. Is -1 less than h?
True
Let h = -0.38 + -1.62. Is h greater than 8?
False
Let s = -2089 + 1848. Which is greater: s or -242?
s
Let b(y) = -y**2 + 8*y + 6. Let h be b(8). Let p be -2 + (-1)/1*-1. Let m = p + 7. Is m != h?
False
Let k = -20 + 33. Let n = 2183.1 + -2068. Let l = 115 - n. Which is smaller: k or l?
l
Let j = 27 + -23. Suppose j = 6*o - 5*o. Suppose -1 = 3*z - o. Is 2/15 less than or equal to z?
True
Let a = -196 + 195.7. Is a smaller than 0.37?
True
Let a(j) = j**3 + 9*j**2 + 4. Let f be a(-9). Suppose -2*n = 4*z + 8, z + 5*n + 20 = -f*z. Does z = -3/5?
False
Let f = 0.08 - 0.2. Let g = f + 0.08. Let l = g + 0.34. Which is bigger: 2 or l?
2
Let q be 75/(-80) + -4 - (-30)/6. Which is bigger: q or -5/3?
q
Let x = 25.974 + 0.026. Let l = x + -21. Which is smaller: l or -1/5?
-1/5
Let s = -126025115/20383 + 68010/11. Let y be 0 + 651/327 - (-2)/(-1). Let q = s - y. Which is greater: q or -1?
q
Let h(c) = -c + 21. Let m be h(19). Let j(q) = -4*q**2 + 1. Let f be j(1). Let z = f - -5. Is m at most as big as z?
True
Let q = 3.9 + -7.5. Which is bigger: q or 3?
3
Let m(p) = -p**3 + 15*p**2 - 25*p - 22. Let v be m(13). Let j be 16/90 + ((-4)/v)/2. Suppose -4*l = l. Are l and j equal?
False
Let k be 1352/1326 - (1 + 1/(-3)). Is 1 greater than k?
True
Suppose 4*q - 9*q = -4*d + 62, -4*d = 5*q + 78. Let h be (q/6 + 2)*1. Suppose 16 = 4*m, -w - 2*m = -5 - 4. Which is smaller: w or h?
h
Suppose -5*y + 80 = -0*y. Let o be (2 - 26/y) + 0. Suppose 5*k - 12 = 3*m, 6*k - 2*k + 12 = -3*m. Which is greater: k or o?
o
Let l = 196/3 + -66. Let x = -102 + 180.5. Let z = x + -78. Is z > l?
True
Suppose 170*v = 156*v - 672. Are v and 3/5 equal?
False
Let r = 9 + -7. Let c be (r - 3)/(6/(-24)). Let t = 8 + c. Is t <= 10?
False
Suppose 10*h - 11*h - 258 = 0. Is h at most as big as -257?
True
Suppose 1 = 5*d + p, 4*p - p - 3 = 0. Let z be -2 + d*2/8. Which is greater: z or 6?
6
Suppose -68 = -15*c + 7. Suppose -5*t = -f + 8, 4*f + f + c*t = -20. Is 1 < f?
False
Let b(k) = -k + 6. Let r be b(5). Suppose -8 = -3*h + r. Suppose 0 = -h*y + 2 + 1. Which is smaller: -2/15 or y?
-2/15
Let s = 0.36 + -0.06. Let b = 2.3 - -44.6. Let r = 47 - b. Which is smaller: s or r?
r
Let p = 7 - 8. Let y = p + -10. Suppose 4*q = -3*v - 40, -40 = 4*q + v + v. Is q > y?
True
Let j = -71 - -160. Suppose 17 - j = -2*i + 2*v, v = -2*i + 78. Which is bigger: i or 37?
i
Let d be ((-3)/(-2))/((-3)/(-32)). Let o be 35*(-48)/(-224)*(-2)/(-1). Is d smaller than o?
False
Let h be 2 - (-5468)/84 - (-2)/(-21). Do h and 67 have the same value?
True
Let c be (20/40)/((-3)/6). Is c at most 1/334?
True
Suppose 22 = -f + 3*f. Let k(j) = -j**2 + 12*j - 5. Let q be k(f). Let t = -10 + q. Which is greater: t or -5?
t
Let g = 8 - 18. Let x = -5 - g. Suppose -b + 9 = x*c, 0*c + 11 = -5*b + 3*c. Is 1/12 greater than or equal to b?
True
Let x(y) = y**3 - 2*y**2 + 2*y + 2. Let s be x(2). Suppose -p = 5*p - s. Let h = -1748/11 - -159. Is p at least h?
True
Let m = 0.04 - 2.04. Let f = 5 + m. Let b = f + -1. Is 1/4 bigger than b?
False
Let o be 4/(-8)*4 - -2. Suppose 0 = 3*h + 5*q - 3 + 6, 2*q = o. Let y be (-7)/(-14)*(5 + h). Are 3 and y unequal?
True
Let c = -2918/2503902742251 - 462518404523820247998487/13899164122235301. Let a = 33276706 + c. Let f = 1/427 - a. Which is greater: f or -1?
f
Let y = -15 + 13. Let r be -2*y/(-4)*0/5. Which is bigger: r or -5?
r
Let h = -266 - -262. Is 116 less than h?
False
Let q(r) = -6*r**2 - 44*r + 10. Let i(m) = -2*m**2 - 15*m + 4. Let w(u) = -17*i(u) + 6*q(u). Let j be w(-5). Is -14 less than j?
True
Let i be 1/(-2) - 3/2. Let n be (i - (1 - 0))*(-5)/15. Is 3/19 < n?
True
Let n(z) = z**2 + z - 17. Let a be n(-5). Are a and 35/22 equal?
False
Let d be 12 + (-1 - -1 - -1). Let o = d + -27/2. Do o and 7 have the same value?
False
Let k = -124 + 126. Suppose -58 = -2*h - k*c, -4*h + 3*c + 116 = 2*c. Is h less than 29?
False
Let l(o) = 2*o**3 - 24*o**2 + 19*o - 46. Let u be l(11). Let s = -148 + 70. Are u and s equal?
False
Let t be (-6)/(-4)*(-12)/(-27). Let b = -8 + 7.89. Let o = 0.16 + b. Which is greater: t or o?
t
Let t = -35 - -40. Let d = 21 - t. Which is greater: 2/7 or d?
d
Let t be ((4/(-1530))/1)/((-190)/37221). Let n = t - 20/51. Which is smaller: 1 or n?
n
Let o = 13 - 0. Let s = 104.97 + 0.03. Let j = -105.1 + s. Which is smaller: j or o?
j
Let o be -2*(-3 - -1)*2. Suppose -o*g + 5*g = 66. Are -21 and g unequal?
True
Let p = -11 - -10.5. Let a = -0.4 - 2.4. Let j = 2.6 + a. Which is smaller: p or j?
p
Let b(t) = -t**2 + 6*t - 4. Suppose 0 = -0*u + u - 4. Let r be b(u). Suppose 2*q - 14 = 4*d, -r*q + 7 + 5 = -4*d. Is 2 bigger than d?
True
Let l = 21/410 - 21419/434190. Are l and -1 equal?
False
Let a(r) = -67*r + 954. Let f be a(22). Which is smaller: -521 or f?
-521
Suppose -18*i + 437 = -103. Which is greater: 211/7 or i?
211/7
Let l = -64 - -65. Suppose 3*m - 2*k + 8 = 0, 0*k - k + 1 = 0. Let s be (-4)/10*m/(-12). Which is greater: s or l?
l
Let l = 60 - 27. Let c = -32 + l. Let j = -695/7 - -99. Is c at least j?
True
Suppose 3*w = 3*z - 21, 0 = -2*w - 5*z + 6 - 20. Let j be (-2050)/(-70) - (-2)/w. Let l = 32 - j. Which is smaller: l or 12/7?
12/7
Let d = 511 - 519. Which is smaller: d or -7?
d
Let p = -81/14 - 19/7. Let f = p + 9. Do f and 1/5 have different values?
True
Suppose d - 2*a + 196 = 4*d, -4*a = 3*d - 194. Suppose -3*f - 3*f + d = 0. Suppose 4*u - 9*u + 50 = 0. Is f > u?
True
Suppose -22*l + 2 = -20*l. Let x be l - 1*(-16)/(-12). Suppose 0*n = -n. Which is greater: x or n?
n
Let l = -712 - -611. Is l at least as big as -0.2?
False
Let d(b) = -2*b - 8. Let r be d(-6). Let v be r/(-3) + (-12)/(-9). Which is bigger: -1 or v?
v
Let k(z) = 6*z + z**2 + 3 + 10*z - 8*z + z**2. Let g be k(-5). Is g not equal to 0.1?
True
Let p be ((-165)/(-30))/(1/6). Suppose p*y - 37*y = 4. Are -1/125 and y unequal?
True
Let u(v) be the first derivative of 1 - 5/2*v**2 - 1/3*v**3 + 13*v. Let x be u(-6). Are 8 and x non-equal?
True
Suppose 490 = -5*f + 5*q, 4*f + 459 = 3*q + 62. Is -110 less than f?
True
Let h(x) be the second derivative of -x**3 - 7*x**2/2 - 2*x. Let g be h(-4). Suppose 0 = 5*p + g - 2. Which is smaller: p or -2?
p
Suppose 2*n + 8 = 2. Let g = -1621/40 - -289/8. Which is greater: g or n?
n
Let o = -4.04 - -1.04. Is o at least as big as 65?
False
Let h be ((-6)/(-4) + -1)*(-28)/(-70). Which is smaller: 332 or h?
h
Suppose 3*g = j - 2 + 18, 3*g - 11 = -4*j. Let u be -2*46/840 + 2/12. Which is bigger: u or j?
u
Let l(h) = -h**3 + 2*h**2 + 4*h + 2. Let k be l(-2). Let s be (-72)/k - (-5)/25. Is s equal to -7?
True
Let h be (-2)/6 + 81353/(-72). Let p = 9465/8 + h. Let x = p + -53. Is 0 smaller than x?
False
Suppose 1321 = 10*y - 2319. Which is smaller: y or 365?
y
Suppose 12 = -37*d + 35*d. Is d != -3?
True
Let f be (-4)/(-2) + (-2 - 2). Let z be -3*(-1)/9 + f. Suppose -5*q + 2*u - 15 = 0, 0*u + 2*u = q + 3. Which is smaller: z or q?
q
Let j be 38/(-120) + (-2)/(-8). Suppose -l = -0*l. Suppose 5*b = -l + 5. Which is bigger: j or b?
b
Suppose c + 13 + 14 = -5*s, 4*c = -8. Let a be 54/4*100/6. Let p = a - 229. Is s less than or equal to p?
True
Let r = 0.88 + -0.39. Let f = r - 0.5. Let w = f - -0.41. Is -1/5 < w?
True
Let s = 19/67 - -3647/134. Let a = s - 28. Let k be 1*(-23)/(552/16). Which is smaller: a or k?
k
Let j = -430180/7 - -61285. Let y = -169 - j. Which is smaller: 1 or y?
y
Let c = 190 + -275. Which is bigger: c or -0.3?
-0.3
Let j = -5.6 - -38.6. Let d = 45 - j. Is 0 >= d?
False
Let u(o) = 4*o**2 + 0*o**2 - 5 + 17*o + o**2. Let a(t) = 3*t**2 + 9*t - 3. Let j(p) = -7*a(p) + 4*u(p). Let c be j(4). Which is bigger: c or 6?
6
Let q = 2 - 1.96. Let v = 1170/23 - -909/92. Let c = -61 + v. Which is greater: c or q?
q
Suppose 5*k + 0*k - 15 = 0. Let p be k/(27/(-8)) + 0. Which is smaller: -2 or p?
-2
Let j(w) = -w**2 - 2*w + 2. Let i be j(-2). Suppose i*s = -15 + 3. Let o = s - -6. Which is smaller: o or -4/3?
-4/3
Suppose 