3*z + 3*u = -7 - 5. Suppose 10 = 3*h - 4*h - 5*f, 4*f + z = -2*h. Let i be 180/63 - (3 - (-1 + 1)). Which is bigger: i or h?
h
Let m be (76/16)/((-78)/8). Let x = 2/13 + m. Suppose -3*c + v - 14 = 0, -c + 6 + 0 = -3*v. Which is greater: c or x?
x
Let q = 451 - 451.1. Which is smaller: q or -458?
-458
Let n be 277/(-204) - 12/(-9). Is n greater than 0?
False
Suppose 5*g - 176 = -6*g. Let m be 3*(-2)/12*g. Are m and -46/5 unequal?
True
Suppose -6*g = 32 - 44. Suppose b + g = 5, -4*b + 26 = 2*r. Is r at least as big as 6?
True
Let q = 41754/23 - 994829/437. Let z = 461 + q. Let k = z - 58/171. Which is greater: 1 or k?
1
Let z = -53.6 + -4.4. Let h = z - -61. Let g = 1 - 0. Which is greater: h or g?
h
Let s = -0.21 - -0.91. Let o = -2.7 + s. Which is bigger: -3 or o?
o
Let s = -0.1176 + 0.0176. Which is smaller: s or -25?
-25
Let h(t) = -3*t - 16. Let d be h(-14). Let a = 51 - d. Suppose -18 = n + 3*y, -n - 5*y - a = 1. Is n at most as big as -2?
True
Let c be (-1 - (2 - -2))/(-1). Suppose 0 = c*l - 70 - 35. Which is greater: l or 20?
l
Let t be -3 + (0/(-1))/(-2). Let w = 1105 + -1106. Is t bigger than w?
False
Suppose -2*g + 4*i + 7 = -7*g, -4*g + i = -7. Suppose -18 = 3*c - 9. Let n be (-2)/(-8)*c/(-6). Which is greater: g or n?
g
Let g = 1211/5 + -9883/40. Which is greater: g or -4?
-4
Let r = -207 - -299. Is 90 greater than r?
False
Let h be 32/24*-3 + 4. Which is bigger: 1/46 or h?
1/46
Suppose z = 0, 3*z + 88 = 2*y + 2*y. Suppose -3*w - y = -4*i, -2*i + 9 = -3*w - 5. Suppose -4*l = 1 + 7. Does l = w?
True
Suppose 2*z = 5*z - 3*c - 3, 0 = -3*z - c + 11. Suppose 3*b = -z*b + 6. Is b smaller than 2?
True
Suppose 0 = 4*b + 5*l + 21, 0*b + 2*l + 8 = -2*b. Suppose n = 4*k - 16, -3*n - n - 9 = -5*k. Suppose 10 = n*q + 2*c, c = -q - c + 4. Which is greater: q or b?
q
Let t = -2905 - -4203. Which is greater: 1297 or t?
t
Let f(b) be the second derivative of b**5/20 - b**4/4 - 4*b**3/3 - 3*b**2 - 4*b. Let u be f(6). Let j be 12/u - 7/(-90). Which is bigger: -1 or j?
j
Let r = 278 + 130. Is r at most 407?
False
Let y = 0.23 + 83.77. Let v = -83 + y. Is v smaller than 34?
True
Suppose 5*q = 34 - 9. Let r be 7/(-1)*(3 - 1 - 3). Is q equal to r?
False
Let z be 10/20 - 2/164*37. Suppose -3*q - 5*t + 2 = -6, -4 = -4*t. Let v = q + -2. Is z less than v?
False
Suppose z + 5 = -4*d, 2*d + 0*z + 3 = -z. Are -1/4 and d nonequal?
True
Let f = 263 - 262. Is f at most -2/17?
False
Let h be 4/(-6) + 26/(-6). Let i = 3 + -1. Suppose 0 = -4*o + 2*u - i - 22, 0 = -4*o + u - 20. Are h and o equal?
False
Let b = -64535653/111 - -581398. Let l = b - -13/3. Suppose -4*y = 3*s - s, 0 = 5*y - 4*s. Do y and l have the same value?
False
Let l = -810 + 802. Is l bigger than -1?
False
Let n be 9/6*(-2)/(-1). Let d be 1 - ((3 - n) + -1). Suppose -5*j = d*h + 3 + 7, 5*j = -h - 10. Is -0.1 at most as big as j?
False
Let l = -933 - -937. Which is smaller: 86/21 or l?
l
Let c be ((-1104)/(-48))/(214/(-4)). Is 1 greater than or equal to c?
True
Let t(o) = 2*o - 7. Let h be t(5). Suppose 0 = -h*r + 3 + 3. Is 10/9 < r?
True
Let k = 42 - 44. Let w = 4.5 + -3. Which is bigger: k or w?
w
Let v = -503 + 506. Let k = 617/8 + -77. Is k at least as big as v?
False
Let k(z) be the third derivative of z**6/120 - 7*z**5/30 - 37*z**4/24 + 25*z**3/6 + 2*z**2 + z. Let l be k(16). Which is smaller: -0.2 or l?
l
Let d = -846 + 842. Which is smaller: d or -7?
-7
Let z(i) = -15*i**2. Let k(j) = -j - 7. Let u be k(-6). Let s be z(u). Let x be (30/(-75))/(1 + (-78)/80). Which is bigger: s or x?
s
Let w(q) = 2*q + 13. Let k be w(5). Suppose 5*p + t = -120, 103 = -3*p + t + k. Which is bigger: -26 or p?
p
Let g = -448/9 - -42533/855. Which is greater: g or -1?
g
Let o be (-2 + -4 + 9)/(6/8). Suppose 4*h + o*f = -0*f - 16, -3*h = -4*f - 2. Is -7/6 less than h?
False
Let g = 1613.907 - 1627.2. Let j = -0.967 + g. Let f = -0.26 - j. Which is greater: 1/2 or f?
f
Let k = -19.79 + 20. Let z = -0.11 + k. Suppose -5*i + i = 4. Which is smaller: z or i?
i
Let c be (-20)/64*(-9)/(-105). Is c less than -1?
False
Let v = 93/116 + -3/58. Suppose 0 = 4*a - 0*a - 4*c - 8, 3*a - 2*c - 5 = 0. Which is smaller: v or a?
v
Let x(s) = -32*s + 187. Let f be x(6). Suppose -4*g = 10 - 2. Which is smaller: f or g?
f
Suppose 4*d - 8 = -0*d. Let p(s) = -3*s + 3. Let j be p(d). Which is bigger: j or -12/7?
-12/7
Let y = 5 + -5.6. Let o = -2.6 - y. Suppose -5*v = -3*s + 6, -13 + 1 = 4*s. Which is smaller: v or o?
v
Let v = -0.9542 - 0.0458. Let a = -10.5 + 10. Is a at least as big as v?
True
Let w = 1012 + -1014.1. Which is bigger: 1/4 or w?
1/4
Let g = 2046 - 2055.59. Which is smaller: 0 or g?
g
Let s = -7.96 + -0.04. Let p = s - -12. Let a = -2 + 2.2. Is a <= p?
True
Let j = -0.09 - -3.09. Let r = 13.7 + -13. Let u = r + 2.3. Is u > j?
False
Let f be (-5 - -2) + (-90)/(-32). Let s = 19/6 - 155/48. Let b = s + f. Is b at most as big as 0?
True
Let q = 202 - 201.87. Let n = -3.1 - -3. Which is bigger: n or q?
q
Let x(y) = -y**3 - 8*y**2 + 12*y + 7. Let a be x(-9). Let u = a - -99/5. Is 1 equal to u?
False
Suppose 2*f = 0, -5*a + 5*f = f - 10. Let p = a + -2. Let c be 1 - 1/(3 - p). Do c and -5/4 have the same value?
False
Let y = 502397/6 + -83355. Let s = y - 377. Is s > 1?
False
Let q = -11771/510 - 1/51. Which is smaller: q or -22?
q
Let u = -10 - -14. Let d be 42/39 + 3 - u. Which is smaller: 0 or d?
0
Let l = 0 - -2. Suppose -l*f + 3*f - 2 = 0, 3*s = 4*f + 61. Is s greater than 24?
False
Let g be (-15)/(-33)*(-2)/2. Let y = 1 + -2. Which is bigger: g or y?
g
Suppose -4*i + r - 227 = 0, 0*i - 215 = 4*i + 3*r. Does i = -0.1?
False
Suppose -8*v - 72 = -6*v. Let w be ((-20)/(-3))/(v/(-54)). Is w > 10?
False
Let n = 250.7 + -236. Let j = n + 2.3. Let f = j + -17. Are 2 and f equal?
False
Suppose -2*b + 18 = -8. Let w be (-1016)/(-80) + 3/10. Is b greater than or equal to w?
True
Let w be 1/(11/3434) + (-20)/110. Which is smaller: w or 311?
311
Let a = -1 + 0. Let c = -207 - -201. Let f = a + c. Are f and -1/4 unequal?
True
Suppose -2*f - 4*u = -22, -3*f + 3*u + u - 17 = 0. Suppose 2*b = 1 + f. Which is smaller: 1/43 or b?
1/43
Suppose -t - 5*v - 36 = 0, 5*t + 4*v = -81 - 57. Let q = -48 - -47. Let i be (q - -2) + (3 - -1) + -32. Which is greater: t or i?
t
Suppose -6*p + 5 = -19. Let b be (-9)/(-27) + 2 + (-21)/(-9). Is p less than or equal to b?
True
Let g = -14 + 28. Let d be (-13)/((-21411)/36)*(-3)/g. Which is smaller: d or 1?
d
Let c be (-8)/(-520)*335 + -5. Let r = 0 - 0. Which is smaller: c or r?
r
Suppose 341*l + 329*l + 161 = 647*l. Suppose 3*c - 15 + 0 = 0, -c - 5 = v. Which is bigger: l or v?
l
Let u(j) = -3*j**2 - 2*j**2 + 4*j**2 - j - j**3 + 1. Let b be u(1). Let f be (-21 - -24)/(3/(-2)). Is f greater than b?
False
Suppose -2*w - 5*o = 71, -w - o - 63 = -4*o. Let u = -49 - w. Which is greater: u or 2?
2
Let o = 513 - 514. Is -1/995 <= o?
False
Let s(y) = 20*y - 3. Let u be s(6). Are 117 and u equal?
True
Suppose 0 = -17*s - 30 + 13. Are -66/29 and s unequal?
True
Let s be (-42)/(-70)*100/165. Are -35/3 and s unequal?
True
Let h be 4/14 + 192/(-84). Let d = -121/3 + 38. Is d equal to h?
False
Suppose -6 = -s - 5. Let j = -7237/3 - -2412. Is j <= s?
True
Suppose 0 = z - l - 4, 14*l - 10*l + 10 = z. Is z at most as big as 2?
True
Let p be (46 - 48)*4/50. Do 0 and p have different values?
True
Let o be -1 - ((-97)/49 + 14 + -13). Are 0 and o nonequal?
True
Let a(y) = 47*y - 3. Let h be a(-2). Is 1 >= h?
True
Let l(r) = -16*r**2 - 2*r - 7. Let b be l(-4). Let k be (42/(-49))/(2 + b/126). Is 37 less than or equal to k?
False
Let k be 15/(-28) - (-4)/14. Let q = 3.1 - 4. Which is bigger: k or q?
k
Let n(l) = -l**3 - 5*l**2 + 6*l + 6. Let t be n(-5). Let f be ((-102)/(-136))/(-1*(-2)/t). Let w be -11 + (-1 - (-2 - 0)). Is f less than w?
False
Let x = 261 - 260. Which is greater: 275 or x?
275
Let z = -118 + 72. Let x = z - -47. Let m(l) = -l - 3. Let r be m(-4). Are x and r non-equal?
False
Let b = -69.6 - -66.6. Is b greater than or equal to -9?
True
Suppose -i = -13 + 10. Suppose 4*z = -6 - 10, 5*j = -i*z - 2. Is 3/5 less than j?
True
Let l(b) = b**3 - 7*b**2 + 8*b + 10. Let r be l(5). Which is smaller: r or 1/99?
r
Let k = 41 - 41.4. Let s = -2.4 - k. Is -2.7 less than or equal to s?
True
Let g be (-4 - -1)*6/(-2). Let