4*q - 3*n. Which is bigger: h or q?
h
Suppose 0 = 9*o - 1959 + 1968. Does o = 2/4567?
False
Suppose 0 = 8*s + 5*s - 7*s. Let y be 0*(-1 + 3/2). Let v = y + s. Is v smaller than 2/3?
True
Let q = 0.434 + 0.166. Which is bigger: 20 or q?
20
Let o(s) = -6*s + 66. Let q be o(8). Is q not equal to 15?
True
Let y = 7039/5 - 1407. Is -202 at most y?
True
Suppose 0 = 2*w + 2*w - 100. Let q be 76/(-80) - (-5)/w. Let y = -5/4 - q. Is y less than or equal to 1.4?
True
Let j = 430 + -25368/59. Let h = -2 + 2. Does h = j?
False
Let t = 26.001 - 0.001. Let m = 25.7 - t. Are m and -3 equal?
False
Let v = 735 - 891. Which is bigger: -164 or v?
v
Let b = 0.1937 + -0.0937. Which is greater: b or -3?
b
Let m be (-10 - (-90)/10) + (-6)/(-8). Which is greater: -145 or m?
m
Let o be ((-163)/249)/(-2 + 1). Let b be -17 + 19 - 2/166*167. Let t = o - b. Are t and 2 equal?
False
Let d = -75 - -78. Let z be (2/(d + -5))/(-1 + 2). Which is smaller: 1 or z?
z
Let u be 40/100*(8 - 3). Is 30/13 greater than or equal to u?
True
Let s = -17 - -5. Suppose -8 = 2*f - f - 2*l, -3*l - 43 = 4*f. Which is greater: f or s?
f
Let x be (-2)/(-4) + 136/16. Suppose -3*d + 13 = -v - x, 1 = -3*v - 4*d. Which is smaller: v or -1?
v
Let a be 4/(8 - 636/81). Is a < 24?
False
Suppose 0 = 7*u - 25 + 4. Suppose 21 = 5*a - 2*a. Let l = 12 - a. Which is greater: u or l?
l
Let g = -5179/4 - -1317. Let m = 79/4 - g. Are -4 and m equal?
False
Let l = -32 - -18. Let z = l - -20. Suppose 0 = 3*h - 4*a - 14, -z*a + 2*a - 30 = 5*h. Which is smaller: -7/3 or h?
-7/3
Suppose -9*u = 5*u + 700. Let d be (-2)/5*1*u/(-35). Is d >= -1?
True
Let q(l) = 16*l - 26. Let t(b) = -3*b + 5. Let g(o) = -2*q(o) - 11*t(o). Let w be g(6). Suppose w*x - x - 18 = 0. Which is smaller: 10 or x?
x
Let h be (10 + -9)*(-140 - -3). Which is bigger: -136 or h?
-136
Let p be 3/4*(-16)/(-3). Let k be 8/(-12) - (-16)/6. Suppose -3*d - 16 = -k*z - 3*z, 3*d = 3*z - 6. Is z less than p?
False
Let z = -125 - -125. Let k be (1/27)/(10/6). Is k less than z?
False
Let q = -21.5 - -14.5. Let j be (1 - 2)*(-28)/182. Is j greater than or equal to q?
True
Let o = 2169/3808 - -1/544. Let n(r) = -r**3 - 3*r**2 - r. Let t be n(-2). Let a(p) = -2*p - 2. Let j be a(t). Which is bigger: o or j?
j
Let j be (-4 + 10)/(-3) - -4. Let l be j*812/(-240)*2. Let i = -40/3 - l. Do i and -0.6 have the same value?
False
Let r be 6*(-1 - 3/(-2)). Suppose -r*w + 15 + 12 = 0. Suppose -7*q = -i - 2*q + 15, -3*q = -3*i + w. Do -2/11 and i have different values?
True
Let j = -42 + 32. Let q be (4/(-185))/((-4)/j). Which is smaller: q or 0?
q
Let k be (-90)/20 - (-1)/2. Is k bigger than 11?
False
Let h = -33.518 + 0.518. Is h at least 28?
False
Suppose 40 = 3726*h - 3734*h. Which is smaller: h or -8?
-8
Let f be (4 - 40)/((-3)/8). Let v be ((-4)/f)/((-5)/((-90)/4)). Which is smaller: v or 0?
v
Let u(v) = v. Let j(w) be the third derivative of w**4/6 + 17*w**3/6 - 13*w**2. Let p(o) = -j(o) + 5*u(o). Let k be p(14). Which is smaller: -15/7 or k?
k
Let i = 3507573766/3245 - 5404583/5. Let k = i - -1/295. Is k less than or equal to 1/2?
True
Let z(g) = g**3 - 11*g**2 - 24*g + 39. Let k be z(14). Which is smaller: k or 292?
k
Let q(x) = 22*x + 154. Let d be q(-7). Let v = 200 - 5603/28. Which is smaller: d or v?
v
Suppose -u + m + 0*m + 11 = 0, -3*m + 12 = 0. Is u at most as big as 15?
True
Let r = -26 + 31. Suppose 0*s + 65 = -r*s. Which is smaller: -12 or s?
s
Let j be -6 + (-2 - 0) - -6. Suppose 4*m + 2 = -3*k, -3*m - 9 = 5*k - 2. Which is smaller: m or j?
j
Let p = 52 + -48. Let f be 58/(-136) + (-2)/(-4 - p). Which is bigger: f or 1?
1
Let x(h) = -73*h - 510. Let z be x(-7). Let t be (-2)/(-6) - 22/(-6). Suppose 8 = 4*j - 4, t*j = g + 26. Is z greater than g?
True
Suppose 4*l - a + 1 = 17, -l - 5*a - 17 = 0. Let j(n) = -6*n**2 - 3 - n**3 + 0*n**3 - 3*n**2 - l. Let g be j(-9). Does -6 = g?
True
Let g be -3*(4/10 + 102/45). Let a be ((-7)/4)/(g/(-32)). Is -7 smaller than a?
False
Let l(n) = -n**2 - 2*n - 6. Let h be l(-6). Let q be h/(-225)*2/(-4). Suppose 0 = -3*i + 4*g + 20, -4*i - 8 - 2 = 2*g. Is i <= q?
False
Let w be 4/(-12) - (-4)/3. Let f be -1 + (0 - (w + 0)). Let c be f*1/3*-12. Is 8 at most c?
True
Let n be (-12)/48 - (-118)/(-8). Let u = n - -14. Which is smaller: u or 1/4?
u
Let p be 2/7 - (-5 - (-51)/7). Suppose 0 = -i + 2 + 1. Let q be i/p*(-48)/198. Is -1 at most as big as q?
True
Let r be (-3)/(-24)*(1 + 55)/7. Is r greater than or equal to -5/31?
True
Suppose -5*r - 26 - 54 = 0. Let i = r - -14. Do i and -3 have the same value?
False
Let k = -1193 - -1193. Is k at least as big as -24/19?
True
Let h = 776 + -753. Is h less than or equal to -1/5?
False
Suppose -24*w = -25*w + 16. Is w != 19?
True
Suppose 4*r + 324 = 10*r. Is 54 smaller than r?
False
Suppose 21*h = -2*q + 23*h + 20, 24 = 4*q + 4*h. Is q equal to -2?
False
Suppose -a + 2*v - 10 = -2*v, 3*a - 3*v + 21 = 0. Let d be (-64)/a - 6/(-18). Suppose -3 = -8*r + d*r. Which is greater: r or -1/9?
-1/9
Let a = -1/549 + 65/2196. Let r = a - -2/9. Which is smaller: r or -3/13?
-3/13
Let g = 372 + -719/2. Let x be (-5 + (-210)/(-18) + -6)/(20/390). Which is smaller: g or x?
g
Let v = 323.3 + -323. Is 38 < v?
False
Let n be (-9)/2*12/9. Let y be (330/(-1155))/(4/98). Is n equal to y?
False
Let t = 167/10 + -33/2. Suppose 4*k = -k + 20. Suppose -2*c + 2*q = -0*q - 2, 4*c + 4*q = -k. Is c < t?
True
Let s = -35 - -14. Let l = s - -20.69. Let a = -0.01 - l. Which is smaller: a or 6?
a
Let l = -7981/7410 + 11/285. Is l at most as big as -1?
True
Let p = -23927/33 + 725. Suppose 5*a + 4*a = -27. Let u = a + 5. Which is smaller: p or u?
p
Let w = -39 - -42. Let r be (5/(-25)*-1)/(1/w). Which is smaller: r or -0.3?
-0.3
Let f be ((-12)/(-5))/6 - (-3777)/(-5). Is f not equal to -1?
True
Let a = -76 + 21. Let c be 4/a*10/(-36). Which is smaller: 1 or c?
c
Let w(b) = -b**3 - 76*b**2 + 79*b + 155. Let z be w(-77). Let o be 1/(-4) - 3112/35. Let m = -357/4 - o. Which is greater: m or z?
z
Suppose 0 = 3*u + 2*f - 15 - 16, 3*u - 36 = -3*f. Suppose 31*y - 319 = -71. Which is smaller: u or y?
u
Let r(c) = -7*c**3 + c. Let o be r(2). Let i = o + 29. Is -24 greater than or equal to i?
True
Let d = 35 - 176/5. Let u = 3/5 - d. Suppose w = -2*w. Which is bigger: u or w?
u
Let i(g) = g**3 - 5*g**2 + 2*g - 2. Let r be i(5). Suppose -3*v + 2*l = 85, -v - r - 15 = 2*l. Let j = -26 - v. Are 2/27 and j unequal?
True
Let d = 0.064 + -0.064. Which is greater: -3.5 or d?
d
Suppose 29*k - 32*k = -9. Let b be (-12)/9 + k - (-2 - -4). Which is smaller: b or 13?
b
Let y = 117.92 + -120. Let o = y + 2. Let f = 0.98 - -0.02. Which is greater: o or f?
f
Let a = 3 + -2. Let h = 497 - 4465/9. Is a > h?
True
Let z be -2 + -123*(-6)/(-9). Let o be 4 - z/(-18) - (-4)/6. Is o at least as big as 4/15?
False
Let c = -559 + 14537/26. Let l = -2 - -3. Which is bigger: c or l?
l
Let u be 376/(-126) + 1 + 2. Let t = -43/63 + u. Is -0.4 at least t?
True
Let o = -246 + 252. Is 27/4 >= o?
True
Let l(f) = 0*f**2 - 29*f + 24 + 24*f - f**2. Let b be l(-8). Which is smaller: 1/35 or b?
b
Suppose 5*d - b - 28 = 0, -2*d - 2*d + 17 = b. Suppose 2*o = 4*v - 0*o + 68, d*v + 5*o + 70 = 0. Is -15 at least v?
True
Let n = 94 + -62. Let v = n + -38. Let d be (6/(-9))/(32/v). Is 0 != d?
True
Let z = -12.4 - -12. Let j = -17.14 + 17. Let y = 0.04 + j. Which is smaller: z or y?
z
Let q(g) = -g + 24. Let i(k) = -k**2 - 7*k. Let h be i(-3). Let n be q(h). Which is smaller: 10 or n?
10
Let h = 514 + -514.807. Let b = 0.137 + h. Are b and -1 equal?
False
Let m(s) = 5*s - 50. Suppose h = j + 9, -7 = -3*h - 2*j - 5. Let b(a) = -a + 10. Let f(v) = h*m(v) + 22*b(v). Let d be f(10). Is 1/3 <= d?
False
Let l be (-832)/48*(-3)/158. Which is bigger: 0 or l?
l
Let u = 1.7 + 0. Let x = 212.9 - 222. Let v = -9 - x. Which is bigger: u or v?
u
Suppose 0 = -m - 4, 23*f - 5*m = 22*f + 21. Is f at most 2?
True
Let b = 169 - 151.3. Let y = -5.7 + b. Which is greater: -0.2 or y?
y
Let k be -1*(0 - (2 - 2)). Suppose -642 = -3*i - a - 0*a, i - 214 = -5*a. Let l = i + -10056/47. Are k and l equal?
False
Let j(x) = -7*x + 3. Let a be j(-1). Let z be a/25 - (-6)/(-15). Suppose -2*v - 8 = -i, i - 3*v = -z*i + 12. Do i and 0.02 have different values?
True
Let g = -175.5 + 176. Is 21 < g?
False
Le