4*q = 0. Which is smaller: q or -1/845?
-1/845
Let t = 373 - 390. Let n be (2 - (-52)/t) + 38/(-19). Is n > -3?
False
Suppose -251 = o - 4*o - 5*m, 0 = -o - 5*m + 67. Let l = o - 830/9. Which is smaller: 2/11 or l?
l
Let x be 411/18 + -22 + 28214/(-33852). Is x greater than or equal to 1?
False
Let r = -1807 + 1866. Do r and 7 have different values?
True
Suppose 0 = k - 4*k, k = x - 1. Let g = -47081/247 + -94/13. Let f = 198 + g. Is x > f?
True
Let x = -2244 + 2638. Is -8 >= x?
False
Let n(i) = -i**3 - 14*i**2 + i + 12. Let p be n(-14). Let g = -0.13 - 7.54. Let s = g + 7.7. Which is bigger: p or s?
s
Suppose -g + 5*w + 28 = 0, 2007*w - 2011*w = 4*g + 32. Is g >= -183?
True
Suppose 0 = -2*c - 10*c - 48. Let y(p) = p**2 + 6*p - 6. Let t be y(c). Which is bigger: -89/6 or t?
t
Let k be (-711)/((-42)/14) - 5. Which is smaller: 1166/5 or k?
k
Suppose -5*p + m = 2510, 4*m = -0*m - 20. Let b = -2527/5 - p. Which is smaller: -1/4 or b?
b
Let o = 11928 - 8010. Is o < 1/3?
False
Suppose 66 - 8 = -2*o. Let f = -6378 + 6346. Which is smaller: o or f?
f
Let q be -18 - (78312/30)/26. Which is smaller: -117 or q?
q
Let s be 2017/(-3)*(-171)/(-1254). Let j = 183/2 + s. Which is smaller: -3.3 or j?
-3.3
Let c be (-13909)/(-119) - (-8)/68. Suppose -5*n + 2*v + 213 = -84, 2*n - c = -v. Are n and 60 unequal?
True
Let q = 263 - 259. Let s = 25 - 26. Which is greater: q or s?
q
Suppose 196*a = -284*a + 427*a. Which is greater: a or 1/42916?
1/42916
Let s = 2.546 + -2.537. Which is bigger: -6 or s?
s
Let h(f) = f**3 + 25*f**2 - 27*f - 27. Let k be h(-26). Do -1/40 and k have different values?
True
Suppose 2 = 2*s - 5*q - 0, 4*q - 4 = -4*s. Let w be 54/63 - ((-14788)/4732 + 4). Let d = w + 811/7605. Which is greater: d or s?
s
Let h = -294 + 464. Let f = 199.1 - h. Let p = f - 29. Which is smaller: 17 or p?
p
Let v = -22 + 23. Suppose 4*o - 17 = -v. Let n = -407 + 415. Is o at least n?
False
Let t = -51105 - -51099. Let v = -9 - -4. Is t at most v?
True
Suppose -5*k - 72 = -8*k. Let n be (k/(-20))/((-2)/5). Suppose l - 70 = 4*j + j, j - n*l + 14 = 0. Which is greater: -17 or j?
j
Let y = -38414 - -14459. Is y < -23956?
False
Let t = 74.416 + -0.616. Let l = -198 - -124. Let s = t + l. Is -0.09 != s?
True
Let r = -11561.036 - -11676. Let p = r + -115. Let d = 0.036 + p. Is -80 at least d?
False
Suppose 0 = -5*g - 9 + 19. Suppose -4*k + g - 6 = 0. Let m be -3 + (80/35 - -1). Which is bigger: k or m?
m
Let q be (-8837)/1767 - 70/(-126)*9. Is q at least -1?
True
Let p = -12540 - -12907. Is p equal to -0.6?
False
Let n be 4/14*70/150. Let j = -18746/5 + 3749. Which is bigger: n or j?
n
Let o be 1 + 18 + (-42)/14. Let z = -11 + o. Let l be 2/(-2) + (z + -5)/5. Is l greater than -4/33?
False
Let z(c) = 7*c + 16. Let j be z(6). Suppose 54*h = j*h + 260. Which is greater: -62 or h?
-62
Let a = -406/1207 + 3/71. Suppose 31 = -15*x + 4*y, -2*x - 2*y + 68 = 62. Does x = a?
False
Let o(w) = -6*w - 40. Let g be o(-7). Suppose -5*h + 239 = x, 13 = -g*x + 11. Which is smaller: h or 142/3?
142/3
Let n be (162/(-36))/(21/(-48)). Let p = -202/21 + n. Let y = 2 + -1. Do p and y have the same value?
False
Let w = -1429 + 1393. Is 22 at least w?
True
Suppose -564 = -17*g + 13*g - 6*w, 5*w + 167 = g. Let b = -204 + 353. Which is greater: g or b?
b
Let p be 2 + -32 + 1 + 2. Let a(b) = b - 8. Let h be a(4). Let k be (-777)/p - h/18. Is k greater than 30?
False
Let j = -5.084 + -0.916. Let i = -5.33 + 0.33. Is i > j?
True
Suppose -4*a + 3*y = 54, -78 + 1 = 5*a + y. Let f = -76 - -63. Is f smaller than a?
False
Suppose 4*a + 417*w - 414*w + 20 = 0, 5*w + 30 = -5*a. Is -64/19 >= a?
False
Let d = -95363368 + 6007730912/63. Let w = d + 2560. Which is bigger: w or 0?
w
Suppose 4*c = -8, 7*y - 4*y - 289 = 5*c. Let w = 95 - y. Suppose 7*o = 3*o + 16, -w*p = -2*o - 140. Which is smaller: p or 73?
73
Let x = -42 - -41.2. Let c = x - -1.045. Let a = -0.065 - c. Which is greater: a or 1?
1
Suppose -78*n = -5734 - 5576. Suppose 3*p - 236 = 19. Let h = p - n. Which is smaller: -61 or h?
-61
Let y be ((-4)/6)/((-44)/99)*(-3)/(-9). Let k = -82594/89 - -928. Which is smaller: k or y?
k
Suppose 10*s + 14*s + 8820 + 7260 = 0. Is 32 less than s?
False
Suppose 3*a - 10 = 5*x, 62*a - 59*a - 12 = 3*x. Let n be ((-4)/56)/(110/(-14) + a). Which is smaller: n or 3/2?
n
Let k(n) = -17*n**2 + 13*n - 49. Let s be k(5). Let f = s - -2865/7. Is -2/5 bigger than f?
False
Suppose -9*i + 2264 = 2273. Which is greater: -45/929 or i?
-45/929
Suppose 0 = 2*l + 389 + 105. Let g(y) = -137*y - 1343. Let a be g(-8). Is a less than or equal to l?
True
Let u = -1450/3403 - -5/83. Let w = -5 + 6. Are u and w equal?
False
Let z = -114359377 + 42313051443/370. Let x = 443/2 - z. Is x >= -1?
True
Let p = -2133.1028 + 1.2028. Let q = p - -2030. Let r = q - -102. Is 0.1 at most r?
True
Let x(w) be the second derivative of -w**4/12 + w**3 - 13*w**2 + 35*w. Let f be x(13). Let i = 84 + f. Is -34 at most i?
True
Let a(z) = 1 + 6*z - 9 - 1. Let g be a(2). Let t be g/(-7)*(44/12 - 3). Which is bigger: 2/13 or t?
2/13
Suppose -6*g + 253 = 1495. Suppose 7*o - 443 = -1878. Is o bigger than g?
True
Suppose 30*m = 34*m - 3*h + 24, 32 = 4*h. Which is smaller: m or -1/12796?
-1/12796
Let p = 7075 + -7074. Is 17699 at least as big as p?
True
Let n(r) = -133*r - 19. Let u be n(-13). Suppose u = -14*p + 5*p. Let c be p/25 - 3/(-15). Is c at least -8?
True
Let m be -1 + -1 - (-170)/82. Let x = 31794 - 31794.3. Is m bigger than x?
True
Let x(b) = b**3 + 31*b**2 + 23*b + 6. Let i(j) = 2*j**3 + 94*j**2 + 69*j + 17. Let m(k) = 3*i(k) - 8*x(k). Let z be m(18). Is z greater than or equal to -229?
False
Let x be (12/132714)/(((-10)/(-18))/(35/42)). Is x not equal to 0?
True
Let h be (-199)/(-8) + (-2)/(-16). Suppose -2*k + 38 = 5*m, -4*k = 4*m - 15 - h. Let x be (-10)/m - (-4)/(-12). Is -2 at least as big as x?
True
Suppose 9 = -5*r + 2*r. Let z = 212 - 118. Suppose -g - 97 = -z. Is r at least g?
True
Let m be (-4 + 15)/(-55) - (3743/(-180))/19. Which is smaller: m or 0?
0
Suppose -2*z - 80 = -2*k, 5*z - 10*z = -k + 196. Let x = 37 + z. Let p be x/(-17) - (-446)/(-34). Is -13 greater than p?
False
Let t be 3/(-6) - (-1046)/4. Let m be (-42)/(-3) + (-205)/41 + 28*9. Is m greater than t?
False
Let t = 7 - 8. Let q = 8 - 0. Let w be 4 + 2316/(-616) + q/(-28). Which is smaller: t or w?
t
Let c = 397 + -729. Let w be ((-36)/6)/(c/(-3 + -1)). Is 0 >= w?
True
Let s be ((-10490)/(-5))/(32 - 25). Which is bigger: 0 or s?
s
Suppose 64*u - 5454 = 70*u. Which is bigger: u or 1?
1
Suppose -3*n + 5*o - 10*o + 104 = 0, 3*o - 68 = -2*n. Let u be n/20*(-6)/(-63). Let t = -15.7 - -16. Which is greater: t or u?
t
Let v = -214 + 219. Let x be v*(2 + -3)*2/35. Which is greater: 108 or x?
108
Let y = -36 - -15. Let g = -115903 + 115887. Which is smaller: y or g?
y
Let y(c) = 2*c**2 - 32*c - 17. Let t be y(17). Suppose -6 = -t*l + 11*l. Is -0.4 >= l?
False
Let b = 0.0459 + 7.9141. Let i = b - 7.96. Is i less than or equal to -785?
False
Let b = 0.0846 - -118.2154. Let m = -129 + b. Let x = m + 10.6. Which is greater: -0.052 or x?
-0.052
Let o = 1031 + -987. Let t(k) = -k**2 + 41*k + 134. Let a be t(o). Let v(w) = w**2 + w - 1. Let x be v(-2). Which is smaller: a or x?
x
Let k be -2 + (-1 - 1/9). Let b = 39.387 + -43.387. Which is greater: k or b?
k
Suppose 14*r = 60291 + 37989. Is r bigger than 7022?
False
Let w = 2786342/479 + -5817. Which is bigger: w or 0?
0
Let j = -153304/7 - -21902. Let n = 0.16 + 0.1. Which is smaller: n or j?
n
Let g = 8766 - 12229. Which is greater: -1 or g?
-1
Let k be (1/2 - (-72)/16) + -5. Let r = 45 + -54. Is k at least r?
True
Let d = -538497/43 + 12524. Do d and 1 have different values?
True
Let c = -4380 - -4447. Which is smaller: c or 71?
c
Let l = -14.46 + 13.76. Is l at least as big as 0.2?
False
Suppose 7*y = 3*y + 12. Suppose 0 = -2*q - n + 9, -q - y*n = 2 + 6. Suppose -12 = 3*b - q*b. Which is smaller: 13 or b?
b
Let o = 517 + -598. Let s be 1*-9*9/o. Which is smaller: -177 or s?
-177
Let r be -3 - -2 - (-2 - (-1 + 1)). Let w be (r/(-2) - (-2)/8)*0. Let b be (18/(-27))/(1 - 57/(-3)). Which is smaller: b or w?
b
Let z be 249/(-225) + 4/4. Suppose -50*o - 17 = -17. Is z at most as big as o?
True
Let v = -1764 - -1767. Is -321 at most v?
True