or v?
-34
Suppose 989*h = 5*k + 993*h + 79, -5*k + 2*h - 133 = 0. Which is bigger: k or 308?
308
Let o(u) = -18*u + 54. Let x be o(6). Suppose -237 = 3*s - 5*n - 0*n, -3*s - 264 = 4*n. Let g = s - x. Do -30 and g have the same value?
True
Let g be (-1 - 1)/(24/(-32)*700/(-21)). Which is smaller: g or 1?
g
Let u be (-283408)/440 - ((-2)/(-2) + (-70)/77). Which is smaller: -645 or u?
-645
Let m(n) be the third derivative of -n**5/60 - 5*n**4/12 + 11*n**3/6 + 6*n**2. Let g be m(-11). Let w be (-2)/96*(0 - (-30)/(-4)). Which is smaller: g or w?
g
Suppose -116*i + 101*i = -255. Is i at most -14?
False
Let x = -65302 - -124335003/1904. Which is smaller: x or 0?
x
Let l be -2 - (-9 + 6) - 7/1. Let m be (1 - 0)/(-7 - l). Is m at most 0.07?
True
Suppose 4*p + u = -32, -u - 3 = -4*p - 27. Let z(s) = -3*s - 18. Suppose -2*c - 2*c = -y + 15, 0 = 3*c + 2*y + 14. Let v be z(c). Is v < p?
False
Suppose 3*i = 2*u + 220, 148 = -8*i + 10*i - 2*u. Is i greater than 48?
True
Let a(d) = -4*d**2 - d + 6. Let n be a(1). Which is greater: n or -2/4817?
n
Let n = 22399 + -22367.8. Is -2/7 greater than n?
False
Let f(n) = -4*n + 2862. Let t be f(97). Which is smaller: 2476 or t?
t
Suppose 4*b - 2*d - 3 = 5, 3*d = 4*b - 6. Let w = -2.78794 - -2.95794. Which is greater: w or b?
b
Let n be (-17118)/(-63)*2/3. Which is bigger: -0.1 or n?
n
Let w = 694 - 694.063. Which is bigger: w or 1/3?
1/3
Let r = -2566 + 1802. Let v = -763.9 - r. Do v and -254 have the same value?
False
Let m = -526952 + 4734784/9. Let s = -866 - m. Let w = -4.16 - -5.16. Which is smaller: w or s?
s
Let h be (-100023)/154*16/12. Which is greater: h or -6066/7?
h
Let q be 28169050/3624 - 2/(-24). Which is smaller: 0 or q?
0
Suppose -31*w + 5*g - 97 = -28*w, 5*g = -20. Is w greater than -22?
False
Let q(a) = -10*a - 22. Suppose 2*z - 5*m - 52 = 0, -z + 5*z + m - 60 = 0. Let t be q(z). Let b = -10736/59 - t. Is b bigger than -1?
True
Let i = -3596 + 3596. Are i and 148 unequal?
True
Suppose -u + 32 = -5*i + 8, 4*i + 4*u = 0. Let g(v) = 2*v**2 - 18*v - 108. Let q be g(13). Let k be (((-215)/q)/5)/(1/i). Which is bigger: -41 or k?
-41
Let j(l) be the second derivative of l**3/2 - 51*l**2/2 - 9*l. Let h be j(-7). Let q be ((h/(-75))/4)/(6/(-40)). Is q > -0.2?
False
Suppose 11 = -3*m + 53. Let h = -66412 - -66418. Is h greater than m?
False
Suppose 5*u = 2*t - 47, -10*t = -13*t + 5*u + 48. Are -2/5631 and t unequal?
True
Suppose 36*b = -118638 + 117702. Let x = -7196/3 - -2373. Which is bigger: x or b?
x
Suppose -2*u - 20299 - 22045 = 4*z, -5*u = 2*z + 21140. Which is smaller: z or -31768/3?
z
Let t be 16/952*-14 - 252/(-204). Let s = -347.8 - 93.2. Which is greater: t or s?
t
Let m = -413.5 - -520.5. Is m less than -0.23?
False
Let p = -572 + 1109. Let h = -537 + p. Which is bigger: h or -119?
h
Let c be 21/609*(-9 + (-221)/(-26)). Suppose 0*m + 7 = -m - 5*n, 5*m + 5*n - 5 = 0. Suppose -4*r - m = -7. Which is smaller: r or c?
c
Let m(z) = -z**2 - 66*z + 1214. Let n be m(15). Does n = -25/514?
False
Let s(p) = -45*p**3 + p. Let h be s(-1). Suppose -4*k - 4 + h = 0. Suppose -5*g + g - 16 = -4*j, 4*g + 2 = 2*j. Which is greater: k or j?
k
Suppose 0 = -3*w - 5*o + 3*o - 180, 5*w + 2*o = -300. Let a(i) = 60*i**2 + 2*i - 1. Let c be a(1). Let g = c + w. Is 2/25 less than or equal to g?
True
Let x = 68863/3 - 22940. Suppose 4*i = 3*b + 6 - 32, -2*i = -8. Which is smaller: x or b?
b
Let r = 1.7331 - 0.7331. Which is smaller: r or -5/103?
-5/103
Let r = 32.01 - 31.953. Which is bigger: -15/7 or r?
r
Suppose -1290 = 584*v - 587*v. Let h = v + -407. Does 25 = h?
False
Suppose 2*v - 3 = 3. Suppose -4*d = -v*d - 4. Suppose -1 = -d*s + 27. Are s and 7 nonequal?
False
Let t be (-6)/(-24)*(0 - -12) + (-216)/(-88). Let u be (-3 - (-112)/36)*-2. Which is greater: u or t?
t
Let m(g) be the third derivative of -g**4/6 + 8*g**3/3 + 261*g**2. Let x(i) = i**2 - 5*i - 2. Let n be x(6). Let c be m(n). Is c bigger than -5/6?
True
Suppose -187 = -4*p + 65. Suppose 8*j - 33 - p = 0. Suppose 12*t - 15*t = j. Is -4 bigger than t?
False
Suppose -u = -4*x - 6, -18 = 4*x + 4*u - 2. Let j be (2 + x - 30)*68/(-15130). Is j smaller than 0?
False
Let n be 21105/693 + (((-20)/(-6))/5 - 1). Is 29 equal to n?
False
Let n be (1580/(-35) + -8)/((-4)/(-196)). Is n at least -2602?
False
Let a be 488/168 + 6/63. Suppose a*x + 83 = -4*t, -102 = 4*x + 5*t - 4*t. Is -3 smaller than x?
False
Suppose -15 = 5*b, b + 1692 - 499 = -5*c. Let r = c - -230. Is r != -6?
True
Let c be 10/(-15) + 12352/(-12). Let s = c + 1030. Let n be ((-92)/(-42) - 1) + -1. Which is smaller: s or n?
s
Suppose -38*s = 21*s - 106023. Is 1/2 < s?
True
Let t be -7 - ((-114)/21 + -1). Suppose -74*o + 5 = -69*o. Which is bigger: o or t?
o
Suppose -19 = -f - 3*a, -371*f + 2*a = -375*f + 146. Is f smaller than 1094/27?
True
Let s = -906 - -913. Suppose 0 = -s*a - 10 - 39. Which is bigger: -52/7 or a?
a
Let y = -38472497 - -3154821587/82. Let f = 937 - y. Is 1 not equal to f?
True
Let w = 19 - 16. Suppose -4*h + 2 = z - 5, -5*h - w*z = 0. Let v = 93.8 + -94. Which is smaller: h or v?
v
Let h = 2067 + -1948. Suppose 2*y - 329 + 85 = 0. Is y > h?
True
Suppose 0 = -3*v - 2*j + 334, 4*v - 3*j - 434 = -0*v. Is v < 91?
False
Let b(f) = -f**3 + 56*f**2 + 128*f + 389. Let r be b(59). Which is bigger: r or -2501?
-2501
Suppose -3*a - 11028 = 4*c - 4*a, -3*c - 5*a = 8248. Is c at most as big as 1/3?
True
Let r(j) = j**3 + 6*j**2 + 5*j + 2. Let w be r(-5). Let b be (159/(-424))/(2*(-6)/8). Is w greater than b?
True
Let m be (272/6 - 2)*3. Let i = m + -6107/47. Is i at least as big as -1?
True
Let z be -1 + -1*(-1 + -1). Let y = -8882/299 + 402/13. Which is smaller: y or z?
z
Suppose -k = 3*j + k - 24, 2*k = 4*j - 18. Suppose 0 = -6*v + 6 + j. Let z be v/(-5)*150/(-260). Is z less than or equal to 2/3?
True
Let b(f) be the first derivative of -f**3/3 + 9*f**2/2 + 53*f + 70. Let u be b(-4). Is 9/16 < u?
True
Let j be 5 + (-21 - -3)*-4. Suppose 3*d + 3 = 0, 3*h - 109 - j = -3*d. Are h and 63 unequal?
False
Let w = -384 - -748. Let x be 5/(-20) - (-99)/w. Let y be 0 + 5 - (0 - -4). Is y less than or equal to x?
False
Let d = 208 + -204. Suppose d*l - 8*l = 0. Which is greater: -5/62 or l?
l
Let h(m) = -405*m - 2198. Let f be h(-8). Which is bigger: 1045 or f?
1045
Suppose 0 = -4*g + 3*g - 1, 0 = -4*q + 3*g + 3. Are -10/91 and q equal?
False
Let g(w) = 14*w**3 - 4*w**2 - 17*w - 4. Let d be g(-4). Let n = -896 - d. Is n > 16/93?
False
Let l(i) = -9*i**2 - 2*i - 1. Let y be l(-1). Let k(h) = -4*h - 4. Let s(c) = c - 1. Let b(r) = -k(r) - 3*s(r). Let p be b(-13). Is p <= y?
False
Let j be 25/(-36) + 8/32. Let n = -1976 + 1982. Is j smaller than n?
True
Let r = 32 + -12. Suppose 11*k - 6*k = r. Suppose k*m - 17 + 5 = 0. Is 0.02 > m?
False
Let r = 684 + -674. Let q be (-7 - 85/r)*(0 - -2). Do q and 0 have the same value?
False
Let g be (-2)/4 + 826/56. Suppose 24 = -21*t + 19*t. Let h = t + 25. Which is greater: h or g?
g
Let w be (-65315)/(-25) - -5*(5 - 246/50). Do 0.1 and w have different values?
True
Suppose 149*f - 5185 = 234*f. Which is greater: f or -1749/28?
f
Suppose 4*u = 2*v + 118, 2*v + v - 93 = -3*u. Suppose -23 = 31*h - u*h. Are h and -22 nonequal?
True
Suppose 4*r = -5*w + 644, -2*r - 16 = -8. Let g be (3 - w/28)/((-1304)/28). Is g greater than or equal to -1?
True
Suppose 219*d = 230*d + 12793. Are -1 and d non-equal?
True
Suppose -63*x + 612*x + 64782 = 0. Is -1784/15 <= x?
True
Let o be -16*1*3/(-6) + -3. Suppose 0 = -3*x + o - 2, 3*x + 45 = 4*w. Let j be 6/(-74)*16/w. Is j at most 1?
True
Let i(f) = 12*f - 18. Let c be i(-2). Let o = 68 + c. Suppose -52 = -h - o. Is 25 < h?
True
Let j = -166.9 - 12.1. Let u = 178.3 + j. Are u and -1 non-equal?
True
Let n be (-12)/(-150) + 31514/(-175) + (-16)/2. Which is smaller: n or -207?
-207
Let q be (4/16 + 21/(-12))/((-6)/(-1)). Which is bigger: q or 86.7?
86.7
Let w = -2 - 6. Let v(k) = 2*k + 55. Let q be v(-16). Suppose -4*p - o = q, -5*p - 25 - 9 = -4*o. Is w less than p?
True
Suppose -4*h + 41 = -5*s, -3*s + 16 = 2*h - 7*s. Suppose 0*y + h = 4*p - 2*y, 0 = -5*p - 3*y + 1. Let u be (((-1)/2)/(-1))/((-703)/(-38)). Is u less than p?
True
Suppose -5*o - m = 4*m - 85, 0 = 3*m. Let r be 108/72*(-44)/(-3). Suppose -312 = -r*d + 40. Which is greater: 