Let m be (-2)/u - 1552/5628. Does m = -1?
False
Let z(n) = 192*n - 982. Let k be z(5). Which is bigger: -291/13 or k?
k
Let l = 2432 - 12162/5. Which is bigger: l or 240/43?
240/43
Let n be 50/14 + 15/35. Suppose 5*g = 2*m + 3 - 11, 3*m = -g + 12. Suppose -2*k = 3*k + 10, g = -n*x + 2*k - 4. Which is smaller: x or 3?
x
Let q be -1*(-3 + (-5)/(-2)). Let j = -241 - -115. Let t = j + 91. Is t at least as big as q?
False
Let x(s) = -18*s + 123. Let m be x(-4). Let i = -165 + m. Which is smaller: i or 151/5?
i
Let r(l) = l**2 - 2*l - 4. Let m be r(-1). Let t be (-142)/(-64) - 12/6. Is t at least m?
True
Let m = 167.862 + -168. Let f = -47.138 - m. Let o = -46.4 - f. Which is smaller: -4 or o?
-4
Let d be ((-8)/(-5) - 224/140)/1. Is d < -1/927?
False
Let g(z) = 2*z**3 + 18*z**2 + 12*z - 31. Let t be g(-8). Let h = t - 2. Is -6/37 greater than or equal to h?
True
Let b(k) = -4*k - 6. Let f be b(-3). Let l = 146 + -144. Which is bigger: f or l?
f
Let v be 0/(3/(6/4)). Let a be (-32)/(-6) + (1246/70 + -18)*30. Is v less than a?
False
Let i = 6.982 - 5.982. Which is greater: 19/92 or i?
i
Let s(c) = c**3 - 29*c**2 + 10*c + 6. Let h be s(27). Let g be 4/(-14) + 287994/245. Let r = g + h. Is -8 not equal to r?
True
Let u be 2/12 + 1117/(-552). Let g be (-410)/(-336) + (-36)/(-63). Let n = g + u. Which is smaller: n or -1?
-1
Let z be (-58)/(-7)*(-15 - (-867)/34). Is 2 <= z?
True
Let n be 1/(2/9) + 2. Suppose -q + 2*r = -17 + 15, -2*r + 46 = 5*q. Does q = n?
False
Let p be (2/27)/(79/9006). Which is greater: -1 or p?
p
Let z(o) = -o - 7. Let p = 36 - -16. Suppose -4*q - 2*i = 60, 5*q + 41 + p = 2*i. Let s be z(q). Which is bigger: s or 13?
13
Let h = -3576 + 3574. Which is smaller: 758 or h?
h
Let j = 4898 - 1479195/302. Let i be (-6)/6 - (-4)/4. Which is bigger: j or i?
j
Suppose -50*h + 9 = 4*s - 55*h, 4*s = h + 5. Is -1/1805 greater than s?
False
Let x(n) = -2*n**2 + 5*n + 5. Suppose 8 = 4*b, -b = -y - 2*b + 4. Suppose w + y*w = -3*q + 6, -3*q = 5*w. Let i be x(q). Which is bigger: i or -19?
-19
Let l be (4/(-16))/(-1) + 1494/8. Let m = 188 - l. Do 1/93 and m have the same value?
False
Suppose -6*v + v = -760. Suppose -3*n + 9*f - 217 = -604, -n + 185 = 4*f. Which is smaller: n or v?
v
Let i be (78/24)/(2/64). Suppose -b - i = 3*b. Let a be 3/2*b/(-39). Which is smaller: a or 2/97?
2/97
Let u = -1088 - -1074.01. Which is smaller: u or -1?
u
Suppose -2*d = -2*r - 254, 4*d - 5*r - 385 = d. Let l = 125 - d. Is l at least -1/172?
True
Let h be (253 - 252)/((-2)/(-78)). Which is bigger: 7/2 or h?
h
Suppose 14*p - 1504 = 17*p - 2*j, 5*p + j = -2485. Let u be 30 + -30 - 3/p. Is u smaller than 0?
False
Let t(w) = -4*w**2 + 267*w + 73. Let l be t(67). Let k = 12 + -17. Let f = 5 + k. Is f at most as big as l?
True
Let t = 897 + -1134. Which is greater: -239 or t?
t
Let l = -325/12 + 89/4. Let r = -2 + -2. Which is bigger: l or r?
r
Suppose 25*b = 17671 + 17379. Which is smaller: 5/4 or b?
5/4
Let b = 121 - 182. Let m = -1793 + 1744. Let i = m - b. Is i less than or equal to 1/3?
False
Suppose 3*b - 5*x - 60 = 8*b, -2*b - 4 = -2*x. Let a be (6/8)/(((-7)/(-4))/b). Which is smaller: a or 43?
a
Let w be ((-3861)/(-216) - 18)/(1/2). Which is smaller: -1/1583 or w?
w
Suppose 2*j + 62 = 68. Let r be 45/(-75)*j/(45/(-2)). Are -3 and r equal?
False
Suppose 96 = r + 4*z, -4*z = -r + 7 + 81. Suppose -56*x = -47*x + 2*g - 836, -4*x = -4*g - 352. Are r and x unequal?
False
Let x be ((-2878)/(-8))/((-7)/4). Let y = 206 + x. Let c be (-1)/(2*8/(-64)). Are y and c non-equal?
True
Let s = -3059 - -446619/146. Is 0 at least s?
False
Let t = 208 + -141. Let n(i) = -9*i + 14. Let c be n(-6). Is c equal to t?
False
Suppose 4 = -4*p, 3*p = 4*f + f - 813. Let r be (-46)/(-161) + f/(-469). Which is bigger: -1 or r?
r
Let x be (-475 - -486)*(-22)/(-2). Is 123 at most x?
False
Suppose -31 = -4*i + 2*v - 7*v, 0 = 2*i - 5*v - 53. Suppose 0 = i*c - 23 + 9. Let x be c + (-7)/5 + (-833)/680. Which is bigger: x or -3?
x
Let n be (2/(-6))/(-13 + (-9821)/(-756)). Let k be 370/n*100/(-125). Is k less than -8?
True
Let s = 14528 + -14751.8. Is s at most -2?
True
Let n = -4477.9754 + 4478. Is n less than or equal to -0.06?
False
Let i be 3 + 2 - ((-8)/20 - (-1640)/100). Let h(u) = u**3 - 6*u**2 + 2*u + 5. Suppose -4*y + 12 = w + w, 0 = 2*y - 5*w - 30. Let c be h(y). Are c and i equal?
False
Let d be (105*3)/(-7) + -1. Let m be -3 - 1/14*d. Which is greater: m or -4?
m
Let d be 5/(-21)*(-4)/(-30). Suppose -2*h - 4*m = -h - 72, -84 = -h - m. Suppose -9*l - 88 + h = 0. Which is greater: d or l?
l
Let l = -27589 - -27588. Are l and 93.3 non-equal?
True
Let c = 791/2 + -12651/32. Suppose -2*x - 6 = -4. Is c not equal to x?
True
Let g be 668/(-304) - (-4356)/1936. Let m be 2/(-9) + (-4)/(-18). Is m <= g?
True
Let y = 655 + -655.2. Is -1/1299 bigger than y?
True
Let l(j) = 2*j**3 - 8*j**2 + 6*j + 1. Let w be l(5). Suppose 167*z = 223*z - 4480. Are w and z non-equal?
True
Let y = -52 + 54. Suppose m + 2*m - 18 = y*n, -5*m = 4*n - 8. Let u = 14 + n. Is 11 at least u?
True
Let x be -33*(32/6)/4. Suppose 0 = -0*a - 3*a - 3*g - 147, 5*a = 4*g - 209. Which is bigger: x or a?
x
Let u be (-18)/72*-4 - -3122. Is 3121 > u?
False
Let p = -299 + 297. Suppose 3*i = 5*i + 4. Let d be ((-6)/(-2))/(i - 2). Which is smaller: d or p?
p
Let a be 3 - (-1 - 37856/25). Let k = 1518 - a. Let s = -222 - -223. Is k <= s?
True
Suppose -4*d - 10*d = -2520. Let i = d - 901/5. Let z = 9 - 0. Is z not equal to i?
True
Let u(s) = 3*s**2 - 29*s + 40. Let o be u(8). Let m be (o + -6 + 5)/(-1 + -290). Is -1 less than or equal to m?
True
Suppose 4*c = -b + 7 + 36, 5*b - 171 = 2*c. Let y be ((-19)/7)/(1/5*(-4580)/12824). Which is smaller: y or b?
b
Let i be (1 - 0) + (-6 - -6). Let a(g) = 9*g**2 + 23*g - 23. Let s be a(i). Is s at least as big as 9?
True
Let d = 168 - 166. Let l be 86/(-112) - (d + 85/(-40)). Is -1 >= l?
False
Let l = -14530 + 13812. Which is greater: -728 or l?
l
Let k = -11022.3759 - -11022. Is -1 > k?
False
Let f be 2/15*(-24 - (-4 + -12449))*5. Is f at least 8286?
True
Let k(s) = 7*s - 11. Let m(g) = g + 1. Let r(b) = -k(b) + m(b). Let u = 120 + -117. Let a be r(u). Which is smaller: -8 or a?
-8
Let c = 457003/26 - 17583. Is c at least -6?
True
Let t = 727 - 2182/3. Let c = 6387/4 + -1585. Are t and c equal?
False
Let m(z) = -29*z**2 + 6*z + 3. Let h(a) = 59*a**2 - 12*a - 7. Let v(g) = 6*h(g) + 13*m(g). Let n be v(3). Let q be (4*4/n)/((-3)/32). Which is greater: q or 2?
2
Let o be 6/15 + 16/10. Suppose 0*p + o*p = 2. Let a be p/(-2) - 55/(-114). Which is bigger: a or 1?
1
Let q = -70 + 7. Let g = q - -119. Let v be (-8)/(g/(-161)) + (0 - 2). Which is bigger: v or 1/3?
v
Let n = 14859.2 + -14895. Which is smaller: 0.9 or n?
n
Suppose -p + 2*q = -6, 7*p = 2*p - 4*q - 40. Let f be (-3)/p + (-15)/30. Let z = -17.03 + 17. Which is greater: f or z?
f
Suppose 1 - 8 = 5*g - 2. Which is smaller: 35/89 or g?
g
Suppose -408*b - 1137844 - 410108 = 0. Is b at least -3798?
True
Let y = 11067/10070 - -1/1007. Let i be (2*4/6)/((-650)/195). Is i equal to y?
False
Let i(j) = -6*j**2 - 227*j + 2388. Let p be i(10). Which is greater: p or -464?
-464
Suppose -2*f - 1586 = 3*o, -2*f - 1313 - 1325 = 5*o. Is o greater than -526?
False
Suppose 0 = 3*m + 3*h - 12, -4*m + 17 = m + 2*h. Let i be 2581/87 - 2/m. Is i > 29?
False
Let f = 2172 + -2252. Which is smaller: -35 or f?
f
Suppose 100 = 6*u - 4*u. Let j = 74 - u. Suppose 20*n = j*n + 156. Is -40 less than n?
True
Let n = -6 - -18. Suppose -n*f + 13*f = -33. Let c be 42/2*11/f. Is c greater than -7?
False
Let g = -71 + 109. Suppose 3*n + g = 62. Let z be (0 + -1)/(n + 1 + -8). Which is smaller: z or 2/27?
z
Let l(p) be the second derivative of p**4/6 + 10*p**3/3 + 85*p**2/2 - 85*p. Let x be l(-6). Is x not equal to 37?
False
Let d = -134/290227 + -18439542697/64430394. Let x = d - -1723/6. Let i = x - 694/333. Is 0.1 <= i?
False
Let p = -87281/48690 + 161/90. Is -24 < p?
True
Let s be 6/(-142)*(-55)/4290. Is -1 > s?
False
Let t = -161.118 + 161. Which is smaller: 1/25 or t?
t
Suppose 3*v = 3*c + 6, -5*v + 9 = 511*c - 515*c. Which is smaller: -23/706 or v?
-23/706
Let o = 88 - 91. Let r = -1.02 - -37.02. Let x = -36.04 + r. Is o less than or equal to x?
True
Let a = -3257 + 3159. Which i