. Is a > v?
True
Let d = 1482.01 + -1482. Are -57/5 and d nonequal?
True
Let m be (-4)/(-3)*(7 + (-260200)/37168). Let u be 0/(128/(-40) - 8/10). Is u greater than or equal to m?
True
Let w be 2/6 - 170/402. Suppose 2357*x = -3*o + 2353*x, -o = 5*x. Which is smaller: o or w?
w
Suppose -1249 + 350 = 3*w + n, 3*n = 3*w + 915. Let r = 303 + w. Which is smaller: r or 0.04?
0.04
Let u = 13517 + -13342. Which is bigger: 179 or u?
179
Let o = 2408 + -2433. Which is bigger: o or -17/3?
-17/3
Suppose -3*q - 835 = -5*s + 230, q + 427 = 2*s. Are s and 219 non-equal?
True
Let d be (-644)/105 + 3/(360/16). Let t = 5.8 - 4.1. Let f = t - 2. Is f greater than or equal to d?
True
Let b = 798406/45 - 17743. Which is greater: b or -0.2?
-0.2
Suppose 32*l - 44*l + 4596 = 0. Suppose 4*b + 2*m + 456 = 0, -5*m - 85 - l = 4*b. Which is bigger: -111 or b?
-111
Suppose 0 = -13*p - 4*p + 6*p - 11. Which is smaller: p or 2/22029?
p
Let q = -28/39 + 18/13. Suppose -4*h = 6*t - 3*t - 215, 0 = -4*h - 5*t + 217. Which is bigger: q or h?
h
Let x = 274 + -268. Let k = x + -23. Which is smaller: -0.5 or k?
k
Suppose -1093*u - 3 = -1092*u. Which is greater: 107 or u?
107
Let u be ((3 - 2) + 2)/(6/(-130)). Is u at least as big as -16?
False
Let u = -3031 + 3071. Do 53 and u have the same value?
False
Let m(y) be the second derivative of y**5/20 + 5*y**4/12 - y**3/2 + 19*y**2/2 + 69*y. Let j be m(-6). Is j greater than -1/413?
True
Let b be (-4)/10 + 6/(-60). Let n = -115 + 115.037. Let t = n - -0.103. Are b and t non-equal?
True
Let b be 17/((-8874)/(-36))*1*2/(-2252). Is b at least as big as 1?
False
Let u = -243 - -248. Let b = -1.3 - -1.27. Let o = -0.03 - b. Which is smaller: u or o?
o
Let v be (3 - (-57)/(-15)) + (19 - 18). Let d = 3 - 4. Let x = d + 0. Are v and x equal?
False
Let v be (3 + -1)*(-153)/(-6). Suppose 33*a + 24*a = -28*a + 4335. Is v greater than a?
False
Let i = 7273 - 7273.06. Is -1/69 at least i?
True
Let o(m) = -11*m**3 - 3*m**2 - 28. Let q(f) = 2*f**3 - f**2 - 3. Let k(b) = -o(b) - 6*q(b). Let a be k(8). Is a equal to 114?
False
Let g be ((-472790)/20)/((-51)/(-2)). Let k = g + 927. Let x(h) = -6*h + 23. Let r be x(4). Are k and r equal?
False
Suppose 0 = -2*o + 18*o + 17*o. Which is greater: o or 25/153?
25/153
Suppose -7*f = -f - 648. Suppose 0 = i, -2*g + 5*g - f = -2*i. Let x be (g/(-16))/(2/(32/50)). Is x > -1?
True
Let o = 3.11 - -0.89. Let u = -109 - o. Let a = u - -113.1. Do 46 and a have different values?
True
Let p = -1.1045 - 162.4955. Which is bigger: 3/2 or p?
3/2
Let o(w) = w - 7. Let x be o(13). Let i be (2 - -27) + -4*x/8. Is i <= 30?
True
Let l = 266 - 460. Let r = l - -71. Let t = -119 - r. Which is greater: t or -2?
t
Let z = -14429 - -10233. Are z and 0.1 equal?
False
Suppose 2*a - 6 = q, -4*q = -17*a + 12*a + 15. Which is smaller: 14/45 or q?
q
Suppose -94*a - 19854 - 32316 = 0. Which is smaller: a or -560?
-560
Let v = 28 - 27. Let b be (0 + -1)/(1/14). Let r be b/6 - (9 + -11). Is r greater than or equal to v?
False
Let v = -19218 - -16220. Which is smaller: v or -3000?
-3000
Let l = -86 + 85. Let q = -427429/493 - -867. Let m = -6920/4437 + q. Is m at least l?
False
Let k(n) = -n**3 + 26*n**2 + 12*n - 73. Let j be k(26). Which is greater: j or -5/2?
j
Let x be ((-44)/(-231))/((-12)/(-531)). Let c = -119 - -126. Is x bigger than c?
True
Let x = 26.1 + -15.1. Suppose 3*p + 30 = 39*s - 42*s, 4*p + 5 = 3*s. Which is smaller: x or s?
s
Suppose -b = -6*b - 10. Let y = 38.7 - -220.3. Let h = y - 259.2. Is b greater than or equal to h?
False
Suppose 2*s = -2*s + 8, 0 = 2*t + s - 28. Suppose -t*b = 207 + 27. Suppose 2*c = 3*c + 3, 0 = 5*l - 2*c + 74. Is l less than or equal to b?
False
Let a(k) = 4*k**3 + k**2 - k - 2. Let d be (2/(-6))/(6/18). Let o be a(d). Let h be (-8)/54*(-2)/o. Which is smaller: 0 or h?
h
Let a = -211/504 - 2499289/2520. Let v = a - -986. Is -5 > v?
True
Let i = 96 + -93. Suppose 2*y = -q - 43, i*y + 29 = 3*q - 22. Let z be (1/(-6)*-4)/(y/270). Is 5 equal to z?
False
Let r be (3 - 9)/3 - 10/(-3). Suppose -4*q + 0*l = 4*l - 44, 4*q - 32 = -l. Which is smaller: q or r?
r
Suppose -3*n + 15 = -66. Suppose -n = -2*x - 47. Do x and 5 have different values?
True
Let h = 3073 + -1336. Is h less than 1739?
True
Let q = -408 + 73. Let h = q - -334.89. Let l = 1/5 - 8/15. Do h and l have the same value?
False
Let w = -25.1 - 81.9. Let j = w + 37. Let y = j + 70. Is -47 greater than or equal to y?
False
Suppose -17*q = 7*q + 1536. Let t = -62 - q. Is t at least 9/5?
True
Let w(g) be the third derivative of g**6/120 - g**5/10 + 5*g**4/24 + 2*g**3/3 - 107*g**2 + 1. Let c be w(3). Which is smaller: c or -44/5?
-44/5
Suppose 5*o + 5 = b, -o + 53 = -3*b - 3*o. Let k = 3.985 - -0.015. Is k at most b?
False
Let f be (1344/(-156) + 9)/(-2 - 59/(-24)). Do f and 2 have the same value?
False
Let t = -66.6 + 74. Let m = -1.6 - t. Let i = -2852 - -2853. Is i >= m?
True
Suppose 0 = -3*c + 6*w - 3*w + 9, 2*c - 3*w - 8 = 0. Let d(o) = 7*o**3 + 3*o**2 - o. Let u be d(c). Which is smaller: 7 or u?
7
Let o = -29447 + 29027. Which is greater: o or 0.3?
0.3
Suppose 107*n = 5*k + 105*n - 381, -164 = -2*k - 5*n. Which is smaller: k or -15?
-15
Let s = -8.95 + 9. Let q = -168 + 167.54. Let j = q + 0.86. Which is smaller: j or s?
s
Let b = -11.17 + 33.17. Which is smaller: b or -1/3?
-1/3
Let i be (92/72 + 4/18)*21190/(-15). Which is greater: i or -2120?
i
Let b = 46 - 17. Let l = 32 - b. Suppose l*c = -2*c + 4*k - 5, k = c. Which is bigger: -6 or c?
c
Suppose -41110 - 147862 = -14*t. Suppose -23*v = -57*v - t. Is -396 at most v?
False
Let d be 111569/(-2743475) - 3/(-75). Which is bigger: d or -1?
d
Let l = 4.14 - -236.86. Let z = -338 + l. Is z bigger than 0.1?
False
Let s = -7534 + 10558. Which is bigger: 1 or s?
s
Let o(t) = -t**2 - 12*t + 14. Let c be o(-13). Let k(i) = 2*i**3 + 6*i**2 + 9*i + 3. Let v be k(-4). Let z be (-2)/(v/15 - 5). Which is smaller: c or z?
z
Suppose 0 = -25*o + 47*o + 176. Which is bigger: -725 or o?
o
Suppose -q = -t + 12, -3*t + 8*t - 48 = q. Suppose 5 = -2*r + 5*z, 2*z = 3*r + z - 12. Is r at most t?
True
Let k = -9495 + 9113. Which is greater: k or -14?
-14
Let g = 272273/13 + -20729. Which is bigger: 216 or g?
216
Suppose -299*x + 23*x - 125856 = 0. Which is bigger: x or -442?
-442
Let a = -14198 + 141981/10. Are a and -0.19 equal?
False
Suppose 22 = -4*p + 6. Let q(m) = 5*m**2 + 10*m - 28. Let n(z) = -9*z**2 - 20*z + 55. Let l(b) = p*n(b) - 7*q(b). Let x be l(-12). Is -15 smaller than x?
True
Let r = -319.7 - -342.1. Which is smaller: 0 or r?
0
Let b = -1092 - -361453/331. Which is bigger: -1/3 or b?
b
Let r = 12846 + -12901. Which is smaller: r or -17?
r
Let k = 453.4 - 15.4. Let c = -436 + k. Let g = 4/261 - 443/522. Which is bigger: c or g?
c
Let x be 6*27/51 + -3. Let s(i) = -i**2 - 6*i - 8. Let t = 42 - 46. Let c be s(t). Which is bigger: c or x?
x
Let n = 47 - 42. Suppose -5*m + 2*k - n = 0, -2*m = 3*m + 3*k - 20. Let t = 202 - 1207/6. Is m smaller than t?
False
Suppose -48*l + 6241 = -53*l - 9214. Which is smaller: -18547/6 or l?
-18547/6
Let x = 13079 - 13042. Which is smaller: -3.6 or x?
-3.6
Let w(v) = 3*v + 4. Let p be w(2). Suppose 2*d - p - 106 = 0. Suppose -5*i = d - 43. Is i != 1?
True
Let h = 32.2 + 1.1. Let n = -27.3 + h. Which is bigger: n or 1?
n
Let y be (-37)/((-296)/48) + (-28)/6. Let f = 4 - -1. Suppose -s - 3*s + 2 = -2*c, s + 5 = -f*c. Which is smaller: s or y?
s
Let o = 7032/2515 - -2/503. Let y = 302/115 - o. Let a(s) = 3*s + 51. Let w be a(-17). Are y and w unequal?
True
Suppose 2*u - 263 = l + 5*u, -1239 = 5*l - 4*u. Which is bigger: l or -259?
l
Let g be ((-691194)/86401 - -8)/((-2)/4*2). Is g greater than or equal to 1?
False
Let v(w) = -7*w - 53. Let c(u) = -1. Let z(p) = 6*c(p) + v(p). Let g be z(-7). Are -9 and g nonequal?
True
Let u = -2851 + 3824. Which is smaller: u or -1/3?
-1/3
Suppose -50*s + 45*s - 69633 = 2*y, -y - 4 = 0. Is -13925 > s?
False
Suppose 4*d - 3*w + 221 = 0, -46*d - 250 = -41*d + 5*w. Which is greater: -31 or d?
-31
Let h be (-45)/180 - (-1910)/7352. Let r = 10627/1272815 - h. Which is bigger: r or 1?
1
Let h be (51/6)/(1/(-4)). Suppose -8*o + 10*o + 2*j = 132, -2*j = -2*o + 108. Let i = o + h. Is i less than or equal to 25?
False
Let r = -114 + 133. Let u = r