2/18 - 264/198. Is u at least 1267?
True
Let o = -1830.7717 + 1831. Is 0.1 greater than or equal to o?
False
Suppose 0 = -2*l + 11*l - 1773. Let z = -266 + l. Let t be (-11)/14 - 1/(-2). Are t and z unequal?
True
Let p be 8/1924*-2*(-6)/(-32)*2. Is p bigger than 1?
False
Let l be -1 - -1*2 - -24. Let i(q) = 4*q**3 - 3*q**2 + 5*q - 9. Let u be i(2). Suppose 51 = 2*w - 3*n, -16*w = -u*w + 5*n + 125. Is l != w?
True
Suppose 19 = 5*n - 11. Let v be (n/(-4))/((-24)/(-128)). Let i(b) = -9*b**2 + 36*b - 36. Let w be i(1). Does v = w?
False
Let o(b) = -5*b**2 - 425*b + 1000. Let k be o(-87). Which is smaller: k or 0.8?
0.8
Let s = 133 - 125. Suppose -s*p - 9 = 311. Let r be (1/4 + (-90)/p)*-2. Which is smaller: 2 or r?
r
Let g(f) = 17*f**2 + 116*f + 75. Let x(z) = 4*z**2 + 29*z + 19. Let d = 10 - 1. Let n(y) = d*x(y) - 2*g(y). Let h be n(-15). Which is bigger: 37 or h?
37
Let o be (4/(-5))/(5 + 1235650/(-247125)). Does o = 7909?
False
Suppose -3*z = -2*z - 2. Let x(y) = -y**2 + 8*y + 48. Let p be x(9). Suppose 0 = z*k - p - 1. Is k greater than 20?
False
Let p be (-270)/(-90)*(-1 + (-8)/(-6)). Let r be -2 + (377/76 - 1 - 2). Which is greater: p or r?
p
Suppose 8*u - 2*t = 5*u, -5*t + 15 = 0. Suppose 0*x = u*x - 24. Suppose 4 = x*l - 13*l. Which is greater: -2 or l?
-2
Let t be (-2100)/(-66) - 8/(-44). Suppose -3*f + 2*f = t. Which is smaller: -33 or f?
-33
Let t = -627 + 417. Let a = -210.3 - t. Which is smaller: a or 0.05?
a
Let w be (-2)/(-8)*9/(-12). Let b = -22129 - -3894679/176. Let t = b - w. Is t at most as big as 1?
True
Suppose 3 + 18 = -3*m. Suppose 0 = 3*d + 3*a + 18, -d - 2*d - 2*a = 14. Let c be -8 + (-14)/(-4) + d. Which is smaller: c or m?
m
Let y = 13644 + -13650. Which is bigger: y or -24?
y
Let g be (18/24)/((-6)/(-56)). Let k be 4 - g/((-28)/(-64)). Let h(c) = 2*c + 24. Let l be h(k). Is l greater than -2/53?
True
Let i be (-5247)/(-22)*(-4)/(-2 - -1). Let s = i + -12414/13. Let o = s + 301/312. Which is bigger: 1 or o?
1
Let d = 3057 - 2309. Which is smaller: -0.1 or d?
-0.1
Let v = -22 + 28. Let s(g) = -3*g + 28. Let w be s(v). Suppose 3*m + 2 + w = 0. Is m equal to -9?
False
Let g be (-1)/(-6) + (-221)/1326. Which is bigger: g or 2/14615?
2/14615
Let i(r) = -r**3 + 24*r**2 - 23*r + 5. Let j be i(23). Let w be (5 - j) + 0 + 5. Which is smaller: 1 or w?
1
Suppose -3*k + 4038 = -3*b, -k + 1441 = b + 101. Which is bigger: 1342 or k?
k
Let s be 1*12/20*6/(-66)*1. Let z be (-6)/(-21) - 8/28. Is z greater than or equal to s?
True
Let x be (-1)/2*(-8)/(-12). Let k = 8098 - 8062.128. Let c = -0.128 - k. Which is smaller: c or x?
c
Let m be ((-82)/(-3))/(6/18). Suppose -4*j + 94 = -q, -q = 4*j + 4*q - m. Suppose 81*x + 28*x = 2616. Which is greater: j or x?
x
Suppose 5*y - 95 = n, -2*y + 110 = 3*y + 2*n. Suppose 17 = -j + y. Suppose -j*t + 129 = p, -5*t + 4*p = -72 - 143. Is 44 > t?
True
Let h = 72862/69 - 1056. Let o = -1253 + 1253. Is h at least as big as o?
False
Let h(j) = -j**2 - 9*j + 3. Let l be h(-8). Suppose 62*d + 441 = -93 - 458. Is d <= l?
True
Suppose 0*z - 128 = 4*s + z, s + z = -29. Let a = 33916.3 + -33916. Which is bigger: a or s?
a
Let r = -148 - -57. Let n = r + 91. Let l be (n + (-3)/6)*(-3 - -5). Which is smaller: l or -2/123?
l
Let n be 2/9 - (-18040)/28413. Are -5 and n unequal?
True
Let k be 272/6*36/24. Let z be 0 + -1 - (-70)/1*1. Which is greater: z or k?
z
Let d = 119 - 124. Let a = -44 + 45. Let o be -1*a*23/4*1. Which is smaller: d or o?
o
Let a = -113 + 255. Suppose 14*z - 16 = -a. Which is bigger: z or 3?
3
Suppose -272 + 62 = -d. Let w be (d/(-28))/((-3)/(-24)*2). Let p be 1 + -1 - (-2 - -33). Do p and w have the same value?
False
Suppose 0 = -4*l - l + 5. Let f be (-264)/2*(-502562)/(-32922). Let x = -2015 - f. Is l greater than or equal to x?
True
Let o = -119 + 117. Let i be (2 - 1) + (-8)/o. Suppose -i*r + r = -108. Is r less than 24?
False
Let w = 105 + 97. Let a = w - 201.8. Is a smaller than -0.5?
False
Let f = 6390 + -6395. Are f and -184 non-equal?
True
Let n be 0/((-2 + 6)/(-4)). Suppose n = 5*t - 20, -2*t = 5*y - t + 6. Let u be ((-1)/(6/(-12)))/(y*2). Which is greater: -2/33 or u?
-2/33
Let o(j) be the first derivative of -12*j**2 - 6*j - 17. Let m be o(-4). Let d be 30/4*18/m. Which is smaller: d or 2?
d
Suppose -316 = -2*c - k, -c = 21*k - 23*k - 148. Suppose 0 = -17*s + c + 133. Let h be (-32)/(-3)*(-3)/(-2). Is s at most h?
False
Suppose 2938*i + 39312 = 2959*i. Does i = 1872?
True
Suppose -o + 3 = 2*s - 0*o, 3*s = -5*o - 13. Suppose -4*c + 8 = 0, 37 = -8*v + 3*v - s*c. Let j be 1*(-1)/((-4)/(-28)). Which is smaller: v or j?
v
Let t be ((-1)/23)/((-24)/(-8)). Let n = 298 - 297. Which is smaller: t or n?
t
Let w be 12/16 - 25/(-20). Let m be w/(-18) - 592/(-144). Suppose -5*g - s + 3*s - 3 = 0, m*g + 2*s = -6. Which is smaller: g or -9/14?
g
Suppose -2*r - 939 = 2*t + 22307, -4*t + 12 = 0. Is -11627 greater than or equal to r?
False
Let w be (43 - 33) + (-101064)/10106. Which is greater: w or 1?
1
Suppose 13*u - 21 = 12*u. Suppose -4*c + 5*h + 27 = 0, -5*h - u = -3*c - h. Let f be (-8)/38*c*21/(-18). Does f = 2?
False
Let b = 38.6967 - -1.3033. Is b < -2?
False
Let q be (-577)/(-24) + (-12243)/32648. Suppose 0 = 3*i - 13 - 59. Does i = q?
False
Let n = -215 + 99.6. Let z = n - -126. Let r = z + -10.6. Do r and 0.1 have the same value?
False
Let p be (-1)/(-2)*(58 - 0). Let q = 3 + 6. Let u be 39 + q/(-3) - 5. Is p at most u?
True
Let r be (0 + 18)*6/(-4). Let l be 158/18 + (-6)/r. Suppose -3*s - 468 = -6*s - 33*s. Which is smaller: l or s?
l
Suppose 3*a - 244*r - 36 = -248*r, 0 = -3*a - 5*r + 45. Which is smaller: -180/217 or a?
-180/217
Let n = -20 - 155. Let y be -4*(-1 - 0) - (-690)/n. Let w be (-28)/21 - 1/(-3). Is y greater than or equal to w?
True
Let q be (-1422)/4650 + (-14)/(-175). Is -1 < q?
True
Let l be (1/(-4)*2)/((-9)/18). Suppose -86 = -4*r + 2*r - 2*v, 0 = 2*r + 3*v - 87. Suppose -4*n = 3*t - 5 + r, -t = n + 12. Which is bigger: l or t?
l
Let r = -77762/81 - -960. Is r greater than or equal to 6?
False
Suppose -q - 322 = -m - 315, -2*m + 15 = -3*q. Let t = 15 + -9. Suppose -10 = t*n - n. Which is smaller: q or n?
n
Suppose 2*u + 0*u - 10 = 0. Suppose u*o + 11 = 4*o. Let k be 3 + (-4 - o) + 0 + -1. Is 0 at most k?
True
Let l(h) = h**3 - 16*h**2 + 22*h - 27. Let i be l(14). Let f = 140 + i. Let g be ((-6)/9)/(5/(-210)). Is g greater than or equal to f?
False
Let g(p) = p**2 + 17*p + 8. Let t be g(-14). Let x = -33 - t. Let u be (-7 - 0)*12/(-42). Are u and x nonequal?
True
Let t = -122 - -31. Let v be 0 + t - (0 - 1). Let h be 4/(-10) + (-6)/v + -3. Which is smaller: -4 or h?
-4
Let k = -166232 - -166045.042. Let v = k + 187. Which is smaller: -2/5 or v?
-2/5
Let n = -14017/7 - -93021/28. Are n and 1320 non-equal?
True
Let n(t) = t**3 + 11*t**2 - t + 12. Let h be n(-11). Let d be (-2)/(-4)*2*20. Suppose -d*r = -h*r. Which is greater: 2/19 or r?
2/19
Let f = -498.303 + -0.697. Let q = f + 536. Which is greater: q or -3/8?
q
Suppose -534*y - 95048 + 268682 = -86424. Is y bigger than 474?
True
Let y be 10 + (9 - 388/13) + 11. Which is bigger: -25.84 or y?
y
Let c(i) = -5*i**2 - 15*i - 1. Let b be c(-3). Let m = -1664 + 374398/225. Is m >= b?
True
Let x be (3 - 2)/(2/(-10)). Suppose 8*o = 4*o + o. Let v be (o - -6)/30*(-1 + 0). Is v < x?
False
Let o(j) = 20*j + 516. Let x be o(-25). Is 145/9 at most x?
False
Suppose 112 + 14 = 3*n. Let m be (n/(-4))/(-24*6/12). Let i = m + -53/24. Which is greater: i or -1/3?
-1/3
Let p(k) = -2*k**3 + 4*k**2 + 15*k - 14. Let n be p(5). Let r = -89 - n. Which is greater: -14/29 or r?
r
Let b = 2603132 + -2599399.983. Let y = 3728 - b. Let n = y + 0.017. Is 1/3 != n?
True
Let p be ((-4)/9)/((-45052596)/1365228 - -33). Which is bigger: p or 8428?
8428
Let b(k) = 72*k + 2. Let s be b(1). Suppose 0 = -2*z - 5*d + 74, -z + s = z + 2*d. Let m be (297/165)/((-2)/(-40)). Are m and z unequal?
True
Suppose 0 = 14*w + 384 + 246. Let g be -2*w/4956*6/9. Let o = g - -25183/826. Is o < 31?
True
Let o = -500/9 - -8446/153. Let x = 1/51 + o. Let c = -197 - -1181/6. Which is greater: c or x?
c
Let n be (-328)/(-40) - 2/10. Let x = -2 - -7. Let h = 13 - x. Is n at least h?
True
Let s be 1/2 + 36/(-24). Let l be (-3000)/(-84) - s/7*2. Let z be (5 - 16/3)/((-5)/l).