 -k. Which is greater: 0 or m?
m
Let i = 906 + -905.607. Let y = -0.293 + i. Is 188 at most y?
False
Let j be ((-2)/12 + 106/212)*(-7)/3. Suppose 4*b - 4*x - 44 = 0, 0 = -5*b - 3*x - x + 100. Let m be (1/2)/((-4)/b). Are j and m unequal?
True
Suppose -5*c - 4*f + 9*f + 315 = 0, 2 = -2*f. Suppose -11*j + c = -81. Is 13 less than j?
False
Let r be -4 + 15 + (-1582)/154. Let o = -123 + 124. Is r smaller than o?
True
Let b(i) = -i**3 - 67*i**2 + 140*i + 130. Let r be b(-69). Suppose -g - 2*g - 18 = 0. Is g <= r?
False
Suppose 0 = 197*d + 208*d - 399*d - 2142. Which is smaller: 351 or d?
351
Let d = -26 - -38. Suppose -x + 4*l = l - d, 3*l + 18 = -x. Let n be -4*(33/6 + x). Which is bigger: -9 or n?
-9
Suppose 0 = 35*c - 19*c - 25920. Suppose c = 77*k - 92*k. Which is smaller: -107 or k?
k
Suppose -2*r - 2*b = 3*r + 8, 0 = -2*r - 4*b. Let h(l) = l + 22. Let p(m) = -m - 21. Let g(a) = r*h(a) - 3*p(a). Let z be g(-16). Is z at least as big as 3?
True
Let d(r) = -r**2 - 13*r - 27. Let q be d(-7). Suppose -18*y - q = -3*y. Is 5/48 smaller than y?
False
Suppose 5*u - 433 = -2*o, 5*u - 3*o + 89 - 527 = 0. Suppose 94*c - 147 = u*c. Is c not equal to 19?
True
Let x = 0.3628 + -0.0638. Let h = x - -0.701. Is -209 <= h?
True
Suppose 16*z - 63480 = 2*z - 16*z. Which is bigger: z or 2117?
2117
Suppose -5*x = -20, 3*x = -i + 42 - 4. Suppose -25 + i = g. Which is bigger: 15/64 or g?
g
Let l = -3101 - -2641.9. Is l < 0.1?
True
Suppose -2 = 3*w + 3*r + 16, 4*w + 3*r + 19 = 0. Let x be (8 - 1272/256) + -2 + w. Suppose 0 = -l + 5*c + 26, -19 = -l + 2*l + 4*c. Is l at most as big as x?
False
Suppose -15*s + 892 + 1220 - 87 = 0. Which is greater: -41 or s?
s
Let k be 56 - 23/(368/80). Which is bigger: 149/3 or k?
k
Let c(m) = 3*m**2 + 27*m + 17. Let o be c(-10). Let w = 73 - o. Which is smaller: 25 or w?
25
Let x be (12*(-52)/40)/(2/10). Let r = 165/2 + x. Which is smaller: 5 or r?
r
Let l = -3 + 54. Suppose -v - 5*c + 22 = 0, 0 = -322*v + 323*v - c - 58. Which is smaller: l or v?
l
Let v be (-1 - (-9 + 8)) + 1*28. Suppose 0 = -25*u + v*u. Let x be -2 + ((-1490)/148)/(-5). Is u greater than or equal to x?
False
Let a = -12459 + 12467. Which is smaller: 382 or a?
a
Suppose -4*y - 326 = 2*m, 14*m = 5*y + 18*m + 415. Suppose 0 = -10*b + 12*b + 158. Is b smaller than y?
False
Let x(j) = 8 + j**2 + 5 - 74*j + 81*j. Suppose -5*u - 7 = -2*c, -4*c - 5*u = -6*u + 31. Let m be x(c). Which is bigger: 32 or m?
32
Suppose i - 2 = -4*q, -2*q + 23*i - 8 = 28*i. Is q > 2/11291?
True
Suppose 9*l + 46 = 154. Let c = 57.15 + -58.05. Which is smaller: c or l?
c
Let r be (18/(-8))/9 - 6/((-120)/25). Is -78.2 equal to r?
False
Let b = -17/32341 - 4107205/194046. Let g = -27 - -7. Which is greater: b or g?
g
Suppose 0 = -4*g + 20, y - 511 = 3*y - 5*g. Let j = y + 351. Suppose -q + 7*q = j. Which is smaller: 17 or q?
17
Let t be ((-150)/(-175))/((-3)/(-14)). Suppose q - t*d + 1 + 11 = 0, 6 = -q + 2*d. Is 4/235 <= q?
False
Suppose -165 = 5*i - 0. Let x be (-36 - i)*(-41)/(-3). Suppose -205 = 5*t - 0*t. Is x greater than or equal to t?
True
Let w be (-12)/(-16) + 1 + 3/12. Let i(c) = 3*c**2 + 5*c - 6. Let v be i(3). Let f be 1/((-6)/(-17)) + -38 + v. Which is smaller: f or w?
f
Let j(r) = -3*r**2 + 56*r - 14. Let g be j(29). Let o = g - -26457/29. Which is smaller: o or 0?
o
Suppose -4*l + l = m - 16, 4*l = 3*m + 4. Let c be (-1)/l - (-2 - 1927/(-1108)). Which is smaller: c or 0?
0
Let a be ((-2)/4)/(18/8). Suppose -k + 9*b = 333, 540 = -2*k + 31*b - 27*b. Is k at most as big as a?
True
Let j be (-7)/4 - (-69825)/15580. Which is greater: j or 3?
3
Let q = 24363337/3582 + -5325/398. Let f = -6796 + q. Are f and -9 unequal?
True
Suppose 59*t - 290 = -73*t - 13*t. Let v be (-61)/(-18) - (-1)/(-2). Which is smaller: v or t?
t
Let r = 34 - 34. Let u = -10571 - -6543447/619. Are u and r non-equal?
True
Let q be 9*(-24)/(-36) - 4. Let y(s) = s**3 - 1. Let f(g) = -3*g**3 + 3*g**2 - 2*g + 2. Let a(i) = f(i) + 2*y(i). Let n be a(q). Which is greater: -1/59 or n?
n
Suppose -k = -2*m + 6, -3*k + 9 = 13*m - 10*m. Suppose 0 = h + 2*a - 0*a + 5, 4 = -4*h - 4*a. Is m not equal to h?
False
Let p(b) = 282*b**3 + 1. Let a be p(-1). Let h = a - -261. Is -20 less than or equal to h?
True
Let l(a) = 5*a + 89. Suppose 11*c - 13*c - 44 = 0. Let x be l(c). Which is greater: x or -23?
x
Suppose -7 = 2*s + 1. Suppose u - 5*z - 19 = 7, 0 = -u - 2*z - 9. Let t be (-102)/54 + u/(-9). Which is smaller: t or s?
s
Let i(o) = o**3 - o**2 - 54*o + 17. Let p be i(-7). Do p and 114/71 have the same value?
False
Let q(w) be the second derivative of w**4/12 + 3*w**3/2 + w**2 - 9*w. Let s be q(-10). Let a be 5/2 - 18/s. Is 1/49 < a?
True
Let z be (-42)/3 + 7 + -7. Let s be 8/z*210/(-100). Is 1 less than s?
True
Let q = 15 + -9. Suppose 0 = 138*h + 62 + 76. Which is smaller: q or h?
h
Let k be (-4)/9*5*(-5)/(-50). Suppose -23 = -3*h - 8. Suppose 3*c + 19 = 5*g, 3*g + h*c + 5 = -2*g. Which is smaller: k or g?
k
Suppose -c + 14 = 5*b - 5, -4*c - 5*b + 16 = 0. Is -2/3235 > c?
True
Let p(t) = 2*t**3 + 26*t**2 - 68*t + 1. Let d be p(-16). Which is greater: -444 or d?
-444
Let n = 0.476 - 0.746. Let t = -59.73 - -60. Let j = t + n. Is j equal to 0.5?
False
Let b = 0.6577 - -0.0323. Let q = -30.49 + 31. Let h = b + q. Are 2 and h non-equal?
True
Suppose -24 = 14*u + 4. Let l be (30/150)/(u/(-10)). Which is bigger: l or 2/2161?
l
Let n(o) = -36*o**2 + 188*o + 579. Let f be n(-3). Which is bigger: -303 or f?
-303
Suppose 6*a = -848 - 718. Let o = a + 262. Do -6/43 and o have the same value?
False
Let w = -85.7 + -1455.3. Which is bigger: -0.04 or w?
-0.04
Suppose -p - 2 = 0, -4*z + 3*p - 7*p = -440. Let b = 161 - z. Suppose 5*g + b = 4*l, -3*g + 58 + 15 = 4*l. Do 16 and l have the same value?
True
Let k = -17214 + 17214. Is k > -3/2222?
True
Let x(o) = o**3 - 3*o**2 + o - 2. Let r be x(3). Let g(u) = u**3 - u**2 + 36. Let l be g(14). Let z = l - 111106/43. Is z less than r?
True
Let j = 34.89473 - -0.10527. Which is bigger: j or -76?
j
Let v = 1782 + -1782. Let o = 25 - 19. Let s = -8 + o. Do s and v have the same value?
False
Let f(t) = -66*t + 122*t + t**3 - 31 - 68*t + 7*t**2. Let h be f(-8). Are 1/17 and h nonequal?
True
Let u be 60/(2 - -3) - 8 - (-2608)/(-658). Which is smaller: 1 or u?
u
Let s = 75 - 168. Let z = 89 + s. Let a be -1 + -3 + 12/(-42). Are z and a nonequal?
True
Let l(x) = -10*x**2 - 7*x - 7. Let s(q) = 22*q**2 + 13*q + 15. Let m(o) = -9*l(o) - 4*s(o). Let c be m(-8). Is 48 equal to c?
False
Let h be ((4 + 132/(-16))*1)/((-221)/340). Which is bigger: 8 or h?
8
Let y be -3 + (65 - -2) + 0. Suppose y = 4*x + 12. Let i(q) = -q**3 - 48*q**2 - 452*q + 109. Let o be i(-35). Is x greater than o?
True
Suppose 2*h + 9*z = 6*z - 30, -6 = -h + 2*z. Is h at most as big as 61?
True
Suppose 3*n = -45 + 54. Suppose -c = n*d - 15, 5*c - d + 5 = -0*c. Suppose c = -3*x + 43 - 46. Are x and -3/5 equal?
False
Let v be -72784*(18/12 + 0). Let u = 607346090/5563 + v. Let b = u + 278136/38941. Which is greater: 6 or b?
b
Let p(r) = 36*r. Let k be p(-2). Let h = k - -118. Suppose h*t - 47*t + 26 = 0. Which is bigger: 27 or t?
27
Let u = 24.7 + -10.8. Let v = 13.73 - u. Which is smaller: v or 1/2?
v
Suppose 0 = -2*i - 9 + 41. Let v be (i/4 + -4)*1. Suppose 0 = -o - 5*r + 31, -o + 2*r + 1 - 5 = v. Which is greater: o or 8?
8
Let r = 1437 + -1436.88594. Are 1 and r equal?
False
Suppose 0 = y - 1. Let r be (116/29 + -2)/(108/7)*1. Which is greater: y or r?
y
Let n = 324.0222 + -324. Let y = -6.9778 - n. Is y >= -0.15?
False
Suppose -5*i - 11 = -y + 10, -2*i = -5*y + 105. Suppose a - 42*h - 1 = -45*h, 2*h = 10. Let l be (-135)/y + 8/a. Which is smaller: l or -6?
l
Let g be (6/(-30))/(-7*(-4)/140). Which is smaller: g or 1/244?
g
Let v = 13 - 14.4. Let k = v + 10.4. Let d = -79.2 - -79. Is k smaller than d?
False
Suppose -157 = -3*h - 2*v + 31, -3*h + 3*v = -213. Suppose -h*j + 65*j - 1 = 0. Let k be ((-100)/(-60))/(j/3). Which is smaller: 1 or k?
k
Suppose 32*v = 2576 + 24976. Are 861 and v non-equal?
False
Let b = -7 - -9. Suppose 5*a + 6*q = b*q - 296, 5*a - 3*q = -303. Let u be -12*4*(-5)/a. Is u greater than or equal to -4?
True
Let p(m) = 1 + 1697*m - 1697*m + m**2 - 25. Let h be p(-5). Which is greater: h or -1/266?
h
Let j be (8 - -14)/(2