-74 - -228. Let q be (3 + (-469)/u)/(3/54). Which is bigger: q or 0?
0
Let g(f) = 65*f**2 - 6*f. Let j be g(-1). Which is smaller: j or 54?
54
Let a = 145 + -149. Let g(v) = v**3 + 4*v**2 + 11*v + 5. Let k be g(a). Is k less than -39?
False
Let i be -6 + (178624/104)/4. Let j = 424 - i. Let o(g) = g**3 - 3*g**2 + 3*g. Let m be o(2). Is m at most as big as j?
False
Let r be -5*(-5 - -4) - 4. Suppose 0 = n + 3*s - 19 + r, 0 = -n - 4*s + 17. Suppose 2*u + n = -u. Is -9 > u?
False
Let z(n) = -2*n**2 - 60*n - 470. Let r be z(-18). Is r > -39?
True
Let l = -12542 + 12538. Which is smaller: l or -11/4?
l
Let t = 3.21 + -2.473. Which is smaller: 1 or t?
t
Let b = 158 + -222. Let o be (8/b)/(2/(-16)). Do o and -1/20 have the same value?
False
Suppose 0 = 15*z + 3*z - 0*z. Which is bigger: 7/811 or z?
7/811
Suppose -4*j = 4*i + 188, 2*i = 4*i + 3*j + 93. Let t(z) = -z**2 + 2*z - 2. Let o be t(3). Let c be -1*((-20)/(-5) + o). Is c equal to i?
False
Suppose 24*k - 46*k + 116292 = 0. Are 5286 and k nonequal?
False
Let b be (-21 + 97)/(0 - (1 - (-2 + 1))). Let t(q) = q**3 - 11*q**2 + 6*q + 2. Suppose 5*c + 40 = 2*g, -4*g - 4*c + 14 = -g. Let p be t(g). Is b at most p?
True
Let j = 178 + -255. Suppose u = -2*l, -25*l = -21*l - 2*u. Which is bigger: l or j?
l
Let c = -2 + -2. Let a be 3/(-16)*-2*c. Suppose -21 - 97 = 59*y. Is a >= y?
True
Let q(k) = -3*k**3 - 143*k**2 - 51*k - 145. Let g be q(-47). Is g at most -2169?
False
Let k = -3 - -4. Let w be 3*10/6 + 587/(-100). Let f = w + 19/20. Is f at least k?
False
Let n = -2/291 + 620/5529. Let g(y) = -y**3 - 13*y**2 - 3*y - 30. Let b be g(-13). Let j be 1 + (1 - 21/b). Is j < n?
True
Let k(t) = -t - 1. Suppose -4*o = 5*m + 10, 3*m - 2 = 4*m + 4*o. Let r be k(m). Let v be ((-3)/((-1092)/16))/((-6)/(-21)). Which is smaller: r or v?
v
Let d be ((-1)/2 + 0)*2363/(-278). Which is smaller: 3.8 or d?
3.8
Suppose 29*n - 264 = 7*n. Let u be (-1785)/(-150) - n - 3202/(-20). Which is bigger: u or 161?
161
Let d(j) = j**2 + 8*j - 17. Let c be d(-14). Let x be (-49)/14 + 3 + (-133)/2. Let l = c + x. Are l and 35 non-equal?
True
Let h = -55 - -65. Let g = h - 10.55. Let f = g + -0.45. Is f < 0.19?
True
Let l = -6053/9520 + 817/112. Which is bigger: l or 8?
8
Let c = 91 + -85. Let l be c/(-3)*(-114)/90. Do 4 and l have the same value?
False
Let f = -7359 - -7359. Is 25/222 greater than or equal to f?
True
Let h = -403 + 605. Let t = h - 202.1. Which is bigger: -149 or t?
t
Suppose -3*u = 3*i - 18, 192*u + 5*i + 19 = 194*u. Let w(h) = -120*h. Let o be w(1). Let l be (o/70)/(1/u). Which is smaller: -11 or l?
l
Suppose -26 = 327*k - 329*k. Suppose 0 = -3*t - 2*m + 2, 0 = -k*t + 11*t + m + 6. Is t equal to -7?
False
Let r = -556 + 451. Let n = r + 106. Is -2/135 at least n?
False
Let s be 6271804/5929 + (-4)/66*-3. Is 1057 greater than s?
False
Let z = -2.2 - -3. Let t be ((-2)/8)/(29/3944*34). Which is smaller: t or z?
t
Let s = -32 + 39. Suppose 0 = -8*g + s*g + 1. Let n = 7673/114 + -202/3. Is g at least n?
True
Let k = 3 - 2. Let l be ((-3)/4)/((-582)/24). Which is greater: k or l?
k
Let j = 1157 - 1058. Which is bigger: 81 or j?
j
Let h = 49263 - 49263.1. Let v = -73 + 69.34. Which is smaller: v or h?
v
Let x(v) be the second derivative of 2*v**3/3 - 12*v**2 + 3*v. Let g(f) = 79*f + 563. Let l be g(-7). Let a be x(l). Is a at least 13?
True
Suppose l + w - 3 = 0, l - w = -0*w - 7. Suppose 4*c + 3*n - 234 = -4, -5*c - 4*n + 288 = 0. Let k be 4/(-18)*1722/c - l. Is -5 >= k?
False
Let w(a) = -13*a - 39. Let c be w(-4). Suppose -5*v = -g, -5*v - 4*g = -c + 38. Which is bigger: v or -20/11?
v
Let x be ((-21320)/(-72488))/((-5)/17). Suppose -8 = 2*i - 0, -2*i = -2*j + 12. Suppose -24 = -q + j*q. Is x at most q?
False
Let o = -40152 - -16944159/422. Which is bigger: -1 or o?
o
Let r = -10036 + 8718. Is -1317 >= r?
True
Suppose -4 = 3*p - 5*p. Let k = 148 - 98. Let y = k - 44. Is y smaller than p?
False
Let u = 255 + -426. Let a = u - -175. Is a greater than 9?
False
Suppose 5102 = -i + 4*c, -4*c + 24 = 48. Are i and -5127 equal?
False
Let h(v) be the second derivative of 8*v**3/3 + 52*v**2 + 2*v - 23. Let l be h(-14). Which is greater: -119 or l?
-119
Let r = 2.54 + 115.46. Let w = -131 + r. Which is bigger: -2 or w?
-2
Let w be 11/(-22)*-2 + 0/(-3). Let k(b) = -b**3 - 7*b**2 - b + 2. Let d be k(-6). Let x be 12/d*(-1)/9. Is w less than or equal to x?
False
Suppose 12*n - 51 = 129. Suppose 0 = -3*v + 5*d + 14, -5*d + 0*d - 5 = 0. Suppose -v*h + 74 = 23. Does h = n?
False
Let g be (-200)/(-700)*(-2 + 9). Are -28 and g equal?
False
Let p = -5/124 + 993/3100. Let q = -5021 + 5021. Is p at most q?
False
Let f(n) = -n**2 + 13*n - 10. Let s be f(12). Let m be (s/(-4))/(-6 + 2408/400). Which is smaller: -26 or m?
-26
Let c = -2099 - -566729/270. Which is greater: c or 0?
0
Suppose 152*k - 75 = 137*k. Suppose 0 = 2*q + k*h - 46, -6*q - 3*h + 134 = -q. Which is bigger: 200/7 or q?
200/7
Let g = 15 - 206. Is -193 smaller than g?
True
Let r(z) = -z**3 - 4*z**2 + 3*z + 3. Let p be r(0). Let i be 51/(-1615)*(-10)/p. Let b = -0.1 + 2.1. Does i = b?
False
Let q(o) = -o**2 - 30*o - 59. Let j be q(-29). Let i be (-3)/1756*j/45. Which is smaller: i or -1?
-1
Let p(c) = 18*c - 24. Let a be p(2). Let n be 902/(-5016) + 3/a. Which is bigger: -1 or n?
n
Let u be 3/(1 - 4)*3378. Let j be u/2*(-4)/(-12). Let f = j + 103593/184. Which is greater: f or 0?
f
Let j = 1.53 - 0.71. Let g = j + -0.1. Let t = g + -0.98. Does t = 1/2?
False
Let x(g) = 80*g + 3604. Let f be x(-45). Let c(u) = 3*u - 2. Let m be c(1). Which is greater: m or f?
f
Let p = -0.05 - 0. Let a = 1.529 + 890.771. Let k = a + -892. Which is bigger: k or p?
k
Suppose -10*n - 12*n - 220 = 0. Let q be 0/4 - 0 - (n + 5). Which is greater: 38/7 or q?
38/7
Suppose -3*i = 4*s + 2*i - 23, 2*i - 2 = 2*s. Let o be (-10)/(-35)*s/(-8). Let j(t) = -t**3 - t**2 + 8*t + 7. Let n be j(-3). Which is bigger: o or n?
n
Suppose 3*w = 5*w - 206. Let g = 803965 + -803861. Are w and g nonequal?
True
Let s be (-4200)/200 + 40*1 + 136. Suppose -5*t = -4*z + 635, -z - 2*z + 456 = 3*t. Is z != s?
False
Suppose 2*m - 3*l - 3 = -4*l, 3*m - 21 = 4*l. Let d(k) be the third derivative of k**5/60 - 7*k**4/24 + 2*k**3 + 3*k**2. Let f be d(m). Is -12/11 <= f?
True
Let m be 72688/156 + (-14)/(-273). Is m bigger than 466?
False
Let o = 107 + -108. Let l = -2.87 + 2.857. Is l greater than or equal to o?
True
Let d be (-24)/(-780)*970 - (-1 - 11/(-13)). Which is greater: 37 or d?
37
Suppose -4*w = 4*j - 112, -5*j - 8 = -3. Let l be (1 - -7) + -1 + 2. Suppose 112*z = 103*z + l. Which is smaller: w or z?
z
Suppose 0 = -2*n + b - 3, -6*b + 4 = -9*n - 11*b. Is n not equal to -35/76?
True
Let v = 2517 + -2516. Which is greater: v or 63/59?
63/59
Let k be (130/30)/(143/22). Does 0.0636 = k?
False
Let i = 49 + 87. Let b = i + -136.4. Is 44/7 at most as big as b?
False
Suppose 25*u = 31*u - 108. Suppose -u*h + 20*h - 18 = 0. Let o = 12 - 3. Is h at least o?
True
Suppose 16*a = 21*a - 21*a. Which is bigger: a or 1/9030?
1/9030
Let u = -41 - -43. Suppose -2*t - 2*t = 2*y + 356, 4 = u*y. Which is greater: -89 or t?
-89
Let l = 2.315 + -2.515. Which is greater: l or 2?
2
Let z = 1286 - 231. Which is greater: 1054 or z?
z
Let z = -10240.98 - -10150. Let a = -1.98 - z. Is 0.1 >= a?
False
Let b = -10 - -20. Suppose 5*j - 3*k + 1 = 5, 2*j = -3*k + b. Suppose 0 = -2*p - 2*y + 1 + 1, -5*p - 4*y = -j. Which is greater: -0.02 or p?
-0.02
Let z be 18/(-72) + (2/4)/((-18)/(-3285)). Which is smaller: 92 or z?
z
Let k = -3/37273 - 51725/283535711. Which is smaller: k or 0?
k
Let u = 108.96 - 109. Which is bigger: u or -107?
u
Let z = 0.11 - 0. Let w = z + -0.21. Let v = -184 + 183.81. Does v = w?
False
Let n = -1127/36 + 119/4. Let b = -737 + 734. Which is smaller: n or b?
b
Let u = -14932 + 104501/7. Which is smaller: u or -5?
-5
Suppose 0 = -2*p + 14*p + 72. Let n be (p*6/15)/(4/(-10)). Is 60/13 smaller than n?
True
Let r = -84107/5 - -15379. Which is greater: r or -1442?
-1442
Let c be (7991055/(-2187))/(10/6). Is c smaller than -2193?
False
Suppose 3*u + 40 = 2*u. Let h be (-90)/u*(-32)/(-6). Let t = -20 + h. Is t greater than or equal to -8?
True
Suppose 2*d - 16*z - 3 = -13*z, -5*d - 5*z - 5 = 0. Which is smaller: 2/4427 or d?
d
Let s be 1 - 