- j. Let u = 3.08 - 0.08. Do u and f have the same value?
False
Suppose 4*i - 207 - 45 = 0. Suppose 3*b + 6 = 2*b. Let g be 9/2*b/i. Is g > -7?
True
Suppose -f + l + 2 = 0, 6*f - 4*f - 4*l + 6 = 0. Let c be (2 + (16 - 2))*19/38. Let z be (-5)/(2/(-4) - 4/c). Is z <= f?
True
Suppose 164 = -11*w - 1. Let l be ((-6)/(-9) - 2)*w/10. Let h be (-20)/((-8)/l) + -5. Which is greater: 4/7 or h?
4/7
Let r = 3239 + -3228. Let y = -7 - -12. Suppose -r = y*d + 29. Which is greater: d or 1?
1
Let v be (13/39 - 657005/(-462)) + 3. Let s = v + -2851/2. Is s at least as big as 1?
False
Let c(g) = g**2 - 21*g + 40. Let i be c(22). Suppose -54*k + 8 = -i*k. Is k greater than or equal to -12/61?
False
Suppose 3*m - 42 = -2*i, -m = 3*m + 2*i - 54. Suppose -18*b - 1255 = -5*z - 13*b, -3*b - 1259 = -5*z. Let y = 264 - z. Is y >= m?
False
Suppose -4*a - 2*v - 13 - 37 = 0, 5*a + 68 = 3*v. Suppose 0 = 5*z - 5*g - 95, -7 = -2*z + 3*g + 36. Let u = a + z. Is u at least -3/14?
True
Let c be 3864234/1204 + 1 - 324/(-216). Let l = -3212 + c. Which is smaller: l or 1?
l
Let n = 89.472 + -0.572. Let b = -89 + n. Let c be 0 + (-3)/2*272/(-72). Which is greater: c or b?
c
Let u(j) = 49*j - 70. Let l = -447 + 453. Let g be u(l). Is g < 225?
True
Suppose 0 = 85*f - 86*f + 5. Let m(q) = q**3 - q**2 + 4. Let h be m(0). Suppose 2*j - 2*a - 1 = a, -h*a + 12 = 0. Is j at least f?
True
Let c(r) = 30*r**2 - 3*r - 6. Let s be c(-2). Let q = 220 - s. Let v be q/18 - (0 - -24)/6. Is 1 >= v?
False
Suppose 0 = 6*l + 618903 + 1485. Let f be 12/84 - l/91. Let b = 1135 - f. Which is smaller: b or -1?
b
Suppose 0 = -2*h - 2*h + 144. Suppose -4*b + 3*b + 37 = 0. Suppose -h*m + b*m + 62 = 0. Is m at most -62?
True
Suppose -g + g = 6*g. Let w = 1178 + -294. Let s = w + -9717/11. Which is smaller: s or g?
g
Let v = -4668 - -4667.96. Is v smaller than -55/3?
False
Let v be -12 - -1*(7 - -5). Is v < -68?
False
Let q(l) = 22*l**2 - 10*l - 10. Let w(r) = 11*r**2 - 5*r - 4. Let m(i) = 4*q(i) - 7*w(i). Let y be m(-4). Is y greater than or equal to 185?
False
Suppose f - 10 + 2 = 0. Suppose i - f*i = -490. Let v = -73 + i. Which is smaller: v or -1?
v
Let a = -18 + 17.61. Let t = 1.61 - a. Let b = 136 - 138. Which is smaller: t or b?
b
Suppose 0 = w - 5*r - 7, -5*w + r + 57 = -2. Let h be (-2 - (-120)/54)*w/11. Which is smaller: h or -1?
-1
Let b = -6.82128 - -56.90718. Let w = 0.0859 - b. Is w not equal to 2/5?
True
Suppose -u - t = -26, -4*u + t - 150 = -279. Which is bigger: 16/7 or u?
u
Suppose 47*b = 9*b - 109*b. Is -2/15117 less than b?
True
Let k = -114878 - -1304669447/11357. Is -1 smaller than k?
True
Let o = 63 + -71. Let k = 10 - o. Suppose -k*h = 88 + 146. Which is smaller: -8 or h?
h
Let w = 3640.717 - 3639. Let k = w + -1.78. Which is greater: k or 1/3?
1/3
Suppose -f - 3*f - 705 = 5*m, 3*f = 2*m + 259. Let p = 689813 + -689951. Is m less than p?
False
Let n = 17753.8 + -16726. Which is bigger: n or 0.1?
n
Suppose 0 = 5*j + 2*r + 9, 0*j - 3*r + 3 = 2*j. Let n = j - -6. Let z(w) = 674*w - 21569. Let k be z(32). Which is smaller: k or n?
k
Let y = -1410.9 - -1411. Is y at most 1878?
True
Suppose 1215*l - 1226*l = -1276. Which is smaller: l or 115?
115
Let u be (-7)/21*176/48. Is 1/29 greater than or equal to u?
True
Suppose x = -3*b + 11, -3*x + 3*b = -0*b - 69. Suppose 0 = 5*z - x. Let p be (-870)/420 - z/(-7). Which is smaller: 6 or p?
p
Let d = -34440 + 34509. Is d < 4/25?
False
Suppose -3*j - g = -5, 4*j + 4 + 1 = g. Let l be -2 + -1*(-2 + 4). Which is greater: j or l?
j
Let w = 17245 - 17259. Suppose -2*v = 4*h - 14, -3*h + 28 = 4*v - 5*h. Is w at least as big as v?
False
Let o(u) = u**2 + 10*u + 48. Let x be o(12). Let h = -5946 + 6256. Which is greater: x or h?
x
Suppose -5*i = 15, 5*t - 6*i - 192 = -2*i. Let o be (-744)/t - (-4)/6. Let c be -2 + (-12 - 4) + 16/(-8). Is c > o?
False
Let x(a) = 847*a + 17039. Let b be x(-20). Suppose 4*q - 180 = 2*g + 218, 3*g = -5*q + 492. Is b less than or equal to q?
True
Let s = -18993 + 11246. Do s and -7749 have the same value?
False
Let l(d) be the first derivative of d**4/2 - 26*d**3/3 + 35*d**2/2 - 99*d - 250. Let q be l(12). Let a(o) = -15*o + 1. Let u be a(-2). Is u greater than q?
False
Let h = -5971/2 - -256789/86. Let x be 3435/(-731) + 2 + 3. Let j = x - h. Which is bigger: j or 1/14?
1/14
Let a(q) = 8*q**2 + 6*q + 5. Let j be a(-1). Let o be 3 + 0 + 212/(-644). Let d = o + 70/23. Is d > j?
False
Suppose -8 = -2*c + 4. Let b be 20/30*(-27)/3 + 7. Let h be (4/c - b)*-1. Is h smaller than -0.18?
False
Suppose 0 = 2*c - 12 + 4, -3*b + 4*c = 37. Let k be 1*-4 - (b - (-158)/54). Let r = -1 + -1. Which is smaller: k or r?
r
Suppose 0 = -2*s - 2, -5*g - s - 69 = 3*s. Let x = -12.5 - -101.5. Let r = x + -88.8. Is r bigger than g?
True
Let p = 395 - 744. Let s = -1403/4 - p. Are -3 and s nonequal?
True
Let x = 80 + -77. Let d be 23*2/x - (-2)/(-6). Suppose -51 + d = 12*y. Is -3 equal to y?
True
Let g be 4 - 520/140 - (-111)/(-21). Which is smaller: 231 or g?
g
Suppose 595 = 10*x - 1615. Suppose x = 8*j + 5*j. Which is bigger: j or 15?
j
Let o(f) = 2*f**2 - 10*f. Let y be o(5). Let q = 11 - 8. Suppose -r + 5*t = -6, -q*r + t = -5 + 1. Which is smaller: y or r?
y
Let q = -1631 + 1628. Is q less than -41/13?
False
Let q = -6761 - -6723. Is -38 at least as big as q?
True
Let l = -134003032/2586023 - -2/235093. Is l at least as big as -52?
True
Let f(a) = 414*a - 3825. Let l be f(9). Which is bigger: -37 or l?
-37
Suppose f = -2*m + 1318, -5*f = -5*m + 2843 + 422. Do 657 and m have different values?
False
Let o be 5 + 1/(4/(-16)). Let v be o*(0/1 + 0). Let a = 16 + -30. Are v and a equal?
False
Suppose 2*v - 3*z + 5 = -4, -2*v = 5*z - 31. Let f be (-10)/(-6) - (v + -1). Let g = 1620.15 - 1619.45. Is g > f?
True
Suppose -388 = 15*f + 242. Let b be -2*(5 + (-1)/(f/(-213))). Let z(q) = q. Let l be z(-1). Is b < l?
False
Suppose -2*j - 26 = 4*z - 138, -84 = -3*z + 3*j. Let n be z/21 + 12/(-9). Are n and -7/11 nonequal?
True
Let y be 3 + (-1390)/4*(-23 - (-1496)/56). Which is smaller: y or -1287?
y
Let k = -87 + 86.86. Let x = 0.38 + -0.22. Let b = k - x. Which is smaller: b or 0.15?
b
Suppose 7*d + 5284 = -5132. Let h = 171122/115 + d. Is h greater than 0?
True
Let i(l) = 2*l**2 + l - 1. Let s be i(1). Suppose -88*u + 90*u = -s. Which is smaller: u or 2/43?
u
Let m = -202 + 285. Let b = -84.4 + m. Let l = 0.5 - 0.5. Which is smaller: l or b?
b
Let s = 1/45515 + 92695848/45515. Let o = -2022 + s. Which is smaller: 16 or o?
o
Suppose 19*n - 20*n = -4. Suppose 0 = -l + 2*y - 8, 0*l - n*y = 5*l - 16. Is l smaller than 2/31?
True
Let i = 729/5 + -146. Let o = 21 + -6. Is i >= o?
False
Let k = -318.017 - -0.017. Let h = k + 331. Is h not equal to -0.2?
True
Suppose 0 = 3*f + f + 2*f. Suppose f = -12*t + 1183 - 283. Are -1/5 and t non-equal?
True
Let h = 3640/9 + -1213/3. Which is smaller: -0.015 or h?
-0.015
Let f = 40868 + -27567. Is f > 13301?
False
Let j(w) = -10*w**2 - 14 - 29*w**3 + 0*w - 2*w + 16*w**3 + 11*w**3. Let n be j(-6). Which is smaller: n or 0?
0
Let i = -5853 + 5410. Is i greater than 1?
False
Let x = -0.03116 + -0.03884. Is 466 > x?
True
Suppose 5*k = -4*n - 5, 0 = -4*k - 9*n + 11*n - 4. Let w be k/((-3)/8)*4/296. Which is smaller: 0 or w?
0
Let f = -104.9 - -295.6. Is f < 2/3?
False
Let u = -356 + 361. Suppose u*s - 17 = -3*i, -i + 23*s + 11 = 22*s. Which is smaller: i or -1/4?
-1/4
Suppose -9*n = -7*n - 8. Suppose -3*c = -c + 2*r - 6, -2*r + n = c. Suppose c*m + 2*l - 72 = 0, -3*m - m - l + 129 = 0. Are 30 and m non-equal?
True
Let b be (-104302)/(-1617) + -4 + -7 + (-175)/(-21). Which is bigger: 61 or b?
b
Let n be (-25)/(750/20)*(315/(-18276))/(-5). Which is smaller: n or 0?
n
Let g = 191 + -113. Suppose -g = 3*h + 3*s, -98 = 3*h + h + s. Which is smaller: h or -2/3?
h
Suppose x + 2*x = -5*y + 170, -3*y + 2*x + 121 = 0. Suppose y*d = 12*d + 425. Is 17 > d?
False
Let z = 2098 + 1996. Is z != 4094?
False
Let f(y) = -2*y**3 + 301*y**2 - 3324*y + 24. Let z be f(12). Suppose -1 + 97 = 3*h. Is z greater than or equal to h?
False
Let d(r) = -r**3 - 3*r**2 + 2*r - 42. Suppose -42*q = 165 + 45. Let t be d(q). Is -116/5 smaller than t?
True
Let o be 20*(159/(-12) - -7). Let k be 120/o + 3*(-3)/(-9). Which is bigger: -5 or k?
k
Let o(u) = 10*u - 14.