qual to 17?
False
Let q = -98/1115 - -1882212/21440335. Let o = -77366/4326525 - q. Is -1 < o?
True
Suppose 18*z = -331 - 281. Let c = -37 + 1. Let h = z - c. Is 15/11 less than h?
True
Let a = 193 - 1735/9. Let s = 7.13 - 7.8. Let g = s + 0.56. Is a at most as big as g?
False
Let s = -0.006 + -19.994. Suppose -208*z + w + 7 = -213*z, -2*z - w - 10 = 0. Is s at least as big as z?
False
Let d(b) = 3*b**2 - 76*b + 2. Let o be d(32). Which is greater: 2571/4 or o?
2571/4
Let a = 29816 + -29861. Let s be (-2 - 0)/(4/86). Which is greater: a or s?
s
Let r(c) = -c**3 - c + 6. Let m be r(0). Let s be -1 - ((-1 - m) + 0). Let b = -50461 - -252307/5. Which is smaller: b or s?
b
Let k be (-78607)/33 - (-4)/(-12). Let h = -6507 - -4123. Let u = h - k. Which is smaller: u or -3?
-3
Let a = -379 - -535. Let u = 156 - a. Are u and 87 non-equal?
True
Suppose 79 = -3*w - 101. Let x be w*(-35)/(-14)*(-6)/(-20). Let y = x + 44. Do y and 1/26 have the same value?
False
Let n = 75 - 75. Suppose 0*g = g + 2, 3*j - 2*g - 28 = n. Is j less than or equal to 53/6?
True
Let z = -0.464 - -0.564. Which is smaller: z or 0.018?
0.018
Let r = 814 - 810. Suppose 0 = 74*o - 72*o + 2*z + 532, 5*o + 1294 = r*z. Which is smaller: o or -263?
-263
Let c = -58 + 60. Suppose -5*m + 29 = -2*r, -c*m = -4*r - 6*m - 128. Let b be (2/24)/(2*3/r). Is b >= -3?
True
Let h(i) = i**2 + 3*i - 4. Let l be h(-3). Let t(p) = 3*p + 12. Let u be t(l). Suppose -8*x + 3*x + 5 = u. Which is smaller: -3/8 or x?
-3/8
Let x = -625 - -680. Suppose 5*g - 2*f - 265 = 0, 4*g - 5*f = 2*g + 85. Are x and g unequal?
False
Suppose 0 = 2*k + 19*s - 17*s - 7842, -4*k = s - 15678. Which is smaller: k or 3921?
k
Let q be 25*(66/(-70) + -4*(-3)/84). Which is smaller: 16 or q?
q
Let f = -2691 + 2386. Which is greater: f or -303?
-303
Suppose 200*j - 2972 = 628. Which is greater: 720/37 or j?
720/37
Let c = 347 - 350. Let h = 0.1 - 0.2. Let b = 0.07 + h. Is c equal to b?
False
Let h = -643.928 - 0.072. Which is greater: h or 2/7?
2/7
Let f = 1006 + -1006. Is f < 21/139?
True
Suppose 3*n - 76 = -5*g, 2*n + 0*n + g - 46 = 0. Suppose 5*f + 228 = 23. Let u = n + f. Is -19 greater than or equal to u?
True
Suppose -5*v - 5*n + 41 = -59, -76 = -5*v + n. Let a = 171.917 + -172. Let t = 0.383 + a. Which is greater: t or v?
v
Let f = -325 - -106. Let w = -463 - f. Let g = w + 2194/9. Do g and 3 have different values?
True
Let t(p) = -p**2 + 10*p - 31. Let a be t(10). Which is smaller: a or -63/2?
-63/2
Suppose 0 = 10*y - 54 - 26. Let b be 2 - 1 - (y + -4). Let f be b - (-19 - (0 + -4)). Does 12 = f?
True
Let g be 72/(-76)*(-6)/(-9). Let m = 74/57 + g. Let r be (-2)/4 - 36/(-48). Are r and m equal?
False
Let v be 7576494/268*((-8)/(-3))/4. Is 18847 equal to v?
True
Suppose -3*k + 23*t = 27*t - 92, -2*k + 53 = t. Let p be (2/((-16)/k))/(3/213). Are p and -2/7 non-equal?
True
Let m(l) = 9*l**2 + 96*l - 812. Let n be m(11). Which is smaller: n or 1336?
n
Let w be (-2112)/5 - ((-32)/(-40))/(-2). Let t = w - -421. Is -16/11 equal to t?
False
Let z(b) = -b + 5. Let n be z(-5). Let k be -8 - 21/((-63)/30). Suppose 0 = -5*c - n, k*v - 3*c = 8 - 22. Is -8 greater than or equal to v?
True
Let k be ((-1 - 2) + (-110)/(-40))*(19 - 18). Which is smaller: k or -96/43?
-96/43
Let j = 3.253 + -105.253. Which is bigger: 1/11 or j?
1/11
Let z = -37530 + 37447. Which is smaller: -5 or z?
z
Let z(x) = 10*x**3 - 4*x**2 + 9*x + 9. Let u be z(-1). Suppose 2*t = 3*d - 42, 4*d - t - t = 56. Which is greater: d or u?
d
Let m be 0 - 7 - (3 + 7814). Let k = 2824466/361 + m. Is k at most as big as 0?
False
Let a(l) = -9*l - 1. Let s be a(-2). Let b be (-12)/(-9)*(-2 + 5) - s. Which is greater: b or -11?
-11
Let p = 9786 + -29356/3. Which is smaller: -403 or p?
-403
Let t = -4356.5 + 4357. Do t and -33.1 have the same value?
False
Let g = 9.988 - -0.012. Let b = 114.07 - 114. Is g bigger than b?
True
Let n(b) = 3*b - 1. Let v be n(-5). Suppose 320*q + 153*q + 4992 = 57*q. Which is bigger: q or v?
q
Suppose -14 = -5*f + 1, 0 = 3*d - 4*f. Suppose 0 = 8*q - d*q - 3*h + 74, -48 = 2*q + 4*h. Let l = q - -25. Which is bigger: 0 or l?
l
Suppose 11*s - 3263 = 8298. Let b = s + -384. Let n = b - 24681/37. Which is smaller: n or 1?
n
Suppose d + 15 = 2*h - 4*d, -2*h - 5*d + 45 = 0. Let p(m) = -m**2 + 16*m - 18. Let i be p(h). Let w be (-1)/i*5 - 2. Which is greater: -15 or w?
w
Suppose -3*q + 6*q = -51. Let x(u) = -15*u + 62. Let g be x(3). Let p = g + q. Which is smaller: p or -1/85?
-1/85
Suppose -4*t + 44 = -4*p, 3*p - 2*p = -1. Suppose -5*f - 75 = -t*f. Let d be (-3)/f - (-186)/180. Which is greater: 0 or d?
d
Suppose -2200 = -5*q - 4*b + 6*b, 0 = -q + b + 440. Suppose 380 = 2*n + q. Are -27 and n non-equal?
True
Suppose -6*c = -9*c - 810. Let l be c/(-225)*25/3. Is l less than 0?
False
Let p = 0.24 + -0.14. Let b = 6.96 + -35.96. Which is smaller: p or b?
b
Let b = 1159496.9 + -1159497. Let a = 0 - 5. Let f = a + -20. Are f and b equal?
False
Let b = 540581 + -5953481/11. Is -645 at most as big as b?
True
Let y = 1728 + 275. Is 2003 > y?
False
Let l = 12/89 - 1013/6853. Suppose -2*m + 9 = 3. Suppose -m*f = -f. Is l equal to f?
False
Let x = -75769/41 - -1848. Is -2/11 at least as big as x?
False
Suppose -24*j + 26*j + 4 = 0. Let b(f) = f**3 + 2*f**2 - f - 4. Let l be b(j). Let y be ((-7)/l)/(-3 - (-183)/72). Is y less than -7?
True
Suppose -3*o + 19 = -5. Let n be 4 + (-58)/o - 0. Which is smaller: -4 or n?
-4
Let v = -4778 + 33444/7. Suppose 0*n - 215 = 5*n. Is n at least v?
False
Suppose 0 = 3*v + y - 89, 101 = 3*v - 4*y + 37. Let p(c) = -c**3 - 11*c**2 + 13*c + 15. Let q be p(-12). Is v < q?
False
Let r(g) = -g**3 + 3*g**2 - 5*g + 5. Let x be r(3). Let s be ((-55)/x + -3)*(-4 - -22). Is 45 >= s?
True
Let r(p) = -p**3 - 10*p**2 - 6*p + 24. Suppose 40*h + 90 = 25*h. Let g be r(h). Is g bigger than -85?
True
Let l be (1 - 143/(-33))/(2/27) - 7. Let j = 141 + -205. Let c = j + l. Which is smaller: -4/57 or c?
-4/57
Suppose 0 = -9*j + 1 - 28. Let m be 91/j - -1 - 18/(-54). Let n = -32 - m. Is -2 >= n?
True
Let u = -88 - -93. Let h be -2*(75/10 - u). Let t be 1*h - 267/15. Is -22 <= t?
False
Suppose -2*d + 3*s + 76 = 2*d, 2*d + 2*s - 52 = 0. Let h be 106/d + (-42)/(-231). Let r be (-1)/1 - (h - 11 - 9). Are r and 15 unequal?
True
Let f = 70 + -50. Suppose 4*t + 24 = 16*t. Suppose -t*l + 63 = 3*j, -j + 0*l + 21 = 5*l. Is f less than j?
True
Let r = 3351/350 + 57/50. Suppose -22*c + 50 = -17*c + 5*g, 0 = -3*c + 3*g + 42. Is r at least c?
False
Let c = 25 - 18. Is c equal to 15?
False
Let v = -183.45 - 719.55. Which is greater: v or 0.1?
0.1
Let z(t) = t**2 - 10635*t + 63770. Let m be z(6). Suppose w - 214 = -3*y, 5*y - 3*y = -5*w + 121. Which is smaller: y or m?
m
Suppose 4*i = -5*n - 0 + 20, -3*n - 5*i + 25 = 0. Let s be n - 4 - (-1 + -39). Let t be s/123*((-35)/10 + 3). Which is smaller: -1 or t?
-1
Let v = 3585.8 - 3256. Let r = -329 + v. Let f = -0.02 + 0.42. Which is smaller: f or r?
f
Suppose 89*b - 2567 = -61*b + 133*b. Is b > 762/5?
False
Let d = -2 - 6. Let a(t) = -84*t**2 - t + 2. Let i be a(2). Let l be ((-132)/i)/((-1)/d). Which is smaller: 4 or l?
l
Let c = -676 - -675.819. Which is greater: -1 or c?
c
Let q(r) = -r**2 - 8*r + 27. Let n be q(-10). Suppose 2*o - 3 = s, 3*o - n*o = 3*s - 1. Let w = -159 - -2707/17. Is s smaller than w?
True
Suppose -3*f + 4*f - 7 = 3*v, 5*f - 17 = -3*v. Let b = 4/245891997 + -209144175725113/47457155421. Let p = b + 4407. Is v at least p?
False
Suppose -u + 5*u + 5*d + 11 = 0, 2*d - 10 = 0. Let h = u - -10. Let m be (0 - h)/(10/4). Is -9 at most m?
True
Let a = -85 + 85.445. Let k = a + 0.005. Let t = k + -0.75. Is -0.3 >= t?
True
Let b be (-5)/(103725/20)*(-51)/(-272). Is 0 at least b?
True
Suppose 38*s = -v + 43*s - 4, 0 = 5*v - 4*s - 85. Let y be -7*(-3)/v*-18. Are y and -11 unequal?
True
Let x(j) = j**3 + 5*j**2 + 4*j + 7. Suppose 0 = 12*n + 19 + 17. Let f be x(n). Which is bigger: f or 9?
f
Suppose 571 = 3*t + 4*j, -t - 3*t + 736 = -j. Is t > 178?
True
Let a = -0.106 + -59.894. Let h = 50 + a. Let v = 8.7 + h. Which is greater: v or -4?
v
Suppose -j + 30 = 19*k - 14*k, -4*k + 24 = 0. Is j greater than or equal to -1/1459?
True
Suppose -11*k - 271 = 81. Let r = k + 35. Which is smaller: r or 1?
1
Let x(n) = n**3 - 1