 3.447 + 0.053. Let b = -3.401 + x. Let u = 0.001 + b. Is u smaller than -0.1?
False
Let j(z) = 80*z + 965. Let a be j(-12). Which is greater: a or 11/19?
a
Let u be (9448/(-24))/(11/(-9)*-1). Let l = u - -323. Which is bigger: l or 1/3?
l
Let s = 1 + 1. Let w(h) = -h + 5 + h - s*h + 3*h. Let d be w(-9). Which is bigger: d or -11?
d
Let l = 6179/25 + -249. Let p be (-415)/166*(-24)/(-30). Is p at most as big as l?
True
Suppose -4180 = 23*g - 3996. Is 956 not equal to g?
True
Let c be 2/(-3 - 3)*3. Let a be (-1)/24*-12 - 10/16. Is c < a?
True
Let g = 0.4095 + -11.4095. Is g < -56?
False
Let i = 3109 + 2147. Do 5257 and i have the same value?
False
Let s(v) = -5*v - 53. Let d be s(-11). Suppose 0 = -d*x - 466 - 126. Is -296 > x?
False
Let r(z) = 4*z**2 + 18*z - 12. Let s be r(-5). Let p be ((50/(-15) - s) + 1)*-3. Is 11/16 < p?
True
Let p = -4385.0462 + 4385. Which is greater: -9 or p?
p
Let u(t) = -3*t + 22. Let n be u(-7). Let r = 27 - n. Let d be 104/(-18) + r/72. Which is smaller: -7 or d?
-7
Let y = 199/5 - 108863/2735. Are 0 and y unequal?
True
Let r(u) = -37 - 11*u + 58 - u**2 - 37. Let p be r(-9). Let w = -0.33 - -17.33. Is w less than p?
False
Let d = 22799 + -22789. Is d smaller than -104?
False
Suppose -2*z + 3 = -s + 10, 2*z = -4*s + 8. Suppose -p - 2*m - s = 0, 4*p + 0*p = 4*m. Is p < -3/56?
True
Let p(x) = 14*x**2 + 3*x + 1. Let t be p(2). Suppose -33 = 4*j + t. Are j and -0.2 equal?
False
Let o be ((-3168)/(-45))/(-16) + 7 + -3. Is -334.1 at most as big as o?
True
Let l = 3189 - 3172. Is 75 less than l?
False
Let k = -85742282/19 + 4513966. Let d be (-44918)/111*(-3 + 0 - 0). Let j = k - d. Is j not equal to -1?
True
Let y = 272 + -271. Let x be (9 - 1/y)*(-54 + 58). Suppose -2*d + 2*o + 68 = -0*o, 0 = 4*d + 2*o - 124. Is d greater than x?
False
Let v be ((-2)/(-3))/((-2)/(-48)). Let d(t) = t**3 + 6*t**2 - 188*t + 15. Let q be d(11). Suppose -q*l + v = 52. Is 1 greater than l?
True
Let n = -287 + 292. Suppose 3*r + c - 462 = r, n*r - 4*c - 1168 = 0. Which is greater: r or 231?
r
Let h = -5415 - -5585. Are h and 5 unequal?
True
Let y(z) = z**3 - 9*z**2 - 10*z + 4. Let w be y(10). Suppose -28 = -4*a - w. Suppose -32 = m - 5*o, 5*o + 33 = -4*m + a*o. Which is smaller: 0 or m?
m
Let m(s) = s - 19. Let a be m(21). Let q be (-12)/(-2) + (-6)/a. Suppose 3*y - 42 = -y - 5*v, -q*v = -6. Is y at least 6?
True
Let k = -594 - -802. Suppose 213*y = k*y - 30. Which is bigger: y or -5?
-5
Suppose -6*p - 302 = -8*p - 4*d, -2*d - 314 = -2*p. Let q be (14 - 12)/((-4)/(-306)). Let a be p/q + -5 + 2*2. Which is greater: a or 0?
a
Let m(t) = t**3 - t - 1. Let p be m(2). Suppose -w + 8 = 3*s - 3, 4*s - 21 = p*w. Let q be -3 + w - -3 - (2 + -24). Is q equal to 21?
True
Let s be (-46)/(-69) - ((-32)/(-12) - 2). Which is greater: s or 19/30?
19/30
Let v be 884/(-590)*2 + 3. Let z = 1197/5015 - v. Suppose -274*d = -275*d. Which is bigger: z or d?
z
Let b = -849 + 1198. Let v be (b - -3)/(-8) + -1 + -3. Let o be (-6)/(v/52)*-2. Which is smaller: o or -4?
o
Let p = 2595 - 18271/7. Which is greater: p or -16?
p
Let l be ((-2)/6)/((-25)/(-150)). Let o be l/(-9) - 3/(-1512)*-148. Let j be (-8)/(-2)*(-1)/(-10). Is j at most as big as o?
False
Let c(i) = 2*i**3 - 35*i**2 - 18*i + 1. Let k be c(18). Let t = 611/12 + -51. Which is smaller: t or k?
t
Let d = -4543 + 2980. Is -1563 at most as big as d?
True
Let w be 35/(-2303)*5/50. Which is smaller: w or 1?
w
Let v be (2/1 - -5)/(-9 - -10). Suppose -v*k + 245 = -28. Let d be (3/(-2))/(k/(-12)). Which is smaller: d or 0?
0
Let a be 18 + (-6572)/371 - (72/154 + -1). Is a < 6?
True
Let z = 67 - 231. Let n = z + 178. Which is bigger: n or -3?
n
Let h be 2/7 + (-6)/84*4. Suppose h = 113*r - 103*r - 170. Which is bigger: r or 69/4?
69/4
Let n = 246574 + -246813. Let c = -413 - -173. Which is greater: n or c?
n
Let g be (32 + 4)*((-700)/12)/5. Let c be (-17)/119 + (-123)/g. Is 4 <= c?
False
Suppose 6 = -3*s, -2*q + 3*s - 11 + 19 = 0. Are q and -2/7735 nonequal?
True
Let r = -4 - -4. Let z be (-4)/540 - 0/(-2). Are z and r non-equal?
True
Let u = 37.945 + -38. Let w = u + 0.067. Let k = w - 0.012. Is k greater than -0.049?
True
Let f = -181.86 - -258.845. Let l = f - 77. Which is smaller: -0.3 or l?
-0.3
Let y = -10816 + 6018. Is -4797 < y?
False
Let w = 10531 - 1337435/127. Suppose 2 = -3*v - 1. Which is greater: v or w?
w
Let w = -1583 + 1583. Is w greater than 0?
False
Let u = -17/665 - -16/95. Suppose 20 = 5*s + 5. Suppose 2*g - 5*g = s. Which is bigger: g or u?
u
Suppose -d - 2*s + 16 = 0, -4*d + 4*s + 94 = d. Suppose -u + 19 = d. Which is bigger: -1/246 or u?
u
Let x be (2/(-262))/(25/1750*7). Which is smaller: x or -1?
-1
Let v be ((-77400)/306)/(-25) - 1/((-51)/(-6)). Suppose -5*y + 26 = -14. Which is smaller: y or v?
y
Let g(l) = -2*l**2 + 52*l - 54. Let s be g(25). Let z be (-15)/(-17) + s/(-34). Which is smaller: 4/79 or z?
4/79
Suppose -4*t - 22 = 22. Let f be (28/(-7))/4*-3. Let n be f*76/24*(-2)/2. Is n at least as big as t?
True
Let d be 3/(-22) + 13940/36080. Let x be (-13)/5 + (-12)/(-20). Let k = x + 2. Which is smaller: d or k?
k
Let g = 123.091 - 82.364. Let z = 0.273 + g. Which is smaller: -3/5 or z?
-3/5
Let p(m) = -26*m + 155. Suppose -3*y - 5 = -2, -21 = -4*k - 3*y. Let r be p(k). Is r at most as big as -13/8?
False
Suppose -22 = -3*p - 4*i, -3*p + 4*p - 2*i - 4 = 0. Let k = 5773 + -5769. Suppose -26 - k = p*u. Is u <= -7?
False
Let u be 1 + (11/(11/6) - 7). Let t = -14382 - -589634/41. Which is smaller: t or u?
t
Suppose -5*j = 4*a - 0*j - 14, -4*a - 2 = -3*j. Which is smaller: a or 19/307?
19/307
Let y = -23 + 91/4. Let u = -0.023 + -1.577. Let i = -1.4 - u. Which is greater: y or i?
i
Let l = 5951 - 4595. Which is greater: -1/2 or l?
l
Let p(a) = 11*a - 39. Let g be p(4). Let x be (0/(-8))/(1/(g - 4)). Which is greater: -1/232 or x?
x
Let k = -854699/420 - -2035. Suppose -2278*y = -2269*y. Do y and k have the same value?
False
Let w = 185736 - 185733. Let j be (1/(-10))/(10/(-24)). Which is smaller: w or j?
j
Suppose 0 = -6*p - 339 + 783. Let m be 30/(-20) - p/(-4). Let w = 0 + 0.2. Which is smaller: m or w?
w
Suppose -l = 4*s + 178 + 667, -2*s + 12 = 0. Which is smaller: l or -1/3?
l
Let g = -23210 - -9568. Let v = 231842/17 + g. Does v = -3?
False
Let c = 4238 - 4238.88. Which is bigger: -0.014 or c?
-0.014
Suppose 5*s - 4*q = -2*q - 5, -4*q = -20. Let v be (-4203)/36 + (-1)/2*s. Let a = v + 117. Is -3.5 at least as big as a?
False
Suppose -9*b - 3*b = 0. Suppose b = y - 4*r + 32 + 2, 0 = 5*y + 3*r + 55. Let i be y/8*(-4)/28*-62. Is i greater than -15?
False
Let t = -11665 - -11566. Are -1866/19 and t unequal?
True
Let m(u) be the first derivative of u**3/3 + 9*u**2/2 + 20*u + 24. Let g be m(-5). Let x be 1 + -3 - (-192)/92. Is g equal to x?
False
Suppose 9970 = -1323*d + 1333*d. Which is greater: 8980/9 or d?
8980/9
Let z(i) = -i**3 + 3*i**2 + i - 1. Suppose 4*r + 2*f - 4 = -0*r, 2*r + 6 = -3*f. Let b be z(r). Suppose 6*d - 3 = 3*y + 3*d, -y = b*d + 1. Is 0 at least y?
True
Let m = -2349151/212 + 11081. Is 1 at most m?
False
Let u(q) be the first derivative of q**3/3 - 10*q**2 + 77*q + 70. Let t be u(11). Which is bigger: -11 or t?
-11
Let s = -6847/10 - -685. Which is smaller: 1838 or s?
s
Let f = 346 - 421. Let d = -7 + -70. Is f > d?
True
Suppose -24702 = 750*k + 122298. Which is greater: k or -2531/13?
-2531/13
Let j(d) = -137 - d**2 - d**2 + 11*d + 4*d**2 + 130. Let x be j(-6). Let v be (-6)/10*(-2)/3. Which is greater: v or x?
v
Let c be (-1)/(-3) - 10/21. Let k be 2322/(-36)*(-2)/3. Suppose -185 = k*l - 13. Which is greater: c or l?
c
Let k = -93667/131 - -715. Let d(j) = -j**3 - j**2 + j + 1. Let p be d(-1). Let c = p + 1. Which is greater: c or k?
c
Let w be ((-3)/(30/(-4)))/((-384)/240). Let h be -1 - (-7)/(21/(-60)). Let q = h + 20. Which is bigger: q or w?
w
Let n be 32350/(-90) + (-8)/(-18). Let w = -358 - n. Is 148 at most as big as w?
False
Let m be ((-552)/10)/6*-5. Let b = m - 22. Which is greater: 26 or b?
26
Let y = 39.07 + -40.07. Let v be (-1210)/(-30) + (-3)/1. Which is smaller: y or v?
y
Let v = 3.6796 - 3.8796. Let c = -364/95 + 126/19. Which is bigger: v or c?
c
Let u(t) = -2*t**3 + 19*t**2 - 2*t - 42. Let j be u(9). Let r be 771/(-258) - -2*j/14. Which is bigger: 