**2 + 6*v - 7. Let m be p(3). Is n not equal to m?
True
Suppose 4*j - 535 = 5*o, 0 = 4*j - 2*o - 31 - 519. Let s be 196/15*j/168. Which is smaller: s or 10?
10
Let q(y) = y**3 - 6*y**2 + 2*y - 8. Let u be q(6). Suppose 3*m + 4*x = -26, -m - 35 = u*m + 5*x. Let j be (-4)/(-268)*4/m. Which is bigger: j or 1?
1
Suppose -17*h + 101 + 18 = 0. Suppose -h*r - 13 = -6. Is r bigger than -24/47?
False
Let c be (2*423/(-12))/(67/134). Is -101 at least as big as c?
True
Let z = -32.977 + -1017.023. Is 0.1 at least as big as z?
True
Let i be (((-59852)/16)/(-13))/((-15)/12). Which is greater: i or -231?
i
Let x = -345 + 15177/44. Suppose 0 = -2*u - 4*q - 6 + 18, 4*q - 12 = 5*u. Which is smaller: x or u?
x
Suppose y = -0 + 2. Let l = 256669/4688 + -1/4688. Let x = l - 617/12. Which is smaller: y or x?
y
Let t = 232 + -229. Suppose a + t - 8 = 0, 0 = 5*f - 3*a + 20. Which is greater: f or -9/40?
-9/40
Suppose 0 = 7*l - 9*l + t + 106, -3*t + 6 = 0. Do 706/13 and l have different values?
True
Let o = 27 - 27.2. Let y be (5/(-2))/(-5) + 1394/(-612). Are y and o equal?
False
Let u = -28 + 30. Let b be ((-22)/(-66))/(22*4/(-48)). Is b at least as big as u?
False
Let k = -173371185/56 - -3096067. Let y = 296475/1883 + 110/269. Let b = y - k. Are b and 4 nonequal?
True
Let p = -27.473 + 8.773. Are p and 30 unequal?
True
Let w be 3/3*-1 + (-1681 - -10). Which is smaller: -0.1 or w?
w
Let h be -3*(-890)/(-165) - 4/(-22). Let j(a) = -a**2 - 15*a + 42. Let k be j(h). Is 76/3 greater than k?
False
Let f(q) = 28*q + 32. Let b be f(5). Suppose 39*k - b = 37*k. Suppose -5*y = k + 9. Which is smaller: -16 or y?
y
Let o = -610 + 33548/55. Let t = 1.3245 - 1.4245. Is o > t?
True
Let g = -7248 - -7466. Is 218 bigger than g?
False
Let c = -162 + 190.7. Let r = c + -30.7. Is -80 < r?
True
Let n = 47 + -39. Suppose 5*h - k = n, 0 = 5*k + 11 + 4. Let v = h + 0. Which is greater: v or 2?
2
Let w = 3.4714 + -0.4714. Which is greater: 73 or w?
73
Let a = 4701/1411 + -8/83. Is 4 > a?
True
Suppose 5*j = -h + 21, 3*j + 6 = 2*h + 16. Is -1/930 at most h?
True
Let s(a) = 21*a - 40. Let c be s(2). Let b be c/(-4 - (-60)/18). Is b greater than or equal to 5?
False
Suppose 225 = 5*f + 5*j, 0 = -3*f + 3*j - 8*j + 127. Suppose 0 = -3*v - m - 532, -3*m = -1 - 5. Let z = -128 - v. Which is smaller: z or f?
f
Let l = -15994 + 23414. Is 7420 less than or equal to l?
True
Suppose 0 = -8*y - 4908 - 1580. Let x = y + 13791/17. Is x smaller than 3?
True
Let g(x) = -73*x - 125. Let j be g(34). Let b be j/(-16016) - 6/39. Let d be 3/(-12) + 2/8. Is b != d?
True
Suppose -3*j + 7 = 5*k, 0*j = 2*j + 2*k - 2. Let z be -10*186/12 - 3. Let c = 1105/7 + z. Which is smaller: c or j?
j
Suppose 0 = -3*v + 1 + 11. Suppose -t + 3 + 1 = 2*j, 0 = -v*t + j - 2. Which is smaller: t or -128?
-128
Let v be 5810/(-24)*68/(-10). Let b(u) = -21*u**2 + 37*u - 10. Let o be b(-8). Let r = o + v. Is -5 at least as big as r?
False
Let u = -8435 - -2083448/247. Are u and -1 nonequal?
True
Let v = -71.2 + 72.4. Let r = -0.053 - 7.947. Is v greater than r?
True
Let w = 4431/10 - 444. Let n(s) = s**3 - 12*s**2 + 4*s - 222. Let v be n(13). Is v at most w?
True
Let t = 7 - 4. Let d be t*(24/2 + -3). Let g = -860 + 887. Do d and g have different values?
False
Let l = -72 + 76. Suppose -3*h - 13 = l*d, 5*h = 4*h - 2*d - 7. Which is bigger: 3/290 or h?
h
Let h(u) = -5*u - 30. Let k be h(-20). Let d(f) = -14 + k - f + f - 3*f. Let g be d(7). Which is smaller: g or 36?
g
Suppose -11*n + 1057 + 1099 = 0. Let h = n + -212. Let z = 0.5 - 0.4. Is h less than z?
True
Let t = -435 + 460. Let o(r) = 7*r + 8. Let a be o(t). Is a greater than or equal to 365/2?
True
Let p = 107708 - 3447069/32. Is p >= -14?
True
Suppose 4*b = 5*b + 1. Let o = -1730/9 - -12098/63. Are b and o unequal?
True
Suppose 2*l + 76 = 4*w, 2*w - 260*l - 38 = -261*l. Is 227 greater than w?
True
Suppose -2*r - 5*z - 19 = 0, -z = -4*r - 98 + 115. Which is smaller: 371 or r?
r
Suppose 3*g = -5*j + 22 - 207, 0 = j + 3*g + 49. Let n be 2/(40/(-12)) - -35. Let p = j + n. Which is greater: -1 or p?
p
Let g(m) = 6*m - 14. Let h = -59 + 73. Let r be g(h). Let y be (8/r)/(50/35). Which is smaller: y or -1/2?
-1/2
Let a be (1060/(-15))/(37/222). Is a at most as big as -428?
False
Suppose c + 20 + 21 = -v, 3*v = -5*c - 201. Suppose 2*u + 14 = -16. Let p be 6/(-10) - (-546)/u. Which is smaller: c or p?
c
Let m = 0.88 - 123.88. Let k = -691/2 - -3459/10. Which is bigger: k or m?
k
Let r be 67892/(-13584) + -2 - (-5)/((-45)/(-63)). Which is greater: 1 or r?
1
Let b be (-1)/(-2) - (-42)/12. Let t be 6/4 + 3/b. Let q = t + -203/92. Are -1 and q equal?
False
Let v(j) = -3*j**2 - 52*j + 897. Let s be v(-28). Which is smaller: s or 4/13419?
4/13419
Let c(d) be the third derivative of -d**6/120 - 11*d**5/60 - d**4/24 - 11*d**3/6 + d**2 + 8*d. Let o be c(-11). Which is smaller: -6/11 or o?
-6/11
Let r = 54 - -112. Let g = 170 - r. Is g greater than or equal to 5?
False
Let d be 0/((-28 + 27)/(3/(-6))). Which is smaller: d or 1/547?
d
Let i = -85/13 + 242/39. Which is bigger: -76/7 or i?
i
Let w be (-2)/14 + 21/147. Which is bigger: w or 7/17?
7/17
Suppose -324*o = -167*o - 161*o + 1652. Which is smaller: o or 385?
385
Let v be (11/165*10)/((-156)/(-9))*2836. Which is greater: 108 or v?
v
Let h = 4 - 10. Let f be 18 + -4 + 16/(-4). Suppose -3*g + 49 = -f*g. Which is smaller: g or h?
g
Let a = -0.266 - -224.266. Let d = a + -225.6. Let r = -0.06 - 0.04. Is d at most r?
True
Let i = 0.2355 - -0.0375. Let f = i + -0.973. Which is smaller: f or 15?
f
Suppose -3*p + 610 = -2*j, -3*j - 2481*p + 2482*p = 901. Suppose 5*m = -179 - 1311. Is m at most as big as j?
False
Let b(t) = -5*t**2 + t. Let z be (-40)/25 - 9/(-15). Let q be b(z). Let m be 1/q + (-32)/(-3). Is m smaller than 10?
False
Let d = -14 - -17. Let f(h) = 28 + 17*h**2 - h + 13 - 30 - h**d. Let s be f(17). Is s bigger than -5?
False
Let s = -814269/37 - -22007. Is 39 equal to s?
False
Let r(q) = -19*q + 11. Let t be r(-5). Let y = t - 70. Let x = 36 - y. Does -4 = x?
False
Let s(r) = 2*r**3 - r**2 - 6*r + 7*r - 3*r**3. Let v be s(0). Suppose 4*n - 3*n - 2 = v, -3*t - n = 1. Which is greater: 7 or t?
7
Let m = -240 - -243. Suppose -11*j + m = 14. Let k be 2/3 + 158/(-210). Which is smaller: j or k?
j
Let b = 14 + -11. Let r be 237/99 + (-57)/(-63) + (-8)/14. Is r < b?
True
Suppose -2*c - l = -5*c - 307, -414 = 4*c + l. Let k be (-2)/5 - (2 - (-88)/(-20)). Let i = k - c. Is 105 equal to i?
True
Let d(f) = 2*f**2 - 342*f + 1339. Let o be d(4). Which is greater: 181/44 or o?
181/44
Let q = -776 - -775.9. Do q and 1597 have different values?
True
Let y be 0/1 + (-12)/5. Suppose 0 = 5*i - 15*i. Let m be (3 + i)/(-3*(-5)/(-15)). Is m < y?
True
Let c = -145423/30 - -17594/15. Is c at least -3675?
True
Let j = -5659 - -5668. Is j at least as big as 188/19?
False
Let c(n) = -7*n - 53. Let r(b) = 27*b + 212. Let v(s) = 22*c(s) + 6*r(s). Let z be v(-13). Which is greater: -1.1 or z?
z
Suppose 0 = 5*f + 12 - 22. Let g be (-26)/10 + f + (-12)/(-20). Suppose b + 2*b - 12 = g. Is b smaller than 4?
False
Let r be (-2)/(((-72)/(-6))/6). Let t be r/(-5)*2/(8/12). Is t at least 2.7?
False
Let i = -30256 + 30255.97. Which is smaller: i or -36/47?
-36/47
Let o(v) = 33*v**3 + 4*v**2 - 40*v + 106. Let j be o(3). Is 906 at most as big as j?
True
Let o be (-8)/(-14) - ((-86)/(-279715))/(28/53090). Do 0 and o have different values?
True
Let z be (21/(-28))/((-1)/(-12)). Let m = 8 - 17. Let w = z - m. Which is bigger: w or 6/5?
6/5
Let d = -2519 - -2519. Is 1/5956 bigger than d?
True
Let r = -9203 - -6166. Is -3036 greater than or equal to r?
True
Let m(t) = 5045*t**2 + 6*t**3 + 26*t**3 - 3*t - 5042*t**2 - 2. Let q be m(-1). Are q and -28 equal?
True
Let m = -590661 + 590714. Let i = -24 - -74. Which is smaller: m or i?
i
Let b = -43/16 - -583/208. Let m = b - 513/3770. Which is smaller: -1 or m?
-1
Let i(a) = -a**3 + 4*a**2 - 10*a - 12. Let u be i(7). Suppose -5*h - 1111 = 4*o, -5*h = 2*o - 3*o + 1141. Which is greater: h or u?
h
Let j = 0.16723 - 0.29883. Which is greater: 1 or j?
1
Let h(l) = -l**2 - 20*l - 75. Let p be 209/(-44)*4/1. Let o be h(p). Is o at most as big as -390/7?
True
Let d = -58.2 + 57. Let s = -0.8 + d. Let x = -0.1 + -2.1. Are x and s unequal?
T