-4013. Which is smaller: -447 or q?
-447
Let h = 0.03 - 2.03. Let l(d) = 3*d + 58. Let x = -246 + 220. Let q be l(x). Which is smaller: q or h?
q
Let q = 170 + -114. Let d(n) = 6401*n - 31950. Let u be d(5). Is u equal to q?
False
Let a = -54 - -136. Let f = a - 90. Let l = -7.1 - f. Which is bigger: -0.6 or l?
l
Suppose -5*h - 6 = -2*i, 14 = -i + 5*h + 12. Is -0.18 > i?
False
Suppose 0 = 65*t + 10912 + 18894 + 12314. Is 5 at least t?
True
Suppose -72*c + 129557 = -1031515. Is c at most 16125?
False
Suppose -17*u - 7434 = -8199. Is u greater than 41?
True
Let y = 35340/781 - -1/3124. Which is smaller: y or 46?
y
Let u = 30533/9 + -3383. Which is bigger: u or 11?
11
Let m be 3 + (-154 - (3 + -4)). Let g = 7300 + -7450. Does g = m?
True
Let d be 22400/(-25)*(-8)/14. Is 512 smaller than d?
False
Let x be (514/(-592))/(55/(-33)). Let q = x + -33/74. Suppose 5*g + r - 2 = -8, -3*r = 2*g + 5. Is q < g?
False
Suppose 61 = 5*r + 3*z, -5*r - 25 + 74 = -3*z. Let u = 173 - 193. Let h = u - r. Which is greater: h or 2/5?
2/5
Suppose 23*j - 722 = 4*j. Which is bigger: j or 409/11?
j
Let a = 16842/353 + 2329589/12708. Let h = 231 - a. Suppose 0 = 3*u - 2*l + 7, 4*l = -2*u + 4 + 2. Is u less than h?
True
Let n = 1379/12 + -115. Let y = -9 - 1. Let m be 2 + (-18)/(y - -4)*-1. Which is bigger: m or n?
n
Suppose 12 = 4*s, -2*g + 5*g + 3*s - 99 = 0. Let x be (-2)/4*(-256)/4. Is x at least g?
True
Suppose 63*k = 54*k - 612. Suppose -11*d - 135 = -9*d - y, -165 = 2*d + 5*y. Which is smaller: d or k?
d
Let m(z) = z**2 - 98*z + 402. Let r be m(4). Let o be 25/20 - (-1)/(-4). Let f be (o/(-2))/(2/(-100)). Is r greater than f?
True
Let q = -32016 - -1056614/33. Which is smaller: q or 4?
q
Let n = 6 + 17. Let x = n - 14. Let m(t) = -t**2 + 31*t + 102. Let a be m(-3). Which is bigger: x or a?
x
Let d = -696 + 119. Let v = 575.7 + d. Which is smaller: v or -3?
-3
Let x = -1/158 + -625/1106. Let c = -1651 + 1751.92. Let p = 101 - c. Which is bigger: p or x?
p
Let k = 1142 - 1139.9. Let r = -3/53 - 91/265. Which is bigger: r or k?
k
Let v(i) = -7*i**2 + 6*i**2 - 5*i - 1 + 15. Let k be v(3). Which is smaller: -12 or k?
-12
Let y be (7*(-9)/(-1218))/((-6)/(-110)). Is 0 at most as big as y?
True
Suppose -5*l + l + 4*k = -48, 0 = -4*k - 4. Suppose -3*c = -4*z - 97, 6*c + 3*z = l*c - 169. Is -1/5 smaller than c?
True
Let s = 368.96 - 369. Are s and 1016 non-equal?
True
Let a(c) = -c**2 - 14*c - 30. Suppose -21 = 11*h - 4*h. Let n be a(h). Is 33 equal to n?
False
Let s be 6*((-592)/(-256))/37. Which is greater: s or 0.0791?
s
Let w = 2357/297044 - 1/628. Which is smaller: -1 or w?
-1
Let c = 366667/13 + -28217. Which is bigger: c or -11?
-11
Let u(r) = -67*r - 110. Let m be u(-4). Suppose 7*a + 39 = m. Which is smaller: a or 6?
6
Let f = -0.25 + -4.65. Let d = f - -4.5. Which is smaller: d or -30?
-30
Let p = -39064.08 + 39064. Are p and 11.89 equal?
False
Let a = -5347.3 - -5348. Are a and 11 non-equal?
True
Suppose 5*r - 288 = 2*r. Let y = -2239 - -2334. Do r and y have the same value?
False
Let u(c) be the first derivative of -17*c**2/2 - 81*c + 64. Let q be u(-13). Is 141 smaller than q?
False
Let v be 2/10 - 1308/(-10). Let d = -133 + v. Is 74 not equal to d?
True
Let a = -0.2268 + 0.3168. Let x = 12.22 - 0.22. Let j = -10 + x. Is a equal to j?
False
Let d(a) = -a - 8. Let i be d(-7). Let o = -4744 - -317844/67. Is o <= i?
False
Let c be (-4)/(-12)*-2*307. Let m = -203 - c. Suppose -9*g + 5*g + 3*o - 2 = 0, 0 = 4*g + 3*o - 10. Which is smaller: g or m?
g
Let l(g) = 2*g**3 + 28*g**2 - 3 - 4*g - 33*g**2 + 8. Let c be l(4). Which is smaller: 36 or c?
36
Suppose -y - 5 = 8. Let w(v) = v**2 + 12*v - 11. Let s be w(y). Suppose -9*p = -s*p - 7. Is p greater than -2/7?
True
Let p(d) = -147*d - 701. Let w be p(-5). Which is smaller: w or 6?
6
Let l(t) = -t + 157. Let q be l(46). Suppose -5*f + 563 = 4*o, 0*o = -f - 3*o + 117. Let b = f - q. Is 1/8 smaller than b?
False
Let i = -0.23 - 0.27. Let z = 47.6 - 45. Let t = z + -3.6. Which is bigger: t or i?
i
Let q = 269236/3 - 97048. Which is bigger: 0.1 or q?
0.1
Let o(u) = u**3 - 5*u**2 + 7*u - 35. Let l be o(5). Let t = 9 + -3. Let z = 9 - t. Is z less than or equal to l?
False
Suppose 0 = -3*f + 208 - 61. Let g = 56 - f. Suppose g*o - 3*o - 4 = 0. Is o at most 4/33?
False
Let z = -2115 + 11016/5. Let c = 87 - z. Let j = -0.10772 - 0.89228. Is c at least j?
False
Suppose -2*v + 9*v = 28. Suppose -3*b + 139 = -v*w, -5*b + 3*w = -3*b - 94. Suppose -39*j = -b*j + 2. Are j and 0 unequal?
True
Let w = 10418/21 - 3468/7. Is w at least as big as -2/659?
True
Let p = 122/645 - -2/1505. Let m = -0.65179 + -0.34821. Which is smaller: m or p?
m
Let g = -255 + 253.5. Let j = 2215 + -9037/4. Let d = j + 44. Which is bigger: d or g?
d
Let d(t) = -4*t + 108. Let h be d(28). Let n be (80/(-4))/(-4)*h/(-110). Which is bigger: n or -17/5?
n
Let x be 1*(-6 - (-18 - -1)). Let l = -12 + x. Are l and -22/13 non-equal?
True
Suppose -90 = -14*g + 23*g. Let l be (g + 11)*(1 + -1). Which is smaller: l or -2/1651?
-2/1651
Let o = -8 + -20.5. Let p = o + 28.9. Is p equal to -0.63?
False
Let y be -2*(-1)/(-26)*(-5)/(-10). Let w = 0.331 + -0.231. Is w less than or equal to y?
False
Let v = 515 + -493. Let d = -59 + v. Which is bigger: d or -41?
d
Suppose 31*a = 28*a - 27. Let l(q) = 5*q + 20. Let k be l(a). Is k equal to 0.4?
False
Let d be (-338)/(-342) - 5 - (-18)/(-162) - -4. Which is bigger: d or 0?
0
Let o = -75/377 - -17877/135343. Is 1 at least as big as o?
True
Let g be 32 + 0/(-1 - -2). Let h be (680/440*55)/((-3)/(-6) - -2). Which is greater: g or h?
h
Let w(o) = -888*o - 123. Let v be w(10). Which is smaller: 1 or v?
v
Let h = 948 - 1437. Let s = h - -33. Which is greater: s or -1/4?
-1/4
Suppose 0*j + 3*j = 12. Suppose 6*b + 7*b + 24 = -67. Is j at most b?
False
Let u(j) = -j**3 - 25*j**2 + 29*j + 34. Suppose -7*o - 95 = 87. Let a be u(o). Let s be (a/1210)/(1/(-5)). Which is smaller: s or -18?
-18
Let w = -73199/222778 - -57/167. Let v = w + 1/46. Is v at least as big as -1?
True
Let t(x) be the third derivative of 0*x + 7/3*x**3 - 5*x**2 + 7/12*x**4 + 1/30*x**5 + 0. Let n be t(-6). Is n equal to 6?
False
Let p(i) = i**3 + 32*i**2 - 75*i + 30. Let h be p(-34). Let u = 1057/4 - h. Which is bigger: u or -5?
u
Suppose 5*i - 3*s + 1078 = 0, -i - 3*s - s = 211. Let w = i - -212. Which is smaller: w or 1?
w
Suppose -2*a + 8 = s, -a + 4 = 30*s - 31*s. Which is smaller: -1/526 or s?
-1/526
Let o = -0.74 + -162.26. Let i = 163.3 + o. Which is bigger: 15/2 or i?
15/2
Let f = 32788 - 45402. Which is bigger: f or -12613?
-12613
Let h be 13/(-4)*(-24 + (-524396)/(-21855)). Are h and -1 non-equal?
True
Let d = 18 - 14. Suppose 3*h + 11 = 4*l, d*l - 2*h = 4 + 10. Suppose -l*a + 209 = 6*a. Which is smaller: 20 or a?
a
Let q be (-18)/8 - -3 - (62250/(-40))/25. Which is greater: q or 1176/19?
q
Let j(r) = -1455*r**2 - 3*r - 4. Let s be j(-1). Let b be (-1344)/s - 2/(-26). Which is smaller: -6.58 or b?
-6.58
Let v = 41 + -77. Let t = 274595/11 - 24963. Which is bigger: t or v?
t
Let l(g) = 90*g + 466. Let v be l(-47). Is -3765 at most v?
True
Let t = -14/7261 + 50863361/29044. Is t bigger than 1752?
False
Let m(v) = 469*v - 3284. Let j be m(7). Is -2/939 smaller than j?
False
Let m(p) = 16*p**2 + 547*p - 9. Let n be m(-31). Which is smaller: -1591 or n?
-1591
Let h(q) = -357*q + 2079. Let z be h(6). Is z at least -680/11?
False
Suppose 9*f - 14364 = -100152. Let y be 6 - (f/(-952) + -4). Which is smaller: -1 or y?
-1
Suppose 2*d = -5 + 3. Let j = -13038317/148 - -88098. Let a = 1/74 - j. Which is bigger: d or a?
d
Let z be (-2)/4 - (-31)/2. Let r be (-4 + 2)*-9 - 2. Which is bigger: r or z?
r
Suppose b + 3*r - 56 = -b, -r - 2 = 0. Let a be ((-1)/4)/(b/8). Suppose -d - 4*d + 5 = 0. Which is smaller: d or a?
a
Let m = -1733.135 - -1733. Is 10/11 smaller than m?
False
Suppose 4*u = -5*h + 3*u - 109, 2*u = -2*h - 42. Let n be (15/(-50))/(4/296). Are h and n nonequal?
True
Let t be (2 - -4) + 0 - (-994 - 0). Is 1000 at most t?
True
Let i be ((-1176)/(-108) - (-3)/27)/1. Let p(k) = 3*k**2 - 25*k - 94. Let x be p(i). Is x > -76/13?
False
Suppose -33*w - 5*w = 25*w + 113589. Is -1807 < w?
True
Let y be (-356)/22 - (16 + 1398/(-66) - -5). Is -248/15 bigger than y?
False
Sup