st as big as m?
True
Let c(x) = 61*x - 164. Let b be c(10). Let v = 436 - b. Which is smaller: -156/17 or v?
v
Let t be (-4)/(-3)*(-30)/(-10). Suppose -3*h + 16 = t. Suppose 2*p = -4*g + 14, 0 = -h*p + 2 - 6. Is g equal to 4?
True
Let p(f) = -4*f**2 - 4*f - 12. Let m be p(-3). Let u(k) = -6*k**3 + 2*k**2 + k - 2. Let w be u(2). Let d = m - w. Which is bigger: 1.1 or d?
d
Let g = -0.44 + -81.56. Let p = g - -83. Which is greater: 0.16 or p?
p
Suppose 4*n + 235 - 37 = -2*y, -y = -n - 45. Let f be 1 - (-56)/n - (-773)/(-6). Let g = -228 + 100. Is f at most g?
True
Let w(k) = 20*k + 283. Let x be w(-13). Let b be 162/3 + 0 + -2. Suppose 3*t = 20 + b. Which is bigger: t or x?
t
Suppose 0 = -g + 7, -105*g + 106*g - 7 = -4*p. Is 106/77 <= p?
False
Let r = 27.8562 - 27.84. Which is greater: r or 1?
1
Let d be -1*4/(-3) - 49110/36855. Which is smaller: 0 or d?
0
Let w be (-28412)/6 - (247/(-39) + 7). Which is smaller: -4737 or w?
-4737
Let i = -981.06 + 981. Is 377 != i?
True
Let b be (1/(15/(-50)))/((-14)/21). Let i = 5 - 5. Suppose i*k = -2*k. Which is smaller: k or b?
k
Let y = 479 + -476. Which is smaller: y or 53/9?
y
Let n = 12946 - 155351/12. Is n < 203?
True
Let z be (-4)/(-5) + (-11 - -12)*(-4)/5. Which is smaller: 69/124 or z?
z
Let u(p) = -p**3 - p**2. Let z be (-16)/20 + 1/(-5). Let c be u(z). Let l be 750/(-675) - (-3)/27. Which is greater: l or c?
c
Suppose -2*j = -5*w - 30, -w - 3*j = 1 - 12. Let f be (w/6648)/(5 - (-19)/(-4)). Which is smaller: 0 or f?
f
Let y be (-6)/93 - (-2309060)/(-2015). Is -1147 at least as big as y?
False
Suppose -5*d = -3*d - 5*g + 2, -d - g = 1. Suppose 0 = -13*w + 1098 + 2880. Let q = w - 3063/10. Which is smaller: d or q?
d
Let r(m) be the first derivative of m**4/4 + 47*m**3/3 + 87*m**2/2 + 80*m + 60. Let y be r(-45). Which is bigger: y or 216?
216
Let u be 3 - (-60)/(-42) - (-3)/7. Suppose -3*i = -u*w + 14 - 132, -5*w = -i + 61. Which is greater: i or 109/3?
109/3
Let l = 402 + -164. Let n be 68/l - (-264)/7. Let u = -9/148 + 17195/444. Is n at least u?
False
Let g be (0/1)/(13/(-13)) - -7. Let f be (1/2)/(g/(280*1)). Which is greater: f or 14?
f
Let k be (-8 + (-46)/(-3) + -6)/(196/6). Let q(b) be the third derivative of b**5/60 - b**4/8 + b**3/6 + b**2. Let t be q(3). Is t smaller than k?
False
Let v(p) = -3*p**2 - 2 + p**2 + 0*p**2 + 28*p. Let h(c) = 3*c**2 + 23*c - 22. Let y be h(-9). Let n be v(y). Is -7 greater than n?
False
Let d(f) = f**2 + 72*f - 55. Let u(h) = 36*h - 27. Let p(c) = -2*d(c) + 5*u(c). Let i be p(10). Which is smaller: i or 1/2?
1/2
Let n(a) = -a**2 - 23*a - 10. Let h be n(-13). Suppose 0 = -5*w + 9*w - h. Which is greater: 26 or w?
w
Let w = -0.2675 + -0.3105. Which is smaller: w or 0.1?
w
Let l be 8/(-14)*(-2 + (-8664)/(-32)). Is l less than or equal to -153?
True
Suppose 0 = 11*a - 14*a + 1089. Suppose 46*t = -327 - a. Is t bigger than -1?
False
Let f = 23730/244073 + 2/5953. Let w be -2*(12/(-8) + 1). Are w and f nonequal?
True
Let a be (-1498075)/(-40)*(48/(-15))/(-8). Let z = a - 15055. Which is bigger: -2/7 or z?
-2/7
Let t = -7524.2 - -7524. Is 2136 > t?
True
Suppose 0 = 4*j - 14 + 30. Let c be 8*(29/j - -4). Let x = 53 + c. Is 0 equal to x?
False
Let n be (-437)/(-57)*(-3)/(-6). Which is greater: 4 or n?
4
Suppose -61497 = -11*z + 368*z - 226431. Is 462 > z?
False
Let h = 453856/5 - 90312. Are h and 1 equal?
False
Let o be (-5100)/40*(-18)/27. Is o bigger than 64?
True
Let m be ((-1)/15)/((48/(-6))/120). Which is bigger: m or 1/10077?
m
Let d(r) = r**3 + r**2 + r - 2. Let n be d(0). Let o be 1070322/1110 - (9/(-5) - n). Let j = 964 - o. Are 0.2 and j non-equal?
True
Let j = 487/4407 + -5/39. Let k(g) = g**3 - 8*g**2 - 21*g + 10. Let b be k(10). Which is bigger: b or j?
b
Let b(v) = -44*v - 303. Let y be b(-7). Let w(u) = -u**2 + 7*u - 5. Let d be w(6). Let m be 2 - -14*d*y/(-30). Is -4/11 greater than m?
False
Suppose 0 = 2*z + 5*l + 13, -l - 19 = z + 4*l. Suppose -2*b - b = -o - z, 0 = o. Suppose -b*g = g. Is 3/13 greater than g?
True
Let h(l) = -4*l + 434. Let w be h(-15). Which is greater: 492 or w?
w
Suppose 0 = -3*t + 2*w + 119, -t = -2*w - 2*w - 43. Let q be (-8)/(-52) + 306/t. Suppose -4*z - 4*s + 7*s + 24 = 0, 0 = 5*z + s - 30. Is z greater than q?
False
Let s(w) = 10*w**2 + 188*w - 1218. Let d be s(6). Is 279 <= d?
False
Let v(l) = 448*l + 3202. Let x be v(-17). Is -4412 at least x?
True
Let q = 8134 - 8129. Suppose 2*n = -3*n - 2945. Let c = n + 2966/5. Which is smaller: q or c?
c
Suppose -5*m - 2230 = -5*d + d, -2*m - 2*d - 910 = 0. Is -464 > m?
False
Let u be (-165)/((-15)/1) + (-23 - (-2 + -1)). Let q be (-1*1)/((-2)/(-30)). Is q bigger than u?
False
Let w = -11858.13 - -11858. Which is smaller: w or -8/13?
-8/13
Suppose -15 = f - 16, 2*c = f - 2321. Which is greater: c or -1158?
-1158
Let y(p) = p**3 + 9*p**2 - 4*p - 1. Let r be y(-5). Let b be (r/(-14) + 6)*-4. Is b less than or equal to 12?
True
Let i = -188 - -166. Let d = -2912 - -2891. Is d not equal to i?
True
Suppose -4*j - 16 = -3*u, -34*j = 5*u - 31*j + 12. Which is bigger: 138 or u?
138
Let m = -8/705 + 2519/284115. Which is smaller: m or 1?
m
Suppose 0 = -j + 23*j - 13794. Let k = 2481/4 - j. Suppose 7 + 0 = -s. Is s >= k?
False
Let s = -145 - -150. Let v = 6 + 1. Are v and s equal?
False
Let u(m) = -m - 5. Let x be u(-5). Let v = 12173 - 2166793/178. Which is smaller: x or v?
x
Let g(k) = -3*k**3 + 6*k**2 - 5*k - 1. Let x be 184/128*2 - 2/(-16). Let m be g(x). Which is smaller: m or -48?
-48
Let v = -21 - -37. Let u = 90 + v. Let w be u/13 + (-6)/39. Is w > 0.1?
True
Let v be 12/1270*5*(-4 - -3). Is v at most as big as 3?
True
Let d = 23942 + -191557/8. Is d != -5?
True
Let a(k) = -20*k**2 + 2*k + 1. Let j be a(1). Let y = 0 - j. Suppose 5*r - 5 = 2*i, r = 2*i - 0*r + y. Is -11 not equal to i?
True
Suppose j - 5*i = 7, 2*j = -i - 478 + 492. Which is bigger: -1/7 or j?
j
Let c be (-1 + 195)*(0 - 1). Suppose 2*d = -7*d - 1764. Is d less than c?
True
Suppose 21*p + 8*p = -755114 - 138405. Is p greater than or equal to -30811?
True
Let n = -12.573 + 11.9781. Which is greater: -0.1 or n?
-0.1
Suppose 488*f - 478*f = 10. Let i be 2/4 - (-106)/(-4). Let p be (-3)/(45/i) + -2. Which is smaller: f or p?
p
Suppose -w - 29 - 10 = m, m + 51 = 5*w. Let j(f) = -4*f**2 - 28*f - 9. Let v be j(-4). Let x be (v - -1)*(6 + -7). Which is bigger: m or x?
x
Let w = 56.11 + 657.89. Is 0.09 smaller than w?
True
Suppose 6*j - 3*j - 15 = 0. Suppose 0 = -b - 2*h, -3*h + 37 + 2 = -j*b. Let t be (-84 + 80)/(1 - (-6)/(-27)). Is t less than b?
False
Suppose 15*x - 26*x = -7*x + 32892. Which is greater: x or -8221?
-8221
Let s = 13542 + -12512. Do s and 7206/7 have the same value?
False
Let c = 591 + -556. Suppose -118*t = -113*t - c. Let r(k) = -k + 2. Let p be r(-4). Is t bigger than p?
True
Suppose -2*o + 62 = -5*y + 148, 3*o + 175 = -4*y. Let j = o + 53. Suppose j = -p + 4*p + 60. Which is smaller: -19 or p?
p
Let g = 176 - 173. Suppose -2*z + 1 = -o - g*z, -5*z = -20. Which is smaller: o or -18?
-18
Let m = -1 + -97. Let l = 32 + m. Let i = l - -65. Which is smaller: i or 10?
i
Suppose 4*p = 3*p + 4*k - 6, 0 = -4*p - 3*k + 14. Suppose 4*j = p*j + 8. Let o = -5927 + 23723/4. Is o != j?
True
Let p be (5292/(-3402))/(((-32)/180)/8). Suppose 115 = 2*n - 23. Which is smaller: n or p?
n
Let w = 1900 - 1642. Which is greater: w or 10?
w
Suppose 25*d - 618 = 19*d. Let s = -100 + d. Is s at least as big as 28?
False
Let j(m) = m**2 + 2*m - 18. Let n be j(-6). Suppose n*h - 10 = 26. Suppose 3*f - q + 22 = 0, -h*f + q = -4*f + 15. Which is smaller: f or -5?
f
Let r = -632/875 - -1/125. Let x = -201.93702 - -0.03702. Let h = -202 - x. Which is greater: h or r?
h
Suppose -10 = k + 4*u, -129 = 2*k - 3*u - 131. Suppose -3*y = -8*y + 25. Suppose 0 = -5*h + 5*j + 15, y + 5 = -2*j. Is h smaller than k?
False
Suppose -22*v - 15 = -27*v. Suppose -v*a + 0*a + 21 = 0. Let x be 40/56 - 1*(-2)/a. Are x and 2/13 non-equal?
True
Let r(m) = -m**2 + 17*m - 12. Let v be r(7). Let a = v + -63. Let b be 231/(-35) + (-4)/10. Are a and b equal?
False
Suppose -111*g = -108*g - 27. Let u be (((-140)/12)/(-7))/(3/g). Which is greater: -2/3 or u?
u
Let p be (-9)/((-27)/(-6)) + 1. Let x = -6906/13 - -531. Is p equal to x?
False
Let d(h) = 19*h**2 - 45*h - 35