Let z = h + k. Which is smaller: 1 or z?
z
Let s be (6/(-8))/(-4 - (-6631)/(-152)). Which is greater: 0 or s?
s
Let u be 10/84 + 6/(-576)*-16. Let f be 1*6*14/(-4). Which is smaller: u or f?
f
Let a = 0.021 + 1.279. Let k = 1.14 - a. Do -0.1 and k have different values?
True
Suppose 5 = h + 2. Let g(n) = n + 5. Let l be g(0). Which is bigger: l or h?
l
Let q = -192 - -188. Let k = -2 + 2. Let a be (k - -2 - 0) + 0. Which is smaller: a or q?
q
Let b = -10.5 - -10.4. Which is smaller: -0.089 or b?
b
Suppose 0 = -44*u + 35 + 9. Suppose 4*k = -2*t + 10, k - 1 = 3*t + 5. Let f = 3 - k. Which is smaller: u or f?
f
Let b(c) = -c + 6 - 5 + 0 + 7. Let y be b(8). Which is bigger: 2/31 or y?
2/31
Let a = -333 + 340. Suppose 3*q + 0*q - 78 = 0. Suppose 0 = u - 2*i - 1 - 1, -3*u - 4*i = -q. Is a != u?
True
Let r = 30 - 21. Let z = 11 - r. Let l = 117/70 + -11/10. Is l equal to z?
False
Let f(p) = p**3 - 3*p**2 + 5*p - 2. Let u be f(3). Let n = 19923/5 - 3971. Are u and n equal?
False
Let t be ((-92)/(-16) - 6)*-4. Is -2/171 greater than t?
False
Let l be -7 + 14/(-38) - -5. Does -2 = l?
False
Let u = -223/10 - -41/2. Let c = -58.7 - -58.7. Which is bigger: u or c?
c
Suppose 5*j - 6*j = y + 88, 2*j + 5*y + 170 = 0. Is -87 < j?
False
Let f = -18.11 + 2.11. Let p = -0.1 - 0.1. Which is smaller: p or f?
f
Let y be (-7)/245*18/(-189). Is y at most as big as -1/2?
False
Let j be 30/45*(-9)/(-2). Suppose j*a = -2*a + 15. Suppose 0 = -a*m - 3. Which is greater: m or 17?
17
Suppose -19*v = 6*v - 100. Which is smaller: v or 38?
v
Let h = -2044 - -1373. Are h and -671 unequal?
False
Let i be (8/(-26148))/(-8 - 208/(-24)). Which is bigger: i or 1?
1
Let n = -2.9 - -3.8. Let k = n - 1. Which is smaller: -0.11 or k?
-0.11
Let d = -129209/3342 - 5/1114. Let b = -39 - d. Is -4 smaller than b?
True
Let y(m) = m**2 - 38*m + 110. Let z be y(39). Is z > 148?
True
Let x(t) = -t**3 + 5*t**2 + 6*t + 5. Let m be x(6). Let p be 10*2 - (6 - m). Which is smaller: p or 1?
1
Let t = 2.2 + -1.2. Let g = -204 - -203.99. Which is smaller: t or g?
g
Suppose 0 = 2*b - 4*b + 2. Let q be (-22)/(-3) - b/3. Suppose -3*o = -8*o + 30. Which is bigger: o or q?
q
Let a = 3684 - 3682. Let p = 16/21 + 4/7. Which is bigger: p or a?
a
Let w be 1/((-19)/36) - (34 + -36). Which is bigger: w or 0?
w
Let s be 87/45 + -2 + 0. Let b(q) = -6*q. Let z be b(1). Let l be (-1)/((-3 - z) + -2). Which is smaller: l or s?
l
Let y(x) = 4*x - 20. Let n be y(5). Which is greater: n or 3/221?
3/221
Let l be ((-287)/(-49) + -3)*(-7)/2. Is l less than 4?
True
Suppose -2*a - 115 = -7*a. Let m be a/184 + (-81)/8. Is m greater than or equal to -10?
True
Let a(z) = 2*z + 1. Let l be a(4). Suppose l = 13*x - 16*x. Let m(s) = -s**3 - 4*s**2 - 2*s. Let v be m(-3). Is v != x?
False
Suppose -35 = 5*s - 0*s. Suppose -55*h - 4 + 14 = 10. Which is bigger: s or h?
h
Let p = 1/200 - -393/1400. Let f = -18.7 - -22.7. Which is smaller: f or p?
p
Let b be (68/85)/(2/5). Let o be 15*(-6)/(-120)*b/66. Is o equal to -1?
False
Suppose -3*n = -15 - 15. Suppose -n*j = -4*j - 36. Which is bigger: j or 4?
j
Let p = -3 - 2. Let t = -2.4 - 8.6. Let k = -11 - t. Is k <= p?
False
Let f = -63 + 66. Suppose f*y - 5 = -4*r, y = -r + 2 - 1. Which is smaller: 2/15 or y?
y
Suppose -2*j = -7*j + 65. Suppose -5*m = -0*m. Let d be 11 + (3/1 - m). Which is bigger: j or d?
d
Let d = -520 - -538. Let v = -0.9 + 15.9. Let n = v - d. Which is smaller: -1 or n?
n
Suppose 2*b + 5*b + 1498 = 0. Let r be ((-2)/(-3))/((-2)/(12/b)). Let u(d) = d**3 - d. Let g be u(-1). Which is greater: r or g?
r
Suppose 0 = c - 1 - 1. Suppose 4*n - 35 = -p, p = -c*n - 3 + 18. Let i = 0.67 - 0.77. Which is greater: n or i?
n
Let a = 5.44 - 5.513. Which is smaller: 4 or a?
a
Let z(b) = 7*b**3 - b**2 - 4*b. Let o be z(2). Is o less than 41?
False
Let u be ((-1)/((-2)/50))/((-7)/35). Is -127 at most as big as u?
True
Suppose 115*o + 33 - 148 = 0. Are 3/103 and o equal?
False
Let d = 12 + -12. Let y = 254 + -233.05. Let i = y - -0.05. Which is greater: i or d?
i
Suppose -12 = -4*n + 4. Let f be 2 - 2038*n/(-32). Let j = -259 + f. Which is smaller: -3 or j?
-3
Suppose -2*f = 4*i - 2026, -421 = -5*i + 4*f + 2079. Which is bigger: i or 1?
i
Let r = 1.2 + 41.6. Let n = r + -42. Does 1/2 = n?
False
Let n be -1*((-1400)/77)/(-10). Which is greater: -1 or n?
-1
Suppose u + 7 = -0*u - 5*w, 0 = -4*u + 4*w + 20. Let s be 1/(-3) - (-26)/6. Suppose -11 - s = u*x. Which is greater: x or -6?
x
Let n be (-126)/(-8) - (-2)/8. Suppose -24 = n*j - 12*j. Which is smaller: j or -5?
j
Let i be (-2 - 4 - -2) + (-7116)/(-1794). Which is bigger: 0 or i?
0
Let u be 1 + (-285)/125 + (-3 - -4). Is u != 1/2?
True
Suppose 3*b = -3*m, -4 = -b + 2*m + 8. Let t be 170/45 + ((-125)/45 - -3). Does b = t?
True
Suppose -5*w + f = 30, -3*f = -0*f. Let g(c) = -2*c**2 - 12*c - 2. Let o be g(w). Which is bigger: -5 or o?
o
Let f(i) = -5*i - 1. Let a be f(-1). Let g be (-220)/(-6) - a/(-12). Which is smaller: g or 38?
g
Let a = -1425 - -1348. Which is bigger: -9 or a?
-9
Let c = -263 - -266.7. Is c > -8?
True
Let s = 39 - 121/3. Let y = 74/51 + s. Let b = -262 + 261. Is y less than or equal to b?
False
Let u(p) = -p**3 + 13*p**2 + 4*p - 11. Let h be u(13). Suppose h = 5*a + 3*y, -2*y + 5*y + 22 = 4*a. Is a at most 7?
True
Suppose -2*b - 1611 = 5*j - 148, -2*j + 6 = 0. Which is greater: b or -740?
b
Let d = 314 + -1572/5. Is d smaller than 239?
True
Suppose 60 = -4*g + 72. Is -7 equal to g?
False
Suppose -d - 2 = 0, 4*u + 20 = 3*d - 62. Is -25 != u?
True
Let b = 1150/7 + -164. Let a(p) = -p**3 - 7*p**2 - 10*p - 1. Let c be 15/(-2)*22/33. Let l be a(c). Is l <= b?
True
Let b be (-1032)/(-10)*((-208)/(-24) + 8). Are 1720 and b non-equal?
False
Let a = 81.31 - -29.64. Let m = 111 - a. Is m >= 1/7?
False
Let w = -179 + 101. Let m = w - -84. Which is smaller: m or 8?
m
Let y be ((-282)/40)/((-6)/(-4)) - -5. Which is smaller: -0.3 or y?
-0.3
Suppose 3*x - 4*a + 599 = 0, 189 = -x - 0*x + 4*a. Are x and 2 non-equal?
True
Let j be ((-63)/(-15))/((-243)/(-30)). Which is bigger: 0.1 or j?
j
Let h(r) = r**3 + 2*r**2 - 4*r - 8. Let g be h(-4). Let l be (-20)/g - (-2)/(-3). Which is bigger: 2 or l?
2
Let w = 294 - 2349/8. Let f = 1190 - 1190. Which is bigger: f or w?
w
Let i be 32/6 - 3/9. Suppose i + 0 = -5*r. Let j be ((-2 - -1) + 2)/r. Is j less than -2/7?
True
Let k = 685 - 684. Which is greater: 262 or k?
262
Suppose 0*z = -5*t - 5*z + 235, 0 = z + 3. Let o = -51 + t. Which is greater: o or -12/23?
-12/23
Let w = 171/4 - 1189/28. Let z = -1.1 - -5.1. Which is greater: z or w?
z
Let t(h) = -h**3 - 5*h**2 + 6. Let w(u) = -u**2 + 1. Let c(r) = t(r) - 6*w(r). Let d be -6*4/6 + 3. Let v be c(d). Which is smaller: 4 or v?
v
Let s = 267 + -138. Is 128 at least s?
False
Suppose -4*y = 3*m - 0*y + 128, 4*y - 112 = 3*m. Let n = m - -42. Which is greater: -2 or n?
n
Let x = 118.65 - 3.65. Which is smaller: -2/7 or x?
-2/7
Let f be (-24)/(-8)*(2/(-22) - 0). Let s = -7 + 7. Suppose s = 3*h + 5*v - 20, 5*h = v - 6 + 2. Which is bigger: h or f?
h
Let w be (0 - 639/156) + 8/(-52). Let q(d) = d - 3. Let f(p) = -p + 3. Let j(i) = -5*f(i) - 6*q(i). Let r be j(6). Are w and r equal?
False
Let n be 28 + -25 - 8/2. Which is smaller: n or -6/37?
n
Let q = 0.45 - 0.05. Let d(g) = -12*g - 63. Let x be d(-5). Is x > q?
False
Let h(w) = -w**3 - 12*w**2 - 11*w + 7. Let q be h(-11). Suppose -2*o - 3 = -q. Suppose -2*s - 8 = -i, -4 = -i + o*i. Is -6 at most s?
True
Let l = 7/25 + 113/400. Which is greater: l or 2?
2
Let t = -712 + 868. Which is greater: t or 2?
t
Let u = -7 - -9. Suppose -6*i - 12 = -u*i. Let z be i + 176/42 + -1. Is z != 0?
True
Let x(c) = -7*c - 89. Let i be x(-13). Do 7/5 and i have the same value?
False
Let p = -58 + 35. Is -26 <= p?
True
Suppose -3*a + 7*a = 8. Suppose -a*f - 4*d = 3*f + 127, -5*f + d - 112 = 0. Which is smaller: f or -22?
f
Let w = 1809 + -1809. Let p(a) = -a**2 + 3*a + 7. Let y be p(6). Let g be (-6)/(-9) + y/18. Which is smaller: g or w?
w
Suppose 0 = 3*y + u - 95, -3*u - 12 = 2*y - 73. Suppose 4*n + 3*x + 141 = 0, 4*n - 2*x = -0*x - 126. Let o = n + y. Is -2/27 at most as big as o?
False
Let a be ((-24)/(-28))/(2/84). Let l be (8/(-16))/(3/a). Let v be 142/5 + l/15. Is 28 >= v?
True
Suppose 5*k = -4*t - 5765, -2*k + k = 5