 -h**3 + 2*h**2 + 3*h - 1. Let t be 1 - (-3)/(-2)*-2. Let x be r(t). Is -29 less than x?
False
Let z = 0.9543 - 0.7543. Is 1501 > z?
True
Let i = -15588 - -15746. Which is greater: 142 or i?
i
Let b = -306 - -547. Let r = b - 242. Let j be 29/(-1*2/4). Is r not equal to j?
True
Let x = -1636.16 + 29.16. Is -3 greater than or equal to x?
True
Suppose h + 11 = -0*h. Let k = h - -13. Suppose -d + k = 1. Is d equal to -3?
False
Let p(g) = g**2 + 30*g + 253. Let d be p(-11). Which is bigger: 913/21 or d?
d
Let i = -200 + 142. Let z be ((-2)/2)/((-2)/(-4)). Let o be ((-2)/8)/(1/z). Which is smaller: o or i?
i
Let b = -18.6 - -365.6. Let u = b + -353. Is u at least 5?
False
Let u(t) = t**3 - 3*t**2 - 49*t + 50. Let x be u(1). Which is smaller: -6/1091 or x?
x
Let f = 11222.7 - 11222. Let a be 24/567*(-1 + 13). Let j = a - 2/7. Is j < f?
True
Let c = -110 + 186. Let k = 69671 + -69674. Which is smaller: c or k?
k
Let u = -10151312789/7942710 - 7/529514. Let i = u + 1279. Let o be 1 - (3 + 0) - -2. Is o less than i?
True
Let g = -0.4 + 0.4. Let t = -1835 - -1232. Let f = t + 589. Which is smaller: f or g?
f
Let s = 1341.9 - 1342. Is s smaller than 1075/12?
True
Let f = 7082 + -5915. Which is smaller: f or 1169?
f
Let d = 65.3 + -65.3. Which is bigger: -123/7 or d?
d
Let s = 1.5694 + 6740.4306. Which is bigger: 0.1 or s?
s
Suppose -v = -4*f - 268, 3*v = -4*f + 75 + 809. Let m be (30/(-40))/(2/v). Let p = 765/7 + m. Which is bigger: 2 or p?
2
Suppose 4*c - 7394 = 2*y, 2*c - 50*y + 54*y = 3712. Let l be ((-12)/(-10))/(9 - 16670/c). Is l greater than -113?
True
Let f be 4/(-3)*1668/(-278). Is f at least as big as 0.341?
True
Let j = 783748/263 - 2980. Is 1 < j?
False
Let c(f) = f**3 + 12*f**2 + 8*f + 58. Let j be c(-11). Which is smaller: 86 or j?
86
Let h be (((-1152)/(-6))/6)/(2/2). Suppose -i - h = -4*a + 3*i, 1 = -i. Suppose 294 = -a*b - 126. Is -60 >= b?
True
Let q = 89 + -89.29. Let c = -0.39 - q. Let h = 17.8 - 20. Which is smaller: h or c?
h
Let n(f) = f**3 - 7*f**2 + 3*f - 7. Let c = -63 - -70. Let m be n(c). Let g be ((-3)/(-9))/(26/m - 2). Is 0.1 <= g?
False
Suppose 170 = -5*q - 2*c, 5*q = -c + 63 - 233. Suppose 2*t + 3*d - d = 2, t - 19 = 5*d. Suppose 3*y - 114 = 3*m, -7*y + 148 = -4*m - t*y. Are q and m non-equal?
False
Let y = 7107 + -7109. Suppose 3 = -c + 4. Which is smaller: y or c?
y
Let u = 1.244 - 0.244. Which is greater: 685 or u?
685
Let j = -46 - -78. Let x = 36 - j. Suppose -4*y - 25 = -5*w, 0*w + 21 = -x*y + w. Which is greater: y or -2?
-2
Let p be (6/846)/(1*(-3)/819). Which is greater: p or -2?
p
Let p = -4705 - -4564. Which is smaller: p or 2/55?
p
Suppose 134 = -33*o + 2. Which is smaller: -143 or o?
-143
Suppose 15*f - 51 = -2*f. Suppose 6*t - i = t + 16, 0 = -2*t - f*i + 3. Let m(v) = v + 7. Let r be m(-5). Which is bigger: t or r?
t
Let b = -102.8 - -89. Let h = -15 - b. Let s = 1.29 + -1.09. Is h bigger than s?
False
Suppose -4*o + 3*c = -916, o + 3*c - 1172 = -4*o. Let x = -232 + o. Is -1/57 at least as big as x?
False
Let p be 1155/10 - (-2)/(-4). Let d = p + -76. Suppose 0 = -d*w + 40*w - 10. Is w <= 6?
False
Let r = -103900 - -572385106/5509. Is 0 < r?
True
Let h(c) = -65 + 6*c**2 + 62 + c**3 - 3*c - 4*c**3. Suppose 5*l = -x + 24, 4*l - 36 = -5*x - 0. Let q be h(l). Which is smaller: q or -110?
q
Let x(n) = 11*n - 72. Let v(p) = 63*p - 435. Let w(h) = 6*v(h) - 34*x(h). Let t be w(38). Which is smaller: t or -41/4?
-41/4
Let l = 6 - 3. Suppose 0 = -l*p + 6*p - 6. Let j be 4 - 2/((-10)/(-35)) - -2. Which is bigger: p or j?
p
Suppose -18*w = -338 + 626. Suppose 11 - 63 = -2*i. Let l = i - 43. Is l at least as big as w?
False
Let q be 7/21 - (0 + 694/(-6)). Suppose -4*o - q - 136 = 4*r, 0 = 4*o + 3*r + 251. Let v be -3 + (-2 - o/18). Which is smaller: -2 or v?
-2
Let d = -5.4 + 5. Let u = d - -0.2. Let n = 2.68017 - 2.74017. Which is smaller: u or n?
u
Suppose 32*h + 18*h = 61*h. Let c = 5/99666 + 381742903/498330. Let b = c - 766. Is b less than h?
False
Let d(s) = -821*s + 7420. Let q be d(9). Is q != -133?
True
Suppose 454*c = -14*c + 936. Is -5272 less than or equal to c?
True
Suppose 13*n = 17725 - 17738. Which is smaller: n or -108/625?
n
Let n = 21.05 - 21.6. Let q = n + 0.38. Let b be 2 + 10/(-4) + 0. Which is greater: b or q?
q
Let n be ((-14873)/255 - -1) + 12/(-30). Let r = 173/3 + n. Which is greater: r or 1?
1
Let f be (-1)/(-3 + 2) - -39. Let w = 1901 - 1962. Let c = f + w. Is -22 less than c?
True
Let r = 17312 - 17349. Which is bigger: r or 95?
95
Let y = 15601.1 + -15591. Which is smaller: y or -73?
-73
Let b(m) = -10*m + 248. Let g be b(28). Let z(a) = a**3 + 7*a**2 - a + 3. Let w be z(-5). Let t = w + g. Which is smaller: t or 27?
t
Let k = -15192 - -15191.9. Is 4876 <= k?
False
Let q = -5437 + 5435. Which is greater: -2/1525 or q?
-2/1525
Let a = -5.7 - 1.7. Let y = a - 0.6. Let s = y + 14. Is 0.3 != s?
True
Let h = 1426189/5 - 284098. Which is smaller: h or 1140?
h
Let p be ((-588)/112)/(12/(-16)) + -8. Let v = 40140 - 62337418/1553. Which is smaller: v or p?
p
Suppose 4*p - 193 + 145 = 0. Let m be (-2)/657 + p/54. Is m equal to 1?
False
Let h be (-8379)/14040 + (-6)/(-10). Let i = -224 + 225. Which is smaller: h or i?
h
Let o(p) = p**2 + p + 306. Let u = 161 + -161. Let v be o(u). Do v and 306 have different values?
False
Let c = 2366994208/14385 - 164546. Is c < 0?
True
Let r = 10836583889/94 - 115281038. Let d = r + -3539/2. Is d != -1?
True
Let t(z) = z**3 - 35*z**2 - 32*z - 1. Let f be t(36). Suppose 11*q + 385 = -f. Is q at most -49?
False
Suppose 0 = 391*x - 388*x + 1476. Let b = 587 + x. Do 94 and b have the same value?
False
Let h be (-12570)/33 - -1 - -1. Let m be ((-456)/(-20))/3*-50. Let b = m - h. Which is greater: b or 0?
0
Let w be 68/(-306)*(-396)/8. Which is smaller: w or 9?
9
Suppose 2*i - 1 = 3*s + 11, i - 3*s - 12 = 0. Let y = -145 - -188.6. Let r = y + -45.5. Which is greater: r or i?
i
Suppose -4*f - 6 = 9*t - 8*t, -5*t + 66 = -4*f. Let s be (-88)/(-136) - (-5)/(t/(-8)). Which is smaller: -4 or s?
-4
Let t = 14 + -8. Let k = -6264 - -6255. Is k greater than t?
False
Let s be (7/((-196)/(-7)))/((-1)/4). Let z be 406/(-616) + s/(-4)*-1. Suppose -5*a = -3 + 13. Which is smaller: z or a?
a
Let a = 2.3 + -0.3. Let m = 0.76 - -0.24. Let q = a + m. Which is smaller: q or 0?
0
Suppose 3*m + m - 8 = 0. Suppose m*j = 3*j + 16. Suppose 786*q = -3*v + 784*q - 39, -2*q + 80 = -4*v. Which is greater: v or j?
j
Let m be 220/1188*(0 + -1). Let x = -120 - -121. Do x and m have different values?
True
Let q = -283.5 - -249.5. Which is smaller: 0.33 or q?
q
Let h = -13.7997 + 13.6997. Let u = 250.86 - -0.14. Which is smaller: h or u?
h
Let q(u) = 254*u - 27. Let j be q(0). Which is bigger: -348/13 or j?
-348/13
Suppose 8 = 2*f, 23*f - 76 = 5*g + 19*f. Is g at most -80/7?
True
Let b(o) = -o**2 - 22*o - 6. Let l be b(-7). Let k be (-20)/25 + l/55. Which is bigger: k or 2/529?
k
Let v = -6531 + 6313.56. Let b = -219 - v. Which is bigger: 0 or b?
0
Let z = -645809/322 + 4011/2. Let s = z + 6/23. Let t(h) = -h**3 - 4*h**2 + 7*h + 9. Let q be t(-5). Is q less than s?
True
Let v = -45 - -49. Let c be ((-49)/9)/(-4*v/(-272)). Let p = c - -93. Is p != 0?
True
Let k(l) = 444*l + 829. Let d be k(10). Do d and 5269 have different values?
False
Let r be (-4)/110*(-3 - (-3802)/(-1)). Let t = r - 138. Which is bigger: t or 3/22?
t
Let v = -211 - -217. Suppose -v*q + 0*q = -102. Is 17 at least as big as q?
True
Let m = -70820/532528371 + -2/46791. Is m at least as big as -1?
True
Suppose -2*o - 4 = 0, 1501*c - 1505*c = 5*o - 3302. Is 829 at least c?
True
Let n be 1/4 - 10/(-40)*(-7547)/(-5). Which is bigger: 377 or n?
n
Let b = -10747 - -10766. Which is smaller: b or 11/8?
11/8
Let m = -427 + 430. Suppose 7 = -m*z + 3*f - 8, 0 = 3*z + 2*f - 5. Which is smaller: 4/353 or z?
z
Let j = -163.3 + 169.3. Which is greater: j or 1640?
1640
Let k = 1839 + -1835. Which is smaller: 115 or k?
k
Let t be ((-2)/(-10))/(71/4970). Suppose -5*x = -5*p + 75, 0 = 3*x - 0*x. Is p bigger than t?
True
Suppose -26*f + 54*f = 0. Suppose f = 218*n - 195*n + 644. Which is smaller: -34 or n?
-34
Let z = 4591 + -4294. Is z greater than or equal to 297?
True
Let l = -15 + -97. Let i = l - -120. Let p = 5 - -4. Is p less than i?
False
Suppo