d**2 + 4*d - 32. Let z be y(4). Which is smaller: z or -9/8?
-9/8
Let h(x) = 3*x + x - x - 6. Let d be h(-4). Let z = 19 + d. Which is bigger: z or 0?
z
Let t = 0 - -12. Let n be (t/(-10))/((-2)/5). Let g = n - -14. Is g less than or equal to 17?
True
Let c(a) = -2*a**2 - a - 1. Let f = -26 + 24. Let s be c(f). Let v = s - 7. Is v at most as big as -14?
True
Let l = -348.2 + 348. Is 23 at most l?
False
Let z = -6.86 + 7. Let n = z - 17.14. Let v = 19 + n. Which is greater: v or 3?
3
Let m be (63/420)/((-43)/4 - 0). Which is greater: m or 1?
1
Let p = 6 - 2. Suppose 5*j - 2*j - 9 = 0. Suppose 0 = 3*i, -1 - 5 = -2*d + j*i. Is p bigger than d?
True
Let u be (-91)/(-182) - (-3)/(-2). Which is bigger: u or -2/1001?
-2/1001
Suppose 5*y - f + 559 = -1624, 0 = -2*f - 4. Are -437 and y unequal?
False
Let w be -4 + 50*4/(-8). Let n = w - -22. Is n at least as big as -7?
True
Suppose 4*y - 24 = y. Let v(l) = 3*l**2 + 47*l + 167. Let x be v(-5). Which is bigger: x or y?
y
Let k = -90 + 86. Which is bigger: -5 or k?
k
Let j(w) = 37*w**2 - 3*w + 2. Let h be j(1). Let c = 112/3 - h. Which is smaller: 1/2 or c?
1/2
Let q(t) = -t**2 - 5*t + 1. Let w be q(-6). Let u be (-2 - (1 + w)) + 1. Let y be (-20)/14 - (u + -4). Are y and 0 unequal?
True
Let k(b) = -6*b - 4. Let u be k(-3). Let i be u/(0 - 0 - -2). Let h be (-2)/i - (-160)/70. Which is bigger: h or -1?
h
Let n be (-3)/2*36/(-6) + -4. Which is bigger: 18 or n?
18
Suppose -t = -1, -4*s + 12 = 2*t - 178. Is s at least as big as 47?
True
Let t = 212 + -220. Which is greater: t or 2/11?
2/11
Let g(a) = -5*a - 2. Let t be g(1). Let j(y) = -y**3 - 5*y**2 + 4*y - 17. Let h be j(t). Is 2/5 bigger than h?
False
Let x = -0.3 + 0.27. Let t = x - -14.03. Let v = -16 + t. Which is greater: v or 3?
3
Let x be 6/(-4)*(17 - -5 - 4). Is x at most -29?
False
Let k = 80.6 - 81. Is k equal to 2.4?
False
Let j be 3/12 - 10/(-24). Let g(y) = -y + 2. Let k be g(2). Is k >= j?
False
Let q = 9979/21 + -475. Let j be (2 - ((-14)/(-6) + (-8)/24))/1. Which is smaller: q or j?
j
Let y = 375.3 + -372. Let w = 2 + -5. Let k = w + y. Which is smaller: 3 or k?
k
Suppose -7*c = -c - 12. Let w = -30 + 42. Suppose -3*m + w = 0, 0*p - 18 = -c*p - 3*m. Which is greater: 0 or p?
p
Suppose 4*w - 5 = 27. Suppose 0 = -4*v + 26 + 6. Is v <= w?
True
Let h(k) = 12*k**2 + 36*k + 6. Let y be h(-3). Do 11 and y have the same value?
False
Let i = -8 - -9. Suppose 7 = -4*z - i. Is z < -14/5?
False
Let b(h) = 3*h**2 - 3*h - 2. Let x be b(-1). Let f be ((-2)/x)/((-15)/6 + 2). Which is bigger: -2/51 or f?
f
Let s = 0.175 - -7.725. Let c = 8 - s. Let i(q) = -q**2 - q + 1. Let k be i(-1). Is k at least c?
True
Let i(y) = 5 + 3*y - 60*y**2 + 62*y**2 - 2. Let s be i(-3). Suppose s - 14 = -2*x. Does -2/23 = x?
False
Let w = -107 + 198. Let k be (0 + 8)*w/13. Is 57 at most as big as k?
False
Let z be (4 - 5)/((-1)/(-1 - -2)). Which is greater: z or -8/47?
z
Let o be -33*(1 + 16/(-12)). Is o at least 49/4?
False
Suppose -2*d + 6 = -t, 2*d = -4*t - 2*d. Let o be 0/(1*t) - 2. Suppose 0 = 3*a + 5*v, -2*a + 0*v - 4*v = 0. Is o greater than or equal to a?
False
Let j = -36 - -34. Let i be ((-115)/25 + 5)*(-5)/j. Is i less than 7/5?
True
Let j = -1/51 - -1004/51. Which is smaller: j or 20?
j
Suppose 0 = 2*y - 8*y. Suppose y = -0*i + i + 10. Let c be 3 + i/12*4. Is c bigger than 16?
False
Let w = -0.42 - 29.58. Let m = w - -29.96. Which is greater: m or 0.2?
0.2
Suppose 0 = -4*v + 89 - 93. Let q be (v + 210/9)*-3. Is q >= -67?
True
Let t = 3 - -7. Suppose -3*b + 3*a - 18 = 0, 5*a - 3*a - t = 0. Is b bigger than -12?
True
Suppose 4*m = 3*l + 64, 30*m - 32*m + 5*l + 18 = 0. Suppose 88 = 4*g + 4*w, 3*w = -2*g + 11 + 36. Is m bigger than g?
False
Let g(l) = 3*l**3 - l**2 - 5*l + 8. Let w be g(2). Is 56/3 greater than or equal to w?
True
Suppose -w - 19 = -22. Let m be w + 2*-16 + -1. Is -30 less than or equal to m?
True
Let d be (-198)/4*1 + 9/(-18). Which is greater: d or -48?
-48
Let c(r) = 104*r - 727. Let s be c(7). Let w be ((-2)/74)/((-21)/(-723)). Let p = -8/37 - w. Is s < p?
False
Let x(z) = 3*z**3 - z**2 - 2*z + 30. Let o be x(-4). Is -170 <= o?
True
Suppose -r - 79 = 46. Which is smaller: r or -126?
-126
Suppose 3*c + 1 = 5*a + 6, 0 = -2*c + 3*a + 4. Suppose -m = -c*m + 12. Is m > 4?
False
Let j(r) = 2*r**2 + 10*r + 5. Let f be j(-5). Suppose -9 = f*b - 24. Suppose -3*h = -10 + 1. Is h smaller than b?
False
Let w(b) = 2*b**2 + 15*b - 11. Let x be w(7). Are 188 and x equal?
False
Let c = -80.49 - -48.382. Let a = c - -0.108. Which is bigger: a or -2/9?
-2/9
Let a be 4/2 - (15/(-5) - -5). Suppose a = -12*p + 9*p + 12. Is 4 < p?
False
Let s = -21 - -16. Let k be 15*4/40*6. Let o = k - 12. Is o equal to s?
False
Let n = -59/15 + 4. Suppose 42*f - 88 = 38*f. Suppose -5*d + 27 = f. Which is bigger: d or n?
d
Suppose -51 = 11*w + 367. Is w greater than -33?
False
Suppose 3*b - 3*j - 6 = 0, j + 3*j - 16 = -2*b. Suppose -b*u = -3*o + 31, 0 = -0*o + 5*o - 2*u - 47. Let a be -2 + 2 + (9 - o). Which is smaller: a or -6/7?
-6/7
Let i = -481 + 494. Is -11 greater than or equal to i?
False
Suppose 92 = -4*w + h, 0 = -3*h - 0 - 12. Let k be ((-1)/2)/((-2)/w - 0). Let m = 1/312 - 10613/1560. Is k at most as big as m?
False
Suppose -8*d + 17723 = -45*d. Are -479 and d equal?
True
Let h = -2/1579 - -1957/298431. Is 0 >= h?
False
Suppose 161 = 4*k - 23. Let o = -19 + k. Suppose -3*p = -4*i + 3, -i - 4*i + o = 4*p. Which is greater: 5 or i?
5
Suppose 2*m + 6 = -2*t, t = -2*m + 3*m + 7. Let v = -25.7 + 54.6. Let n = v + -29. Is m less than n?
True
Let d = 1.6 - 2.5. Let o = d + -6.1. Let n = 432 + -431. Which is smaller: n or o?
o
Let n(a) = -6*a + 9. Let m be n(1). Let p be (-29)/(0 - (-2 + m)). Is 28 at most as big as p?
True
Let o be 3/2*(2/3 + 0). Let x be (2/(-6) - (9 + -9))*o. Which is bigger: 4 or x?
4
Let i be (-10570)/14056 + 4 + (-26)/8. Which is smaller: i or 0?
i
Suppose -4*g = 12, 2*k + 0*k = 4*g + 12. Suppose 0 = 20*n - 23*n + 3. Is k greater than n?
False
Suppose 2030 = -5*q - 5*l, 5*q - 13*l + 8*l = -2070. Are q and -411 equal?
False
Let g = 0.02 - -0.22. Let u = g + -7.24. Let z = 1/2 + -3/14. Is z at most u?
False
Suppose -2*d + 3*d + 1 = 3*f, 2*d - 5*f = -1. Let c be -5 + 1/1*-2. Is c not equal to d?
True
Let j = 5267 + -194843/37. Which is greater: 0 or j?
j
Let z = -81/50 + 28/25. Let l = -1.01 + -0.29. Is z less than or equal to l?
False
Let h be 337/(-3223) + (-140)/(-77) + -2. Let v = h - -4/293. Which is smaller: 0 or v?
v
Let y be (-245)/(-330) + 1 + (-10)/6. Let q = y + -1/6. Is -1 not equal to q?
True
Suppose 129*j = 1864 + 16067. Is 561/4 < j?
False
Let q = -442.7 - -433. Which is bigger: -1/4 or q?
-1/4
Let t be (-2952)/6*12/(-36). Which is greater: 490/3 or t?
t
Suppose -4*y - 2*m = -5*m + 9, 12 = -2*y + 4*m. Suppose b + 12 = 2*v + 3*b, 2*v - 2*b - 20 = 0. Let l be (1 + (-10)/v)/1. Which is greater: y or l?
y
Let t = 1.527 - 1.227. Is t greater than or equal to 42?
False
Let t = -0.79 - 3.195. Let c = 0.015 - t. Is c less than -0.07?
False
Let z(k) = -k**3 - 3*k**2 + 29*k - 3. Let l be z(4). Which is greater: 2/11 or l?
l
Let q = 5 + -15. Let w = -0.1 + -0.07. Let l = w - -0.17. Is q at least as big as l?
False
Suppose 0 = -3*a + 3*l + 279, 5*a - 216 = 3*a - 4*l. Let k = 687/7 - a. Which is smaller: k or -0.5?
-0.5
Let q = -225985 - -34349601/152. Let d = 3/19 + q. Which is bigger: d or -2?
d
Let x be (292/(-14))/(-3 + -87). Let h = x - 1/105. Is 1 >= h?
True
Let c(w) = w**2 - 7*w + 1. Let p be c(6). Suppose 41 = 16*y + 11 - 18. Which is greater: p or y?
y
Let f(c) = -2*c**2 + 20*c + 21. Let b be f(9). Which is smaller: b or 38?
38
Let k = -646/9 + 72. Is k <= -61/3?
False
Let n be 3/12*4/(-7). Let j = 9049/6 - 1514. Let v = j - -19/3. Which is bigger: n or v?
v
Let w(a) = a**3 + 4*a**2 - 14*a - 6. Let b be w(-6). Let q = -12 + b. Which is smaller: q or -10?
-10
Let r = -14 - -61/6. Are r and -4 equal?
False
Let d = 26.9 + -23.9. Is d smaller than 3?
False
Suppose 21*d = 25*d - 144. Let c = d - 37. Which is bigger: -5/6 or c?
-5/6
Let b(i) = -8*i**2 + 6*i + 1. Let z be b(1). Let l be z + 4 + 30/(-12). Which is greater: l or -9?
l
Let q be 1 - (300/151 - 1). Let h(m) = -6*m**2 + 8*m + 109. Let a be h(5). Which is greater: a or q?
q
Let r(z) = -3*z**3 + 