 -5*g - q, -4*g + 32 = 4*q. Let f(j) = g - 8*j**2 - 17*j + j**2 + 2*j**3 - 5*j**3 + 19*j. Let i be f(-3). Is 7 > i?
False
Let p = -11.12 + 10.95. Which is smaller: 0.7 or p?
p
Let b = 189 - 186. Let i be (-11 + -53)*-2*b/(-12). Is -32 >= i?
True
Let j = -16 + 11.3. Let x = -62 + 66. Suppose d + 3*u - 1 = 5*u, 3*d + u + x = 0. Which is smaller: j or d?
j
Suppose 4*b = 3*l + 5*b - 361, 3*l - 5*b = 373. Let o = l - 119. Is o < 32/7?
True
Suppose -11*u + 0*u + 33 = 0. Suppose 28 = 3*z + 2*d, -5*z = -u*d - 6 - 66. Let y be ((-18)/(-12))/((-2)/z). Which is greater: -0.2 or y?
-0.2
Suppose -g - 6 = -0*g. Let c = 27 - g. Let t = 65 - 32. Is t > c?
False
Let c be (14/(-1050))/((-6)/45). Suppose 1 = t - 7*w + 2*w, -t + 1 = 5*w. Which is greater: t or c?
t
Let f = -4466 - -75984/17. Let g be -11 + -9 + 18 - 10/(-2). Which is bigger: g or f?
f
Suppose -13*n + 8*n + 2*t + 1982 = 0, 5*n + 5*t - 2010 = 0. Suppose 397*m = n*m + 24. Is -26 smaller than m?
True
Let y = -4156 - -4426. Which is smaller: y or 0?
0
Suppose 28*t - 13722 = -52474. Does t = -1386?
False
Let v = 34 - -62. Let f = -70 + v. Let t = -25 + f. Which is bigger: -48 or t?
t
Let g be (-2)/12 + 3/(-9). Let o = -663 + 565. Let x be -8 + 5 + 8 + 494/o. Which is smaller: x or g?
g
Suppose -3*t - 75 = -5*a, -3*t = -4*a + 3*a + 27. Suppose 2 = -p - 0. Let d be (-8)/(p - (-8)/6). Is a less than d?
False
Let z = -46742 - -170374591/3645. Are 0 and z non-equal?
True
Let k be 2/2 - 23180/9737. Let m = -75/134 - -56577/100366. Let h = m - k. Which is bigger: h or 0?
h
Let i be ((-24)/(-10))/(12/30). Let j be 0*(3 - (-21)/(-6)). Suppose -i*v = 12 - j. Which is bigger: v or -6/11?
-6/11
Suppose 20*v + 38242 = 128002. Which is smaller: 8973/2 or v?
8973/2
Let i = 1.165 - -30.835. Is 2 at least as big as i?
False
Let w = 105264899/54 + -1949520. Let a = w + 170. Is a equal to 0?
False
Let k(s) = -5*s**3 + 11*s + 39 - 6*s + 4*s**3 - 11*s**2. Let z be k(-12). Let b = z + -475/4. Which is smaller: b or 5?
b
Suppose 28*n + 21 = -3*n + 10*n. Which is bigger: n or -1/1880?
-1/1880
Let m be 4/(6720/3476) - 6/21. Which is greater: m or 1?
m
Let n = 39880093 - 44266906217/1110. Let q = -27/10 - n. Is q > 1?
False
Let f = -8551 - -8438. Which is smaller: f or -5?
f
Let q = -44 - -50. Suppose 0 = 5*g - q*g - 69. Let i = g + 49. Which is smaller: -18 or i?
i
Let o be 34/8 - (-6)/8. Suppose j - 6 = -o*j. Let n be (j - 13/3)*72/16. Does n = -12?
False
Suppose -4*h + 5*h = -a - 272, 276 = -h + a. Let v = h + 368. Which is smaller: 96 or v?
v
Suppose 967*k - 951*k = -11840. Do k and -736 have the same value?
False
Let x = 154.1 + -21.1. Let g = 133.1 - x. Which is smaller: -64 or g?
-64
Suppose 84*j = -59*j + 299 - 13. Let t(r) = r**2 - r - 1. Let s be t(3). Suppose s*x - 7 = 3. Is x > j?
False
Let i = 15717 - 15685. Which is smaller: i or 3?
3
Suppose 6*g + 240 = 3*d + 11*g, 5*g - 315 = -4*d. Does 19 = d?
False
Let f(m) = -188*m - 42. Let x(j) = -125*j - 27. Let p(q) = 5*f(q) - 7*x(q). Let v be p(-3). Which is smaller: 175 or v?
v
Let d = 243 - -289. Suppose -784 = -528*w + d*w. Which is smaller: w or -197?
-197
Let v be 208/(-288)*-909*-8. Which is smaller: v or -26266/5?
-26266/5
Let y = -4323 + 4161. Let b = -11 + 10.9. Is b at least y?
True
Let h be (4/(-24))/(2/(-60)). Let a = -18 - -31. Let c = a - 10. Which is bigger: h or c?
h
Let t(c) = c**3 + 4*c**2 - 4. Let y be t(-4). Let k be (-58)/(-195) - y/(-10). Let g be -6*(1 - 17/18)*-3. Which is smaller: k or g?
k
Suppose 9*n = 4*n - 5*q - 25, -5*q = 20. Let c be (-132)/430 + (-3 + 632/200)*(-15)/(-6). Is c less than or equal to n?
False
Suppose 0 = -4*n - c - 1, 0 = 84*n - 80*n + 2*c - 2. Which is smaller: n or -6/79?
n
Let l be -1 + 1 + -1 + (-420)/(-15). Let s be (-2)/(-1) + -1 - -122. Suppose 0 = 5*c - s - 12. Is l greater than c?
False
Let s = 126 - 102. Suppose 27*r + 90 = s*r. Let w = 12 - 41. Which is smaller: w or r?
r
Let g = 22 + -55. Let y = -29 - g. Let i be (-6)/y + (-55)/(-22). Which is greater: 4 or i?
4
Let d = 115 + -114. Let t = -20186/7 + 2884. Do d and t have the same value?
False
Let c(p) = -10*p - 112. Let y be c(-11). Let q be 792/81 - 8 - y. Which is greater: q or 5?
5
Let c = 33/125 - -92111/1000. Is 93 bigger than c?
True
Let q = 34 - 228/7. Suppose 0 = f + 3*j - 19, 0*j - 4*j + 51 = 5*f. Suppose -16 = -5*a + k - f, -5*a = k - 1. Which is bigger: q or a?
q
Suppose -8*s + 3067 + 397 = -5248. Is s at most 1090?
True
Let t be 3/2*(-4140)/(-6). Let m be 3*(-50)/t*9/6. Which is bigger: -1 or m?
m
Suppose -3528 = 150*s - 157*s. Let m = -506 + s. Is -29 greater than m?
False
Let a be (-12 - -13 - (-7)/(-3))/(124/(-6)). Which is greater: 4 or a?
4
Let k(z) = 7*z**2 - 2. Let a be k(2). Suppose -24 - a = -r. Let i = 95 - r. Is 45 equal to i?
True
Let y = 116 - 57. Let t be 42484/741 + (-5)/(-2) + 10/(-12). Is t < y?
False
Let x(b) = -2*b**2 - 4*b - 2. Let c be x(-2). Let a be (c/4*-2)/(-3)*6. Suppose 40 = -6*y + 16. Do a and y have different values?
True
Suppose 115*y = 93*y - 95040. Which is smaller: y or -4321?
-4321
Let v = -99 + 97. Let d(i) = -8*i + 6. Let h be d(v). Do h and -5 have the same value?
False
Let r = 605 + -473. Suppose 4*w = 2*y - r, 4*w + y + 42 + 102 = 0. Which is smaller: -37 or w?
-37
Suppose -5*s + 803 = 88. Let r = 1575/11 - s. Let t be 2*(-3)/(-9)*6 + -3. Which is bigger: r or t?
t
Let h = -1816 - -1654. Which is bigger: h or -161?
-161
Let a = 5404 + -5425. Do -220 and a have different values?
True
Let q = -136 + 119.9. Let p = q + 18.1. Let x = 564/4997 - 2/263. Which is bigger: p or x?
p
Let w = 1.34 + 1.66. Let k = 3 + 3. Suppose k*z - 1 = 7*z. Do w and z have different values?
True
Suppose 1462*u - 1496*u - 10438 = 0. Which is smaller: u or -313?
-313
Suppose 2*m + 55 = 4*w + 237, 3*m - 297 = -2*w. Let g = 88 - m. Let x be 3/g*(4 - 110/29). Is -1 less than or equal to x?
True
Suppose 5981 = -17*s + 7630. Are s and 97 equal?
True
Suppose -392 = -b + 3*s, 2*b - 4*s - 169 = 599. Is b less than or equal to 4042/11?
False
Let u = -56.85 - -57.85. Let i = -553 + -52. Which is bigger: u or i?
u
Suppose -5*j = -18*j. Suppose 4*y = -j*y - 20, 5*y - 5 = -5*g. Which is smaller: 4 or g?
4
Let s = -14619 - -2529059/173. Is 0.2 bigger than s?
True
Let d = 12596/15 + -839. Let r = -396 + 398. Is d at most r?
True
Let n = -393588/5 - -78406. Which is greater: n or -311?
-311
Let a = -1220 - -1221. Let w be (-1)/367 + 0 + 0. Is w smaller than a?
True
Let t be (-33 - 4)*(-3)/33. Which is smaller: 3 or t?
3
Let r = 812 + -811. Which is smaller: 627 or r?
r
Let n(y) = y**2 - 3*y - 19. Suppose -r + 15 = -0*g - 2*g, 2*g = -6. Let s be n(r). Let o = 69/2 - s. Is 1/3 > o?
True
Let u(i) = 27*i + 5. Let q be u(-1). Suppose 0*b + 64 = 4*b. Let p be 14 + -11 + b/(-6). Which is bigger: q or p?
p
Let u = -41695/4 - -10424. Is -809 greater than or equal to u?
False
Suppose -4*w = -5*r - 15 - 109, -r - 4*w - 20 = 0. Let l(z) = 19 + 717*z - 757*z - 3. Let d be l(1). Is d != r?
False
Let o(p) = -p**3 - 4*p**2 - 5*p - 3. Let q be o(-4). Let i(l) = 11*l + 59. Suppose -12 = 8*r + 20. Let v be i(r). Is q bigger than v?
True
Let r(w) = -14*w**2 - 34*w + 68. Let v be r(2). Let k be v/(-12)*63/(-42). Is k <= -3?
True
Suppose -4*t + 267 = -z, 2*t - 257 = 233*z - 232*z. Which is greater: z or -245?
-245
Suppose -i + 158 + 117 = 9*r, 5*i - 5*r = 1375. Which is bigger: 2482/9 or i?
2482/9
Let v(z) = -z**2 - 64*z - 420. Let q be v(0). Which is smaller: 0.2 or q?
q
Let h(j) = 88*j + 137. Let y be h(-10). Do y and -743 have different values?
False
Suppose -5*c = -c - 372. Suppose 14125*d = 4*q + 14120*d - 274, 5*q - 5*d = 365. Are c and q equal?
False
Suppose -6 = -3*b, -13*n - 2*b = -14*n - 8. Is n > 56?
False
Let o = 270 + -270. Let f be (2 - o)/(98/(-7105)). Is -145 != f?
False
Let r(g) = -g**3 - g**2 + g - 1. Let v be (-6)/((-54)/(-21)) - 2/3. Let x be r(v). Let n be (-5)/(-35) + (-156)/x. Which is smaller: -12 or n?
-12
Let z = -66.0286 - -65.96. Which is greater: -1/9 or z?
z
Let q(x) be the third derivative of -x**4/24 + 13*x**3/6 - 8*x**2. Let c be q(17). Let u be c/10 - (3 - 24/10). Which is greater: u or 3?
3
Suppose -5*q - 8 - 70 = 73*q. Let l be 4/6*(-46194)/68. Let g = 453 + l. Which is smaller: q or g?
q
Let d = -0.58 - -0.7. Let k = -269.55 - -267. L