0.1358 - -0.3358. Which is smaller: 1/152 or n?
1/152
Let q be (-6)/10*-2 - 1. Let r(y) = -y**3 - 10*y**2 - y - 10. Let f be r(-10). Suppose f = -2*i - i. Is q < i?
False
Let x = 9.9 + 26.1. Let w = 29.7 - x. Is 0.1 < w?
False
Let m(r) = -4*r - 17. Let t be m(-5). Suppose -j - 55 - 54 = 3*n, 2*n + 341 = -t*j. Let f = -1379/12 - j. Which is greater: f or 0?
f
Let q be 2*1/8 - (-10759)/84. Let k = q + -6527/51. Is -1 greater than or equal to k?
False
Let v = 39185/149 - 263. Let z = -134 + 135. Which is smaller: z or v?
v
Let s(h) = h**3 + 6*h**2 + 9*h + 49. Let a be s(-6). Suppose 0*c = -2*c + 10. Suppose -3*o + 20 = -c*d - 9, 1 = -d - o. Which is smaller: d or a?
a
Suppose 0 = -7*b - 360 + 339. Is -47 < b?
True
Let p = -606836 - -15173352/25. Let r = p + -98. Is r < 0?
False
Let w = -12337/7 + 1768. Which is greater: w or 5?
w
Let f = 633 - 670. Let m = -62 - -25. Is m at most as big as f?
True
Let m = -0.8288 + -0.1712. Which is greater: -0.476 or m?
-0.476
Let c = 49 - 48.7. Let g = c - -1.3. Are 1/4 and g equal?
False
Let k(y) = y**3 - y**2 + 2*y - 5. Let r be k(-4). Let b = 653/7 + r. Let h = -5/52 - 49/572. Which is greater: h or b?
b
Let x be 4/(-4) - -1 - (-3 - 0). Suppose 2*g = -0*g + 4. Let l = g + -2. Which is smaller: x or l?
l
Let m be (-5933)/85 - (-2)/(-10). Let a be (12/m)/(156/63). Let t = a + -33/650. Which is smaller: t or 1?
t
Let s = -248 - -247. Is s greater than or equal to -2/377?
False
Suppose 0 = j - 2 - 4. Suppose -1 = -z + d + 14, 5*d + 9 = -z. Are j and z non-equal?
True
Let f(u) = 8*u + 22. Let s be f(7). Let i = 233/3 - s. Which is smaller: 1 or i?
i
Let d = -53 + 329/6. Let i(v) = v**2 + 2*v - 2. Let m be i(-3). Which is smaller: m or d?
m
Let b(j) = -4*j**2 + 3*j. Suppose 5*y - 4*p = 25, p + 3 = -2*y - 0*p. Let a be b(y). Which is smaller: 1 or a?
a
Suppose 6 = 2*o - o. Suppose 12 - o = 2*l. Suppose -2*w + 6 = -l*d, -6*w + w = 5*d + 10. Which is bigger: d or -2/3?
-2/3
Suppose 3*q + 59 = 11. Let u be -2*(-2)/q*4. Let w = 955/44 - 87/4. Are u and w unequal?
True
Suppose 78 = 3*r + 258. Let j be (r/10)/((-4)/(-18)). Let d = j + 21. Do -3 and d have different values?
True
Let j(w) = 2*w**3 + 27*w**2 - 13*w - 8. Let m be j(-14). Which is smaller: m or -20?
m
Suppose 6*r = 2*r - 2*q + 4, 0 = 3*r - q - 3. Are -411 and r equal?
False
Let b = 10.6 + -107.6. Is 1 bigger than b?
True
Let z = 476 + -396. Which is greater: z or 4?
z
Let c = -45 + 49. Let z = -5 - -10. Is c at most as big as z?
True
Let u(p) = 12*p + 7. Let j be u(-15). Are j and -173 equal?
True
Let l(y) = -4*y**2 - 9*y + 3. Let u be l(9). Let i be 3/12 - (-35366)/(-88). Let r = i - u. Which is smaller: r or 0?
0
Suppose -5*d - 1 = 2*a, 3 = -4*d + 3*a - 7. Suppose 6 - 2 = 2*v. Let q be -4 - -1 - (-5 + v). Are q and d equal?
False
Let k = -96.4 - -90.4. Which is smaller: k or -0.03?
k
Let u(b) = -b + 1. Let s be u(1). Let y be 16/36*1/(-6). Let z = y - 73/108. Which is greater: z or s?
s
Let d = -1246 - -1248. Which is greater: 30/11 or d?
30/11
Let o = 0.035 + 9.965. Let f = -1 - o. Is 2/13 bigger than f?
True
Suppose -r + 220 = 201. Suppose -r*u = -25*u - 24. Which is bigger: u or -36/7?
u
Suppose -219 = y - b, -2*b = b - 6. Let i be 2/(-7) + (-48)/y. Which is greater: i or -1?
i
Suppose 8*i - 13*i + 905 = 0. Do 182 and i have different values?
True
Let q = -1302 + 19538/15. Is q less than 2?
True
Let n = -971 - -965. Let k = 12 - 18. Is k greater than or equal to n?
True
Let f = -381.9 - -382. Which is smaller: -5/36 or f?
-5/36
Let f(z) = z - 3. Suppose -4*p - 5*p = -18. Let h be f(p). Which is greater: h or -2/53?
-2/53
Let x = -231276/17 - -13598. Let r = 10213/1581 + x. Is 1 greater than r?
True
Suppose 0 = 5*y - 19 - 101. Let n be 5 - ((-7 - -3) + 224/(-15)). Let h = y - n. Which is smaller: h or 1?
h
Let j = 0 + 4. Let b = j - 2. Let u = 2.2 - b. Which is bigger: 2 or u?
2
Let k(c) = -c**2 - 9*c - 3. Let q be k(-8). Suppose 0 = -q*f - 2 - 3. Let l be (0 - 1)/(4 + -3). Is l >= f?
True
Let n(d) = -d**2 - 7*d - 3. Let q be n(-7). Let h be (-11)/(-33) - (-4)/q. Suppose 0 = -12*g + 10*g - 10. Which is smaller: h or g?
g
Let t = -8 - -3. Let o = 323 - t. Let h be 230/o + 12/(-16). Is -1 at most as big as h?
True
Suppose 0 = -6*c + 4 + 8. Let o be (c + -2)*5/(-25). Which is greater: -3/40 or o?
o
Let u = -8 + 12. Let y = u + -3. Let s = 141 - 134. Is s bigger than y?
True
Let g = 0.413 + -0.023. Which is bigger: g or 2/3?
2/3
Let w = -9.96 - 0.04. Let y = 395 - 839/2. Let s = 24 + y. Is s <= w?
False
Let j = -427/327 + -3/109. Which is smaller: j or 11?
j
Let x = -57.7 + 57.762. Is -2/7 at most x?
True
Suppose -30 = 3*n + 24. Let l be 8/(-28) + (-262)/14. Let f = n - l. Which is greater: -2 or f?
f
Suppose 0 = y - 12*y + 143. Let h be (2 + -7 - -2)*-4. Is y > h?
True
Let f be (-1)/4 + (-56310)/680. Let d = f - -83. Let r(q) = -q**2 + 6*q + 7. Let i be r(7). Do d and i have different values?
True
Let d = -0.7 - 0.3. Let i = d + 4. Let f = 2966.9 + -2967. Are i and f unequal?
True
Let m = 57 + -58. Let o(f) = f**3 - 2*f**2 - 2*f. Let n be o(m). Which is smaller: n or 1/5?
n
Suppose -68 = 3*o - 7*o. Let a = o + -18. Do a and 2/11 have the same value?
False
Let k = -11 - -10.63. Let z = -6.53 + k. Which is bigger: z or -1/3?
-1/3
Let x be (21492/(-7170) + 3)*(-10)/(-2). Which is smaller: x or 0?
0
Let g be -3 - -1 - (-1)/1. Let a be (2690/850)/(6/(-15)) - -8. Is a >= g?
True
Suppose 116 = 7*d - 759. Is d less than or equal to 126?
True
Let w = -45 - -74. Let p = -21 + w. Do p and 8 have the same value?
True
Suppose -1 = -k - u + 3, 0 = 2*k + u - 3. Let m be (1/23)/((-11)/(33/(-6))). Which is smaller: m or k?
k
Suppose 7*y = -156 + 16. Let j(m) = -4*m - 3. Let c be j(4). Are c and y equal?
False
Suppose -d = j + 13, -6 = 2*j - 0*j. Let p(m) = 3*m + 6. Let g be p(d). Let y = 21 + g. Which is smaller: 1 or y?
y
Let o = 18 - 41. Let s = -27 - o. Which is greater: s or 2/5?
2/5
Let p be 4953/(-130) - 2/5. Let m = p + 38. Let u = 53/4 + -14. Is m != u?
True
Let c be ((-10)/4)/((-18)/36). Suppose c*u = 3*u. Is u >= 1.8?
False
Let m(s) = 8*s**2 - 33*s - 26. Let l be m(13). Which is smaller: l or -1?
-1
Suppose 0 = 5*k + 5*t + 165, -33 = k + 2*t + 3*t. Let q = 34 + k. Let o be -4 + q - 6 - -1. Is o at most -8?
True
Let v = -1384 + 1018. Is v smaller than -368?
False
Let s(f) = -f**2 + 5*f + 15. Let u be s(7). Suppose 0 = -4*m - u + 29. Suppose 6*y = 2*y + 12. Which is greater: m or y?
m
Let u = -0.19 - 0.01. Suppose -4*k = k - 5*d + 175, 0 = 5*d. Let p be 10/k + 40/91. Is u not equal to p?
True
Suppose -w = -4*w + 3*x + 18, 4 = 4*w + x. Suppose w*g - 1 = 11. Let f = -14 + 20. Is f > g?
False
Let i be (6 - 15/3) + (-6 - 0). Let h(l) be the third derivative of l**4/24 - 2*l**3 - l**2. Let k be h(9). Is i smaller than k?
True
Let n = 2102/5 - 2579/10. Is 162 at least n?
False
Suppose -5*z + 0*r + 56 = -4*r, 0 = 2*z + r - 12. Let s = -10 + z. Let c be (4/(-10))/((-5)/25) + -4. Is c at most s?
True
Let p = 26.8 - 26. Let b = -0.9 - 3.3. Let h = b - p. Which is bigger: h or 0.2?
0.2
Let w = -42 - -1. Let f = 10.31 - 10.21. Which is smaller: f or w?
w
Let z = -69 - -70. Suppose z = 4*x - 3*v, 0 = -x + 5*v - 4*v. Which is smaller: 2 or x?
x
Let i be (7/3)/(2 + 14). Let p = i + 3/16. Is -1 at most p?
True
Let q = -143 - -104. Is -10 > q?
True
Let x(r) be the third derivative of -r**5/60 + r**4/4 + r**3/3 + 16*r**2. Let w be x(6). Does w = 4/5?
False
Let z = 0.07 + 0.13. Let q be ((-57)/(-7) - 2) + -6. Is q not equal to z?
True
Suppose -3*i = -w - 7 - 1, -8 = -w - i. Suppose -3*o + 3*x + 9 = 0, -w*o - 3*x + 1 = -4. Let a = 0.41 - 0.11. Which is greater: o or a?
o
Let k = 169.7 - 90.6. Let v = k - 79. Which is greater: v or -33/7?
v
Let x be 196/(-35)*(-1)/(-4)*-10. Which is smaller: 109/8 or x?
109/8
Let u be (6/300)/((-2)/((-84)/3)). Are 1 and u unequal?
True
Suppose 6*j - 10*j = -2*s - 6, j - 2 = 0. Which is greater: s or 31?
31
Let w = 18 - 50. Let v(u) = -5*u - 4. Let q be v(5). Let d = w - q. Are d and -2 equal?
False
Let u(g) = 7*g - 341. Let d be u(6). Is -298 < d?
False
Suppose -5*c = 2 + 8. Let f be -3 - ((-4)/10)/((-3)/(-45)). Let o be 9/27 - 10/f. Which is greater: c or o?
c
Let i = -4.152 - -0.152. Which is smaller: i or 22/5?
i
Let k = 43 + -61. Let z = 17.9 + 