 -0*f - 35, 0 = -4*f - 2*k + 50. Suppose 0 = -5*n - 4*p - 0*p + 45, 5*p = 25. Suppose -3*d + n = -f. Which is bigger: d or 6?
6
Let p = -21 - -17. Let i be ((-252)/32 - p) + 4. Is i at least as big as 0?
True
Let n be (129/72 + -2)*20/13100. Is -1 smaller than n?
True
Suppose -22*i + 13850 = -47*i. Is i <= -555?
False
Let y = -1.88 + 2.1. Let t = 0.24 - y. Is 3/2 less than t?
False
Let m = -67 + 97. Suppose 36 = 6*t - m. Which is greater: t or 52/5?
t
Let y be (-8)/102*2706/164. Is -1 greater than or equal to y?
True
Let x = 143902 - 39285182/273. Let s = 814/91 - 120/13. Let v = s + x. Is v greater than 0?
False
Let y = -67 + 68. Is 2/201 less than or equal to y?
True
Let v(j) = 108*j - 215. Let h be v(2). Is -2/6229 smaller than h?
True
Let c = -3733 - -3697. Suppose 2*r = 4*p - 47 - 9, -5*r + 4*p - 164 = 0. Do r and c have different values?
False
Let u be (-37)/4 - 3/4. Let g = u - -15. Suppose -z - 4*z + g = 0. Is z > 2?
False
Suppose -2*d - 13 + 61 = j, -2*d = -j + 44. Let t = j - 46. Suppose -3*h + 0*h - 6 = 0. Does h = t?
False
Let u be 32/16 - (-22 + -1). Let r = -27 + u. Let n be (4 - (-100)/(-24))*r. Which is smaller: 0.1 or n?
0.1
Let n be (-164155)/(-89175) - 3/9. Let g = n - 44/29. Let l = 436/2665 + g. Are -1 and l non-equal?
True
Let j = 5 - 3. Suppose -2 = -2*p + j. Which is greater: p or -0.6?
p
Let c be (-12)/(-10) + 2204/(-870). Let d(t) = t - 1. Let j be d(4). Suppose -6*k - j = -3*k. Are c and k equal?
False
Let s = -14 + 13.55. Let h = 2.45 + s. Which is greater: h or -0.8?
h
Let v = 11 + -8. Suppose 12 - 3 = v*d. Let u be d*(-2 + 12/9). Is -2 less than u?
False
Let p = -25 - -56. Suppose -4*z = 5*o + p, z - 23 = 4*z + 4*o. Which is bigger: z or -12?
z
Let s be (-1922)/(-6776) + -1*6/21. Let k = 2891/6292 - s. Is k <= -1?
False
Let d be 2/9 + (-4 - (-4240)/(-45)). Let m = -108 - d. Which is smaller: -12 or m?
-12
Let l(h) = h + 1. Let s(a) be the third derivative of -a**4/8 + a**3/6 + 3*a**2. Let w(v) = -4*l(v) - s(v). Let b be w(6). Is b <= -11?
True
Let h be ((-1)/7)/((-8)/(-536)) - -1. Let c = 1245/133 + h. Which is bigger: 1 or c?
1
Suppose -2*w - n - 3 = 0, 5*w = 2*n + 4 + 2. Suppose -4*m + 7*m - 33 = w. Which is bigger: 10 or m?
m
Let x(i) = 5*i + 47. Let w be x(-9). Which is greater: -5.6 or w?
w
Suppose 112*o - 25 = 87*o. Which is smaller: 6/1171 or o?
6/1171
Let c = -1241 - -1336. Are c and 91 non-equal?
True
Let i be (2 + 29/(-4))*1056/54. Which is greater: i or -102?
-102
Let g = -7 + 12. Let n = g + -9. Let t = n - -3. Is t smaller than -3?
False
Let w be (-3 + (-60)/(-16))*12. Let k = 13 + -13. Do k and w have different values?
True
Let o be -2*(-559)/24 - (-3)/(-12). Let k = o - 47. Which is smaller: k or 6?
k
Suppose 18*s + 74*s = -460. Suppose 5*v = r - 17, -r - 2*r + 5*v + 1 = 0. Which is smaller: s or r?
r
Suppose b = 5*b - 12. Suppose b*m + 5 = 2. Suppose 4*g + 15 = 3*g + 5*p, -g - 3 = -p. Which is smaller: m or g?
m
Let o(l) = -l**3 - 7*l**2 + 8*l - 9. Let b be o(-8). Let m = -26 - b. Which is smaller: -16 or m?
m
Let a = 0.05 + -0.02. Let l = -0.07 - a. Which is bigger: l or 1?
1
Let u be 27*-4*10/12. Let i be u/(-25) - 4/(-10). Suppose 3*n - 5*v = -2*n + 5, i*v = -4. Which is bigger: -1 or n?
n
Let a = 528 - 529. Is 0.36 less than or equal to a?
False
Let h(f) = f + 6. Let v be h(-4). Let j be (-4 - -15) + v*1. Let o = 36 - 24. Is o at least j?
False
Let t = 851/3 + -285. Suppose -y = y. Is y <= t?
False
Let j(z) = -z**2 - 4*z + 2. Let k be 30/(-7) - (-4)/14. Let c be j(k). Suppose c*b + 18 = -t, 2*t - 3*b + 36 = 2*b. Is -18 equal to t?
True
Let j(g) = -g**3 - 9*g**2 + 33*g - 36. Let t be j(-12). Do t and -106/15 have different values?
True
Let l = 1092 - 1127. Which is smaller: l or -1/11?
l
Let b = -95/196 - -36/49. Is 185 at least as big as b?
True
Suppose 5*r - a = -3, -36*a = -4*r - 32*a + 4. Which is greater: 1/756 or r?
1/756
Let l be 524/(-1038) - (-12)/18. Let k = l - 2930/20241. Which is smaller: k or 1?
k
Let m be -2 + 2*15/18. Let a = -491 + 508. Which is smaller: a or m?
m
Let j = -3439/195 - -231/13. Let s = 0.5 - 0.7. Is s at least as big as j?
False
Let l be (-9 + 12)/(9/(-102)). Do l and 3 have different values?
True
Let o = 46 - 52. Which is smaller: o or 2/3?
o
Let n(h) = -35*h + 103. Let f be n(3). Let o be (-2)/(-9) + 320/(-225). Is o <= f?
False
Suppose 5 = 3*o - f, 0 = 3*o + 2*o + 5*f + 25. Suppose w - 3*i + 4 = o, -2*i = -3*w + w. Suppose 12 = y + 2*c, 3 = c - w. Do y and 1 have the same value?
False
Let w = -983/9 + 109. Let z = 24.55 - -0.45. Let q = z + -25.6. Is w not equal to q?
True
Let u = 57 - 39. Suppose k = -2*k + u. Which is smaller: 0.2 or k?
0.2
Let f be (1/7 + 875/49)/2. Suppose -7*p + f*p = 0. Is 1/103 <= p?
False
Let p = -59 - -107. Let a be ((-8)/(-10) + p/(-80))*-27. Is -4 less than a?
False
Let s be (2/5)/(73540/100). Is 1 < s?
False
Let c(g) = -g + 5. Suppose -2*h - 28 = -5*d + 20, -d - 2*h = 0. Let j be c(d). Which is bigger: j or -4?
j
Let i(u) = 4*u**2 - 4*u - 5. Let l be i(-1). Which is greater: l or 0?
l
Suppose -4*j + 428 = 4*b, 6*j - j - 95 = -b. Let s be (33/b)/(24/5). Which is smaller: -1 or s?
-1
Let m be 4*-1*18/(-72). Which is greater: -15 or m?
m
Let v = 304 - 373. Which is greater: v or 3?
3
Let x be ((-122)/(-183))/((-2)/(-3)). Let z = -2/361 - 700/3971. Which is bigger: x or z?
x
Let f be (-13)/(65/25) - 50/(-6). Is f >= 0?
True
Let x(v) = v**2 + 2*v - 6. Let a be x(2). Suppose -4*p = -2*p - a. Which is smaller: p or 4?
p
Suppose 2784 = 9*f + 3*f. Which is bigger: 234 or f?
234
Let x be 8/20 - (-3190)/2275. Let g = 4469/2184 - x. Let f = -1/24 - g. Which is smaller: f or -1?
-1
Suppose 119 = 22*s - 39*s. Which is greater: s or -103/17?
-103/17
Suppose -55 = 24*m - 25*m. Suppose -4*c - 1 = m. Is 1 <= c?
False
Let d be -7*((-6)/(-10))/(-3). Is d less than 0?
False
Let s be (-21)/9 + 2/6. Let l be (-26)/(-39) + ((-672)/99)/2. Is l at most s?
True
Suppose 5*g - 781 = q, -2*g + 3*q + 67 = -235. Is 155 <= g?
True
Let a = 1/88 - -1405/264. Let v = a + -611/114. Let r = -1 + 0. Which is bigger: v or r?
v
Let g = -11092/33 + 336. Are 1/3 and g equal?
False
Suppose -189 = 50*q - 239. Do -2/3313 and q have the same value?
False
Let x be (-24)/(-10)*4*(-35)/28. Let d be (-2)/3 + (-62)/6. Is x <= d?
True
Let p = -2.04 - -2.14. Are p and 65 equal?
False
Let v = 971.52 + -15.52. Which is bigger: v or -1?
v
Let n = -514.8 - -515. Which is bigger: n or 11/8?
11/8
Suppose 0*b = -3*b + 123. Let z = b + -44. Which is smaller: z or 2?
z
Let n(j) = -2*j - 3. Let g be (1*-8)/(5 - 3). Let f be n(g). Suppose -16 = -o + f*o. Is -5 <= o?
True
Let y = -84.1 - -6.1. Let k = -78.31 - y. Which is greater: k or -0.1?
-0.1
Let s = 110 + -158. Let o be 8/s*(-18)/21. Which is bigger: o or 2?
2
Let t = -0.1285 - 108.8715. Is t greater than or equal to 0?
False
Let p = 317 + -301. Is p at least as big as 12?
True
Let c = -1/2919 + -43669/338604. Let j = 121/4524 + c. Let u = -25/117 - j. Is -1 less than or equal to u?
True
Let b be 2/(-3) - (-3822)/5742. Is b bigger than 1?
False
Suppose 0 = 4*b - 77 + 29. Let q be ((-3270)/56)/(b/32). Let n = q + 156. Which is greater: -11 or n?
n
Let j = 1746 + -1706. Is j at least 33?
True
Let b = 2879 - 2898. Which is greater: b or -142/7?
b
Let z be (2/4)/((-2)/104). Let x be 264/z + (-8)/(-52). Let w(s) = s**2 + 9*s - 2. Let v be w(x). Is 9 greater than v?
True
Let f(c) = c**3 - 20*c**2 + 18*c + 17. Let p be f(19). Let k be -2 - (0 - (22 + p)). Is 17 greater than k?
False
Let w be 2/(-11 - 12001/(-1111)). Which is smaller: -1/2 or w?
w
Let k be 955/(-35) - (-4)/14. Let n = -28 - k. Which is smaller: n or 0?
n
Let l be (-9)/5 - (-5 + 2). Which is smaller: l or 1?
1
Let k be (-630)/(-50) - 2/(-5). Let g = k - 19. Let y = g + 6. Which is smaller: y or -1/7?
-1/7
Let j be -2*2/8 + (-2)/(-4). Suppose j*m + 3*b = -m - 4, 4*m - 5*b + 16 = 0. Is m at most as big as 4?
True
Let n be (0 - -7)*12/14. Let z = 4 + n. Let k = -38203 - -38212. Is k > z?
False
Let z be (3/(-5))/((-12)/(-15)). Let x be (0/(12/(-3)))/(-2). Suppose x = 2*w - 5*w. Is w greater than or equal to z?
True
Let o be ((-36)/(-40) - -2) + -3. Let x = o - 2/5. Does x = -2?
False
Suppose 0 = -d - 2*u - 254, d + 248 = -6*u + 2*u. Let m be d/1530 + 3/27. Is -1 greater than or equal