i = 14077 - 1589. Which is smaller: i or 12486?
12486
Let o = -524 + 492. Let v = 95 - 61. Let x = o + v. Are x and -0.4 nonequal?
True
Let r = -0.09 - 0.002. Let q = r + -1.808. Let s = q + -46.1. Which is greater: 1 or s?
1
Suppose 149 + 531 = -2*i + 3*b, i = 4*b - 330. Let j be i/(-14) - (-47 + 48). Which is bigger: 24 or j?
24
Suppose -32 + 16 = -w. Suppose -39 = -w*x - 7. Is 0.06 greater than x?
False
Suppose 188 + 343 = 3*z. Let t be ((-851)/92)/(27/516). Let x = t + z. Which is smaller: 29 or x?
x
Let s = 6189446/13827 - 4924/11. Let g = 5110/51537 + s. Is g <= 0.3?
True
Suppose -27 = -w - o, 3*w - 64 = -o + 23. Let s be (w/(-40))/((-18)/(-736)). Suppose -7*c + 78 = -2*l - 11*c, 3*l + c + 97 = 0. Which is bigger: l or s?
s
Let s be 336/35*((-30)/9 + 0). Let n(f) = -2*f**2 - 64*f + 1. Let m be n(s). Which is greater: m or -4/41?
m
Let d be (-70)/49 - (39/7 + (-174)/29). Is d smaller than 1/692?
True
Let s be ((3 - 2) + (-3)/(-2))/(1/1486). Does 3717 = s?
False
Suppose x - 2*o = 134 + 730, -4275 = -5*x + 5*o. Which is bigger: 857 or x?
857
Let z = 15879 - 15752. Which is smaller: 147 or z?
z
Let r = -4 + 6. Suppose 0 = -r*f + 5*k + 5 + 10, -3*f + 20 = -5*k. Let h be (-86)/408 - (-2)/(f - -3). Are h and -1 non-equal?
True
Let o = -30488 + 30145.33. Let w = o - 6.33. Which is greater: w or -0.1?
-0.1
Suppose 3*s = 9*b - 4*b - 4, 3*b = 3*s + 6. Let d be -2 - (39/26)/(s/4). Let w be 19/30 - 1/3. Which is smaller: w or d?
d
Let t = -5721 - -5720. Which is smaller: -5/167 or t?
t
Let x(p) = 14*p + 69. Suppose 3*w + 9 = 3*d, -5*w = -6*w + 2*d - 1. Let k be x(w). Is 5/57 > k?
True
Let k = -380 + 207. Let c = -174 - k. Is c greater than 91?
False
Let p be (60/105)/(-2 - 69120/(-35)). Do p and -1 have different values?
True
Let d(l) = 3*l**2 + 12*l - 12. Let p be d(-7). Let j = 457/9 - p. Which is bigger: -2/7 or j?
j
Let x be (-2)/(-38)*(-38915)/7745. Let p = x - -2/1549. Is 0 greater than or equal to p?
True
Let j = -25 - -30. Suppose 0 = 5*l + 2*m - 686, -j*l - 11*m + 6*m + 680 = 0. Is l greater than or equal to 137?
True
Let b = 0.86 - 0.76. Let r = -0.09 + 0.29. Let k = r - 0.1. Is b <= k?
True
Suppose 5*y + 146 = -2*f - 39, 0 = 4*y + 4*f + 136. Let k be (y + -20)*10/154. Let r = 39/11 + k. Which is bigger: r or -1?
r
Let t = -135391/10 - -13551. Let r be (-4)/(-26) + -1 + 4428/(-390). Let n = r + t. Is -1 > n?
False
Suppose -y - 1 = -q, 5*y - 6*y + 2*q = 4. Suppose -b = -y*b + 3*b. Is 3/319 at most b?
False
Let w be (324/84)/((81/468)/(-9)). Which is bigger: 0.5 or w?
0.5
Suppose y + 5*z = 12830, 17*y - 12*y - 64206 = 3*z. Is 12839 <= y?
True
Suppose -3*q + 3 = -5*q + b, -5*q + 2*b = 10. Let m be (-3)/(37/2 - (-20)/q). Let l = -10 - -14. Is m greater than or equal to l?
False
Let v = -295 - -295. Let n = 117 - 115. Is n not equal to v?
True
Let k = -1227.03 - -1227.1. Is k greater than or equal to 58.1?
False
Let o = 233 - 233.4. Let w = 8.448 - 0.048. Let b = w + o. Which is smaller: b or 3?
3
Let h be (20/(-14)*(-1008)/1152)/((-18)/(-16)). Is h at least as big as 1/48?
True
Let f(q) be the second derivative of -q**3/6 + 7*q**2 - 13*q. Let l be f(0). Let a be (6/3)/14 - (-152)/l. Which is smaller: 0.1 or a?
0.1
Let c = -68 + 66. Let q be (-1 + (-16)/2 + -8)/((-13)/(-2)). Do c and q have different values?
True
Suppose -100 = -37*k + 137*k. Which is bigger: k or -20/2763?
-20/2763
Let j = 5657 - 158395/28. Which is smaller: -0.2 or j?
-0.2
Let g be (-21)/(-12) + (-2)/(-8) + 12. Let s = 646/3 + -215. Which is greater: g or s?
g
Let f = 4928 - 4856. Suppose 7*j - 4*j - 213 = 0. Which is smaller: j or f?
j
Let c be 5/(-55) + 600/3575. Are 351 and c equal?
False
Let p(x) = x**3 + 7*x**2 + 8*x - 9. Let k be p(-5). Let r be k*79 + (-3 - (-9)/9). Is 78 at most as big as r?
False
Suppose -31*k + 26*k + 142 = -x, 0 = -2*x - 5*k - 299. Let f = x - -145. Is f smaller than -18/31?
True
Let m = -16 - -7. Let d = 2216 + -2216. Let q be -4 + 4 + (d - 5/m). Which is smaller: 2 or q?
q
Let p(t) = -t**2 + 28*t - 24. Let v be p(11). Let i = -323/2 + v. Is i smaller than -2/3?
False
Let q = -84509 - -84463.9614. Let d = -0.0386 - q. Which is bigger: d or 1/3?
d
Let z = 15080 + -196110/13. Which is smaller: z or -4?
z
Suppose -o + 5*x = 25, -2*x = -x - 5. Let k(j) = -j**2 + 3. Let a be k(o). Let v be 1 + (-3)/3*1. Is v greater than or equal to a?
False
Let l be -4 - -8 - (4 + (-832)/3). Let z = -4279/12 + l. Which is smaller: -80 or z?
-80
Let i be ((-21)/(168/(-368)))/((-1)/17). Is -783 < i?
True
Suppose -113*a - 4220 = 98*a. Let o = 15879 + -79662/5. Let q = o - -496/15. Is q != a?
True
Suppose 0 = w - m - 2, 2*w - 1 = -m - 3. Suppose w = -3*j + z + 161, -z + 45 = j + 3*z. Let t be j/(-212)*(1 - 0/(-2)). Is t less than 3?
True
Let v(y) = -8*y - 31. Let u be v(-5). Suppose 0*f = -2*f + 20. Let d = -1 + f. Is d at least u?
True
Suppose 61*a + 57*a - 7938 = -44*a. Let w(f) = 12*f - 1. Let s be w(4). Is a less than s?
False
Let a be 0 + (0/1)/1. Suppose 0 = 4*b - 2*b - 3*v + 20, 3*v + 30 = -3*b. Let l be (1*(-36)/b)/(714/255). Is a less than l?
True
Let y(t) = 9*t + 344. Let s be y(-9). Let i = 228 - s. Which is smaller: i or -0.3?
i
Suppose 29*p + 217*p - 23616 = 0. Let k = 182 + -86. Are p and k unequal?
False
Suppose -6*d - 8*d = -12*d - 50. Let x be 9/(-3)*52/(-6). Which is smaller: d or x?
d
Let n = 48 - 94. Suppose 0 = -y + 2*o - 0 - 51, 3*o = -3*y - 117. Are n and y equal?
False
Let d = 95 - 114. Let r be (-16 - d)*(-1)/(-3) - 33. Let i be (32/6)/((-1)/6). Is i equal to r?
True
Let x = 631 + -578. Suppose x*h + 7 = 46*h. Let q = -1 - -1. Is h smaller than q?
True
Let q(a) = 36*a - 77. Let i be q(3). Suppose -49 = 10*w + i. Is w at most 2/7?
True
Let g = -22429 + 22484. Which is smaller: -85 or g?
-85
Suppose 14 = 2*j + 3*h, -4*j - h + 5*h + 8 = 0. Let t be j + (-9)/6*4. Let p be 3*t/4 - 1056/(-693). Is 0 bigger than p?
False
Let o be (-20)/4*(-4 - -2)/2. Suppose -r = o*b + 13, -3*r - 2*r + 19 = -3*b. Suppose -r*c + j - 91 = 0, 5*c - 2*j + 265 - 37 = 0. Is -45 >= c?
True
Let m = -95 + 175. Let k = 65 - m. Let w = -15.006 - k. Which is bigger: 0.1 or w?
0.1
Let c be 27254/149655 + 14/(-77). Let p = c + -823861/9070. Let m = 91 + p. Which is bigger: m or -5?
m
Let l = -371 + 375. Suppose l*j - 4*p + 7*p = 5, -3*j - 3*p = -6. Which is smaller: j or 1/345?
j
Let y = -2039 - -2039. Let v = 2.9 + -4.9. Are v and y nonequal?
True
Suppose -24 = m + 4. Let s be 90/4*(-76)/57. Is m equal to s?
False
Let c be 26/4 + -1 + 10/5. Let s = 0.59 + 0. Let y = 0.41 + s. Is y greater than c?
False
Suppose -324 = -7*k + 3*k. Let b = -77 + k. Suppose -5*c - 10 = 0, 0 = 3*j + 2*j - b*c - 3. Which is greater: j or 1?
1
Let a(r) = 3*r + 12. Let t be a(5). Let s = 4431 - 4400. Which is bigger: s or t?
s
Let m = -61318/5445 - -1368/121. Suppose 0 = 2*x - 0*x + 2. Is x != m?
True
Let m = 0 + 1. Suppose 3*f = 3*y + 729, 4*y - 322 = -f - 79. Let h = -243 + f. Which is smaller: m or h?
h
Let h = 5469 - 7111. Is -1641 smaller than h?
False
Suppose -74*c + 198741 = 81*c - 25234. Do -2/9 and c have different values?
True
Let c = 131 + -283. Let a = c + 160. Let l = -2 + 1.9. Is a < l?
False
Let j be (-4)/6*165/(-10). Let g be (j/((-11)/(-42)))/2. Which is greater: 20 or g?
g
Let q = -59 - -22. Let y = q + 41. Suppose 5*o = 2*f - 20, 23 - 7 = 3*f - y*o. Which is greater: -1/51 or f?
f
Let m be ((-120)/8 - -11) + -1550. Is m less than or equal to -1557?
False
Let c = 80.67 + -79.47. Which is greater: 109 or c?
109
Let f = 437 - 444. Let d be (-29)/(-5) + 32/(-40). Suppose 6*a = 2*a + g - 45, -2*g + 60 = -d*a. Which is smaller: a or f?
a
Let k = -1067 - -1781. Which is bigger: k or 713?
k
Suppose 8 = -5*z - 2*n, n = -4*n + 5. Let o = 9532 - 9544. Is z smaller than o?
False
Let u = -2584/689 - 690/53. Which is smaller: u or -17?
-17
Let h(n) = -13*n - 3. Let y(b) = 14*b + 1. Let w(o) = -4*h(o) - 5*y(o). Suppose -5*c - 4 = 6. Let r be w(c). Is 42 at most r?
True
Suppose 4 = -2*s - 0*s, 0 = -i + s - 34. Let y be 4 + 239*i/2154 - 0. Are -1 and y non-equal?
True
Let h be 2 + -3 + ((-72)/(-6))/6. Suppose 0*n + h = n + 4*x, -3 = -3*n - 3*x. Which is smaller: n or -1/134?
-1/134
Let y = 8702 + -8702. Let l = 0.179 - -72.821. Is l equal to y?
False
Let o(r) be the third derivative of r**5/30 - 29*r**