-j. Is 37/3 greater than or equal to r?
False
Let k = -1352.8 - -2011.8. Which is greater: k or 2?
k
Let q = -75 + 77. Let c be (-1)/2 + q + 215/(-90). Let j = -2.1 - -2.2. Which is greater: j or c?
j
Suppose -520 = 28*q - 32*q. Let h be 5/((-4)/(-18) + q/144). Is h at least 4?
True
Suppose 0 = -2*y + 4 - 18. Let v(u) be the first derivative of -u**3/3 - 7*u**2/2 + 19. Let o be v(y). Is o >= 4?
False
Let x = 93/298 + -51049/5066. Let k = -500/51 - x. Let h be 4/6 - (-4)/(-6). Which is smaller: h or k?
k
Let i = 22.1 + -183.1. Let u = i + 200. Let k = 0.02 - 0.02. Is u greater than or equal to k?
True
Let i = -5.5 - -43.5. Let h = 155417/14 + -77712/7. Which is smaller: h or i?
h
Let y = 3405 - 3406. Which is smaller: y or -3/218?
y
Suppose -6*m - 24710 = -41*m. Is m greater than or equal to 704?
True
Let c be (-8)/(-2) + 0 - 26. Let x = c + 32. Let a be x/(-8) + (-12)/(-8)*2. Which is greater: 2 or a?
2
Let k = 278260/371 - 750. Which is smaller: k or 1?
k
Let b be 3*(-108)/(-63)*(-2 + -5). Is -0.049 at least b?
True
Let r be (6/9)/(-4*(-6)/3420). Suppose 2*u - 23 = 3*z - 114, -3*z + 250 = -5*u. Let w = r + u. Is 43 less than w?
False
Let y = -11454704/7 + 1641973. Let w = -5618 + y. Is w > -31?
False
Let x = -535 + 564. Suppose 2*c + 5*i - x - 8 = 0, 0 = 4*c + 4*i - 80. Is c equal to 25?
False
Let n = 1.434 - 1.4. Let a = 1 - 1.2. Is a smaller than n?
True
Let u be 4 - (-9 - 4 - -18). Is u < 0.6371?
True
Let s(x) = x**2 + 3*x - 1. Let o be s(-4). Suppose -o*w = -7*w. Let i = 37915 - 37936. Which is bigger: w or i?
w
Let j = 1014 - 965. Which is smaller: j or -0.1?
-0.1
Let c be 7 + 4*5/(-10). Suppose 0 = -c*v + p + 179, -4 = 3*v + 2*p - 114. Let y be (-1 + 40/v)/1. Which is greater: y or 0?
y
Let v be (7008/(-75))/((-67298)/(-220)). Let o = -36/133 - v. Is 0 < o?
True
Let f = -95.1017 - -1.1017. Which is smaller: f or 5?
f
Let r = 43645 - 43645. Which is greater: r or -1259.3?
r
Let f(c) = -24*c - 16. Let a be f(-9). Let j be (3 - 21/6)/((-2)/a). Let m = j - 65. Is m less than -15?
False
Let w be 0/((-40)/100*-35). Is -87/86 greater than or equal to w?
False
Let b be 40 - 47 - 256/(-1). Suppose 0 = -v + b - 237. Is 32 greater than or equal to v?
True
Suppose -5*o = 3*k, 4*o - 6*o = -3*k + 3*o. Is 20566 < k?
False
Let k = 42 + -41. Let s be 1*(0 + -4)/(-4)*k. Let w be 2*(-2 - (-9)/5). Which is smaller: s or w?
w
Let n be (519861/(-168) - 5)/(30/328). Let o = n + 33887. Let s = -2/21 + o. Which is smaller: s or 0?
0
Let b = 0 + 0. Suppose 25 = 2*o - 3*r, r = -10*o + 8*o + 5. Suppose -4*d + 142 = -5*n, o*n - 8*n = -4*d + 82. Is b greater than n?
True
Let n(y) = 5*y**3 + y**2 + 3*y - 4. Let q be n(1). Suppose q*i = 13*i - 80. Suppose -53 = -5*f + 7. Is i > f?
False
Suppose -j - 3 = 3*a + 4*j, 0 = 4*a + 3*j + 15. Suppose -10 = -b - 21. Let g be (b - (-6 - 0))/1. Which is bigger: a or g?
g
Let d be 174/297 + 112/(-308). Suppose 0 = 3*s - 5*b - 0*b - 23, s - 3*b - 9 = 0. Suppose 2*y = s*y - 44. Which is smaller: d or y?
d
Let c be (57/(-2))/(5/10). Let f be 390/117*c/(-5). Which is bigger: f or 31?
f
Suppose n = -2 - 2. Let p be (-50)/n*(-8)/(-230). Suppose -50*k + 45*k - 4*m = 17, 0 = -k - 4*m - 13. Which is smaller: p or k?
k
Suppose 0 = -a + 2*z + 45 - 1706, 0 = 3*a - 5*z + 4975. Is a at most -1649?
False
Suppose 3*d - 10 = -4*u, 1 = -2*d + 5. Let t = 2/3031 + -3229/300069. Which is smaller: u or t?
t
Let x(y) be the third derivative of y**6/120 + 7*y**5/60 - 7*y**4/24 + 4*y**3/3 - 13*y**2. Let d be x(-8). Let l = 1.1 - -6.9. Is d bigger than l?
False
Let m be 328/((3/28)/((-378)/(-294))). Which is greater: 3938 or m?
3938
Suppose y = 2*x + 9, x + 5 + 3 = 4*y. Let q be ((-18)/(-12))/((-6)/(-7)). Which is bigger: y or q?
q
Let o = -169/20 - -29/4. Let z = 3903 + -19523/5. Let k = o - z. Is 1 less than k?
False
Let p = 361/11 + -511/33. Which is smaller: 1/2 or p?
1/2
Let b = 25956 - 25958. Suppose 5*y + 2 = -53. Let a = 16 + y. Which is smaller: a or b?
b
Suppose 5*c - 14*c = 5238. Let g = c + 584. Let z = -3 - -2.6. Is g <= z?
False
Let p be 3*751 + (482 - 488). Which is bigger: p or 2249?
2249
Let n = -419/28 - -16957/1092. Is -3 <= n?
True
Let d = 4/347 - -1707/2429. Suppose -6*b - 29 = -35. Which is smaller: b or d?
d
Let y(t) = -2*t + 59. Let z be (2/(-1) - -3)/(8/(-120)). Let k be (20/z)/(2/(-42)). Let w be y(k). Which is greater: w or -0.01?
w
Let x = -236 - -128. Suppose -2*i - 549 = -11*w + 16*w, -w = 4*i + 117. Which is greater: w or x?
x
Suppose -f + 2 = 3*x, 5 = -3*f - 5*x - 5. Let k be ((-6)/(-10))/(f/350). Which is smaller: -19 or k?
k
Let r = -2736 - -2682. Is 2/11 equal to r?
False
Let w be 5/25 + 19803242/(-2860). Let o = w + 6924. Let k = 1189/4290 + o. Which is smaller: k or 0?
0
Let t = 302.7 - 0.7. Let z = t + -295.3. Which is bigger: 4 or z?
z
Suppose 2 = -2*k - 2*k + 2*w, -4*k = 3*w + 7. Let y be 363/2286 + (-2)/12. Which is smaller: y or k?
k
Let n = 9416 + -9962. Is n <= -549?
False
Let b = -15.09 - -1.09. Let i = -46 - -66. Let o = b + i. Is -6 less than o?
True
Suppose -205*r + 1 + 204 = 0. Is 64/581 at most r?
True
Let s(t) = t**3 - 22*t**2 - t + 6. Let k be s(26). Let a be -2 - ((-1134915)/423 + -3). Let c = k - a. Which is greater: -1 or c?
c
Let c be ((-12)/(-14))/(-10*(-200)/(-875)). Is -19 less than or equal to c?
True
Let p(v) = 192*v + 575. Let f be p(-3). Is -1 at most as big as f?
True
Suppose 3*y + 21780 = -d, -5*y - 2*d + 2765 - 39066 = 0. Is y less than -7260?
False
Let m = 0.116 - 0.726. Let s = m + 0.74. Let g = s + -0.03. Is -0.5 < g?
True
Suppose 2*x + 371 = 2*p - 207, -5*p - 5*x = -1415. Let l be 2 + 9/(2 + 1). Suppose -w = 4*a - p, -w = -3*a + l*a - 144. Is a smaller than 70?
False
Let c = 155 - 63. Let u = 438310 - 438219. Which is bigger: c or u?
c
Let f = -14.90801 - -0.00801. Is f equal to -7?
False
Suppose 0*h = 5*h - 5*t + 125, -5*h - 125 = 4*t. Let l(z) = -29*z**2 + z - 1. Let b be l(1). Let i = b - h. Do -27/7 and i have different values?
True
Let c(n) = -n**2 + 7*n + 5. Let u be c(14). Let y = -64 - u. Let w = -19 + y. Is w >= 10?
True
Let f = 5.5 - -1.5. Let h = -7 + f. Let a = 8304 + -8304.029. Is h equal to a?
False
Suppose -2*h = 2*p - 2, 0*h - 11 = -4*h - 3*p. Is -81 greater than h?
False
Suppose 14*t + 58 = -40. Let u be t + 21/3 - 240/(-38). Do 6 and u have the same value?
False
Suppose 4*g + 5*m - 6 = 0, 18 = 4*g + m - 2*m. Let i(f) = f**2 + 4*f + 4. Let w be i(-6). Let h = g - w. Which is smaller: -9 or h?
h
Let i = -7 - -4. Suppose -5*f - 1127 = -1147. Let t be 0*f/(-12)*i. Is -8 < t?
True
Suppose 2*s + 25 = 127. Suppose 47*w = 1719 + 1054. Let m = s - w. Is -1 greater than m?
True
Let b = -2911 - -5444. Which is bigger: 2534 or b?
2534
Let t be 4/((-40)/(-5))*(29 + -5). Let a = t + 42. Is 54 greater than or equal to a?
True
Let l = 3493 - 3494. Is -61 equal to l?
False
Let q = 1648 + -1678. Let w = 2 + -33. Which is greater: w or q?
q
Suppose -3*u = -4*u + 97. Let f = -341 + 446. Let x = u - f. Is -34/5 less than x?
False
Let k be 6 - 14/(-399)*(81642/(-486) + -3). Which is smaller: k or 1?
k
Let d be (160/140)/(4/(-14)). Let s be d - ((-1476)/295 + (-15)/(-15)). Which is smaller: -1 or s?
-1
Suppose i + 9 = -5*u - 10, 0 = -i + 5*u + 31. Let v be (22 - 1)*4/12. Do i and v have the same value?
False
Suppose 0 = -63*c - 74 - 304. Are -65/12 and c non-equal?
True
Let i = 76.588 + -76.588. Let z = -38987/76 + 513. Is i smaller than z?
True
Suppose 0 = -3*v - b + 13375, 2*v - 4*b - 783 = 8157. Which is smaller: 4457 or v?
4457
Let h = 0.16 + -183.16. Let w = h - -182.8. Which is smaller: 119 or w?
w
Let m = -4331 + 4331. Which is bigger: m or -16/125?
m
Suppose -i = -5*q - 17, 0*i - q = i - 11. Suppose -3*d + 24*d = -9156. Let f = d - -450. Which is greater: i or f?
f
Let x = 42.4835 - -0.0165. Let m = 46.5 - x. Is -4/9 greater than m?
False
Let i = -804 + 5256. Let p be (-2 + 8880/i)/(0 + -2). Which is smaller: -0.1 or p?
-0.1
Suppose -12089 = -4*g + 4*m + 4935, -5*g - 2*m + 21245 = 0. Is 4250 not equal to g?
True
Let n(a) = -8*a**2 - 5*a + 2. Let d be n(3). Let t = 36 + d. Suppose 33 = 17*i + 553 + 296. Which is bigger: t or i?
i
Suppose 0 = -5*w - 5*o + 20, 0 = 2*w + 53*o - 52*o - 5. Which is greater: w or -14.779?
w
Suppose -141*z + 12992 = -127*z. Which is smaller: 1/14 or z?
1