 l/28 + ((-14)/f - 2). Do -10 and c have the same value?
True
Let t = 176220/1379 + -789/394. Is t smaller than 126?
True
Let k be (-5 + 3)/14*(-2315 - 2). Which is smaller: k or -1?
-1
Let w = 3995/161 + -174/7. Suppose 4*y + 13 = 7*l - 10*l, 4*l + 10 = 2*y. Is y smaller than w?
True
Let x = 17114.5 - 17114. Which is greater: -0.1012 or x?
x
Let c = 581 - 580. Suppose -97*q = -96*q - c. Let b = -610 - -9158/15. Is q less than or equal to b?
False
Let m = -24 - -14.7. Let u = 9.2 + m. Let c = 4.5 - 4.558. Which is smaller: u or c?
u
Suppose -2*g - 5*k = -33, k - 3*k + 22 = 3*g. Let u be -2 - -15 - 2 - g. Suppose u = -2*q + 5. Is 1.7 != q?
True
Let o be (-6106)/528 - (27 - 32). Let s = -9/88 + o. Is -8 <= s?
True
Let o(h) = h**2 + h + 1. Let n(g) = -g**3 + 5*g**2 + 7*g + 1. Let m(w) = n(w) - 3*o(w). Let y be m(3). Which is smaller: y or 1/310?
1/310
Suppose 3*g = 2*g. Let q(k) = k**3 - 2*k**2 + 4*k - 3. Let j be q(2). Suppose g*i + j*i = -5. Which is greater: i or -2?
i
Let u = -40.2 - -40. Let q = -1027.996 + 1028. Which is bigger: u or q?
q
Let y = 80.9 + -81. Let j = 1242 + -1131. Is y smaller than j?
True
Let x = 171.084 + -0.084. Let o = -169 + x. Is o greater than or equal to -22?
True
Let l(b) be the third derivative of 53*b**4/24 - 4*b**3/3 - 18*b**2. Let d be l(12). Let p = 17581/28 - d. Does p = -1?
False
Let w = 19359/2 + -15322649/1583. Let v = -101291/66486 + w. Is v at least -1?
False
Let d = 0.001 - -0.199. Let k be ((-16)/(-5872))/(2 + -1). Let j = 2189/4771 + k. Is d <= j?
True
Let z be -5*128/120*(-402)/(-4). Which is smaller: -517 or z?
z
Let z(d) = -d**3 - 11*d**2 - 28*d + 2. Let l be z(-7). Suppose -2 = 2*h - l*f, -5*h = -10*h - 5*f + 15. Let s = -212487/103 - -2063. Which is smaller: h or s?
s
Let y(j) = -108*j**2 + 4*j - 3. Let n(o) = o**2 - o + 1. Let a(q) = -2*n(q) - y(q). Let c be a(1). Let s be 12/c*10/(-4). Which is bigger: s or 9/2?
9/2
Let k = -22 + 32. Suppose -6*q - w - 8 = -q, -4*w - k = -2*q. Which is bigger: -12/11 or q?
q
Suppose 4*y - 4*g = -9*g + 57, -y = g - 15. Suppose -5*n - 5*r - 15 = 0, -2*n - 4*r = -8*r - y. Which is smaller: 12/29 or n?
12/29
Suppose 6*x + 18 = 4*x. Let f be (6/(-9))/2*x. Let a be (0 - (-12)/9)*f. Which is greater: a or 2?
a
Let m = -9213.93 - -9214. Which is greater: 81/4 or m?
81/4
Let y = -715.8215 - -9.1315. Let b = y + 709. Which is smaller: b or -0.1?
-0.1
Let r = 636 + -856. Let t = r + 220.3. Is t smaller than -37?
False
Let k = 2945822135/286 - 133834030/13. Let z = k + -5152. Is z equal to 0?
False
Let o = -67 + 58.9. Let m = 14.81 - 22.91. Let i = m - o. Is -22 > i?
False
Let m = 2452 - 2451.6. Is -0.5 less than or equal to m?
True
Let f = 641.9246 - -0.0754. Let a = f + -642. Is 1.7 equal to a?
False
Let v = 846 - 584. Which is greater: v or 4?
v
Let a = 99.92 - 91.92. Which is smaller: 2/965 or a?
2/965
Let d(z) = z. Let h be d(1). Let c(v) = -3*v + 3. Let r be c(-1). Let b be 40/r*(-1)/((-110)/12). Which is greater: b or h?
h
Let n = -160 - -157. Let g be n*((-72)/(-32))/(3/(-8)). Are g and 52/3 equal?
False
Let x be 11 + ((-48)/(-608))/((-3)/436). Suppose 0 - 4 = 4*u. Is u greater than x?
False
Let s(l) = 9*l**2 - 7*l + 14. Let i be s(6). Let c be 2 + -6 - ((-4277)/14 + 5). Is c > i?
True
Suppose 5*h + 5 = -10. Let w be (-1 + h/6)*4/3. Let i be -1 - w - (16/18 - -1). Is i at most as big as 0?
True
Let g be 4/16 - ((-4)/(-16) + -4). Suppose -3*r = 4*n + 33, g*r = -n + 2*n - 25. Suppose -5*p = j - 5*j + 25, 15 = -3*p - 5*j. Which is bigger: p or r?
p
Let j = 20 + -13. Suppose -n - 480 = -j*n. Suppose -2*v - 14 + 3 = h, 4*v = 4*h + n. Is h less than -14?
True
Suppose 0 = -187*w + 275*w - 352. Is 27/8 greater than w?
False
Let h = 7840 + -7802.008. Let t = h - 0.192. Let n = t - 38. Which is greater: n or -9?
n
Let o = -66 - -65. Let y be o + 2 - 0 - 14*-1. Suppose 0 = -4*f + g - 9, 13 = -3*f + 5*g - y. Is f at most -2/23?
True
Let y(g) = 5*g + 4*g + 5 - 10*g + 2*g. Let c be y(1). Is c smaller than 5?
False
Let p = 16.018 + -16. Let s = -424.9 - -418.918. Let t = p - s. Which is smaller: t or 0.5?
0.5
Suppose -500 + 308 = 64*x. Is x bigger than 303?
False
Suppose 0 = -k - 5*h - 6 + 35, -3*k = -h + 9. Which is smaller: -2/5671 or k?
k
Suppose -11 = -3*x - 5, 5*x = -s + 14. Let z = -82 + 125. Suppose s*g + z = 19. Is -2 equal to g?
False
Let n(d) = d**2 + d - 9. Let i be n(4). Suppose -v - 8 = -h - i, 3*v - 13 = -h. Is h smaller than 11/9?
True
Let h = -0.778 + 222.778. Let y = 221.9 - h. Is y < 2?
True
Let h = 51 - 31. Suppose 0 = 4*g - h. Suppose 2*r + 1 + 3 = 0, -g*c + 55 = -5*r. Which is bigger: 12 or c?
12
Let b = 50 + -40. Suppose -v + 15 = 4*j - 2*v, 0 = 2*v - b. Suppose y - 3*p = -21, 27 = -j*y - 2*p - 27. Which is bigger: y or 1?
1
Suppose 91*k - 96*k + 3*h = 2343, -5*k = -5*h + 2355. Which is bigger: k or -454?
-454
Let o = -59167/91 + 4582/7. Let x = 1285/299 - o. Let q = -2.1403 - -0.1403. Is q >= x?
False
Let p be 1/1*(1/(-2) - 98700/200). Do -494 and p have the same value?
True
Let m be (6*(-1)/4)/((-4489)/(-402)). Are m and 0 unequal?
True
Let m = 1536 + -1536. Which is bigger: 0.15 or m?
0.15
Let m be 2/(-8)*(0 + -6 + (8 - 6)). Which is smaller: 1/9824 or m?
1/9824
Let j = -168.3 - 23.7. Let a = 193 + j. Let n = -0.3 + 0.31. Is a > n?
True
Let x be (-8)/40 + (-158)/10. Let n(y) = y**3 + 17*y**2 + 18*y + 23. Let c be n(x). Are c and -3 non-equal?
True
Let w = -42 - -41.2. Let f(v) = -v**3 - 12*v**2 + 29*v + 15. Let r be f(-14). Let k be (r + -4)/(1 - 6). Which is bigger: w or k?
k
Let o = -80.4 - -56.9. Let u = 27.5 + o. Are 3/2 and u non-equal?
True
Let b = -0.03487 - -5101.03487. Is b greater than 0.1?
True
Let n be (24/(-10))/(4/260). Let w = n + 257. Is w <= 103?
True
Let p(z) = z**2 - 9*z + 23. Let j be p(7). Suppose -85*s = -84*s - j. Which is bigger: s or 19?
19
Let p(t) = -t**2 - 17*t - 189. Let c be p(-15). Is c < -164?
False
Let o be (0 + -7 + 4 - 3)/1. Let s be (o/3 + 3)*-9. Do 3 and s have different values?
True
Suppose -3*h + 4*y - 2 = 0, -h - 4*y - 14 = -2*y. Let i be 4/(h*2/(-36)). Which is bigger: i or 8?
i
Let j be 208262*1/102 - 124/1054. Is j > 2041?
True
Let w(i) = 22*i - 85. Let v be w(6). Let l = 292 - v. Is 246 not equal to l?
True
Let p be 2/(-22) + 3858*(-752)/(-31924992). Which is smaller: p or 1?
p
Let c = -974.5 - -1004. Let a = 29.6 - c. Let o = -13 + 83. Which is greater: o or a?
o
Let d be (860/25 + 2)*2/3. Let u = 108/5 - d. Suppose -12 = -3*h, h = 3*g - 3 + 13. Do u and g have different values?
True
Suppose 4*o = -3*p - 29, 2*p - p - o = 2. Let d = p + 3. Suppose -w - 4*w - 60 = d. Is w < -10?
True
Let q = -61833/11890 - -1/2378. Let m = -139/20 - q. Is -0.7 at least as big as m?
True
Let q = -1 - 1. Let o be -1*((-17 - q) + -1). Suppose -45*v = -375 - 390. Which is smaller: o or v?
o
Suppose 5*o + 4 - 10 = 2*u, -12 = -5*u - o. Suppose -v - 3 = -5*s - 9, 2*v - 4 = u*s. Is s at most 2/253?
True
Let f = -1358 - -1360. Do f and 896.5 have the same value?
False
Suppose -4*m - 3*a = -a + 6684, 3*m - 2*a + 5020 = 0. Let w = -6733/4 - m. Let y = w + 1207/108. Which is greater: y or -1?
y
Suppose 0 = 3*j - 7*o + 5*o + 173, -5*j - o - 310 = 0. Let r = -61 - j. Is 15/107 at least r?
True
Let t(n) = 29*n - 1020. Let z be t(14). Is -619 >= z?
False
Let q = -25.1938 + 0.1938. Let o = -42.086 + 0.086. Let i = o - q. Which is greater: i or 0.2?
0.2
Let k be 2/6 + 505034/(-69). Let i be (-12)/78 + (-1100)/k. Do -1 and i have the same value?
False
Suppose -4*b + 5*r + 492 = r, -3*r = 2*b - 251. Let j = b - 124. Which is bigger: 1/44 or j?
1/44
Let d = -244 - -124. Suppose 0 = 4*l + 31 + 17. Let u be l/d*(-85)/(-2). Which is smaller: 0 or u?
0
Let v = -26679 - -26930. Which is smaller: 6 or v?
6
Suppose 0 = -3*a - 0*a. Suppose -3*s = -a*s + 9. Let l be 12/(-24) + (-2)/8. Is l > s?
True
Let m = -2/641 - 129/164096. Suppose 97*g = -14*g + 166*g. Is g at most m?
False
Let b = -9/8843 + 2732667/176860. Are 15 and b nonequal?
True
Suppose 0 = 8*z + 190 - 387 - 259. Do 14 and z have different values?
True
Let t be (24/2740)/((-30)/225). Is -1 != t?
True
Let s(t) = 30*t - 85. Let d be s(8). Let b = -95 - d. Is b less than or equal to -250?
True
Let m be (-84)/2394 + 70626/(-4788). Do m and -1 have different values?
True
Let h = -230 - -356. Let a 