j + 3*q + 235 = 1509, 1591 = 5*j + 3*q. Let a = -14610473/85 + 861024/5. Let b = a - j. Are b and -1 nonequal?
True
Suppose -g = -3*m - 5*g - 172, 2*m - 3*g + 92 = 0. Which is bigger: -48 or m?
-48
Let s(v) = 39*v**3 + 18*v**2 + 19*v + 47. Let l be s(-5). Is -4473 bigger than l?
False
Let i(r) = -r**2. Let o be i(-1). Let h be (-14872)/(-99) + -1 + o. Let w = 148 - h. Which is smaller: 1 or w?
w
Let b = 69 + -72. Let i(s) = 5*s**3 - 4*s**2 - 6*s - 13. Let l be i(b). Is l not equal to 0?
True
Suppose -3*k - 8633 = 5*b, -3*b + k - 4807 = 370. Which is smaller: b or -1727?
-1727
Suppose 101664 = -107*a - 27690 - 17022. Is a < -1368?
False
Let w = -1283195/14 + 91576. Let t = 155/2 + w. Which is smaller: t or 0.2?
t
Let y(o) = -429*o - 283. Let z be y(6). Which is greater: 1 or z?
1
Let u = 192 - 82. Let h = u - 110.058. Is h at most 0?
True
Let x be (-58 + 57)/(1*-43). Let q be (0 + (-1 - -1))/2. Let y be (q/(-5))/(-2 + 1). Which is greater: y or x?
x
Let j = 129.01 + -116.01. Do j and 0.02 have the same value?
False
Suppose 26*t - 2 = 24. Are t and 42/299 unequal?
True
Let c = -18611 - -18539. Which is smaller: c or -181?
-181
Suppose -12*c - 446 + 74 = 0. Let q = -17 - -21. Which is smaller: c or q?
c
Let o be 4/(-18)*2316/(-104). Let v be (-72)/364*(-70)/(-3). Let g = o + v. Which is smaller: 1 or g?
g
Let p be 2 + ((-2)/9 - (-5799)/54). Is p at least as big as 109?
True
Let o(z) = 5*z - 9. Let s = 143 + -94. Suppose 2*g + 5*g + s = 0. Let t be o(g). Is t bigger than -45?
True
Let n = -56.6 - -55.6. Let v(b) = b**3 + 10*b**2 - 11*b + 4. Let c be v(-11). Let q be (-1)/(c + (-490)/122). Is q bigger than n?
True
Let m be -1 + -2 + 20935/6497. Let v = m - 21/89. Let n = -13354 - -13354. Is v bigger than n?
False
Let g be (-356)/30 - (-4)/((-4)/1). Let z = -61/5 - g. Suppose -5*h + 13 - 3 = 0. Is z greater than h?
False
Let b = 761 - 747. Suppose -30*l + b*l + 608 = 0. Is l not equal to 41?
True
Let k = -27 - -31. Suppose 2 = k*l + 2. Suppose l = 19*y - 8*y + 44. Is -13/3 less than or equal to y?
True
Let m = -2.027 + 1.396. Let a = -0.021 - m. Let n = 0.61 - a. Which is bigger: 10 or n?
10
Let g = 17301 + -12023. Is 5277 >= g?
False
Let g(p) = p**3 + 6*p**2 + 4*p + 10. Let y be g(-5). Suppose -3*u = -y - 6. Suppose 9*v - 28 = u*v. Which is greater: v or 12?
v
Let y = -424 - -440. Suppose 15*s + y*s = -10354. Are s and -333 non-equal?
True
Let x = -597.0558 - -597. Let b = 0.1742 - x. Which is bigger: -2 or b?
b
Let g(c) = -5*c - 5. Let w(l) = l + 2. Let r(t) = g(t) + 3*w(t). Let d be r(-3). Is d < 8?
True
Let g be ((-62)/(-28))/(9 + 282/(-30)). Let y = 37/7 + g. Let n = -41 - 16. Which is smaller: y or n?
n
Let c be (44/(-2))/(6 + 280/(-46)). Let f = c - 2383. Let r = 10726/5 + f. Is 16 != r?
True
Suppose 1894 = -10*u - 5006. Let x = 729 + u. Which is greater: x or 38?
x
Let g(i) be the second derivative of i**3/6 + i. Suppose h + 4*b - 11 = 0, 3*b - 11 = 5*h + b. Let f be g(h). Is f at most as big as -2/9?
True
Suppose -h = 3*h - 64. Let y = 50 - 51. Let u = 13 - y. Is h less than u?
False
Let f = -7923 - -425. Is -7498 > f?
False
Suppose 0 = 173*v + 29 - 29. Which is greater: 10/311 or v?
10/311
Let g be -52*(58/20 + -3)/((-1)/155). Which is smaller: -3 or g?
g
Let g = 0.30544 + -1.30544. Suppose 3*s + 33 = 3*f + 120, 3*s - 47 = -5*f. Is s bigger than g?
True
Let u be (14 - 10)*(120/(-32))/(-15). Do u and -12/743 have the same value?
False
Let h = 8266 + -15617. Let n = h + 21677/3. Are n and -124 nonequal?
True
Let o = 407.944 - 411. Let w = 16941.056 + -16941. Let l = w + o. Do -3 and l have the same value?
True
Let d be (-36)/(-8)*(-40)/(-90). Let g be (238/(-18))/(-17) - d/(-9). Which is greater: g or -14.5?
g
Let b be (38/(-9) - 1) + 10. Which is bigger: b or 0.2?
b
Let y(l) = -2*l + 9. Let z be y(2). Suppose 1135 = -0*f - 2*f + 3*o, -4*f - 2275 = -z*o. Is -576 <= f?
True
Let d = -10721 - -7680. Which is smaller: 0 or d?
d
Let k = -3/41863 - -43114/17456871. Suppose -2*u - 2*u = 0. Is k greater than or equal to u?
True
Let v be 94/((8 - -4)/6). Suppose -453 = 10*c + v. Do 4 and c have the same value?
False
Let m = 5283/5 - 1057. Suppose k = a + 2, k - 6*a + 10 = -a. Suppose -k = q - 5*h, 4*q = -q + 4*h - 4. Is m less than or equal to q?
True
Let j = -84.58 - -84. Let o = j + 0.78. Let v = -8 - -7.9. Which is bigger: v or o?
o
Suppose -2*y + 3*h = 6*h + 53, 0 = -y - 5*h - 9. Let p(f) = -9*f**2 + 55*f + 466. Let c be p(-5). Is y bigger than c?
False
Suppose 34*z - 42*z = -24. Let u be 58/z - ((-208)/(-24))/(-13). Do u and -7 have different values?
True
Let s be 580/(-168) + (-4)/(-14). Suppose i = 4*q - 6, -38 = -3*i + 2*q - 4*q. Let x be 4/((i/5)/(-2)) - 0. Which is smaller: x or s?
x
Let s = -46.411 + 46. Let y = 0.551 + s. Let n = -3.1 - -3. Which is smaller: y or n?
n
Let l be -2 - 5 - 1380/(-198). Let a = -1589 - -1590. Which is bigger: a or l?
a
Let i = 659/5 + -7247/55. Let x(y) be the second derivative of y**4/12 + y**3/2 - 2*y**2 + 2*y. Let l be x(-4). Which is greater: i or l?
i
Suppose 0 = -2*t - 3*t + 10. Suppose t*z - 270 + 45 = -5*m, 4*z = -4*m + 192. Is 43 less than or equal to m?
True
Let v = -0.09 + 4.09. Let o = -3 + v. Suppose -97*s + 792 + 767 = -672. Which is greater: o or s?
s
Let z(j) = 3*j + 180. Suppose -25*g = -222 + 872. Let d be z(g). Which is bigger: 100 or d?
d
Let c(x) = -34*x - 509. Let i be c(-15). Which is bigger: i or -2/1737?
i
Let w = 302.68701 + 0.01299. Let k = w + 32.3. Is -0.1 equal to k?
False
Let g be ((-24)/10)/(4/(-60)). Let x be -3*6/g*1*6. Let t = 14120/7 - 2021. Which is smaller: t or x?
t
Suppose -2*x + 5 + 5 = 0. Suppose -a + 22 = -x*l, 5*a + 0*a - 5*l = 110. Let m = -54328/3 + 18109. Which is smaller: m or a?
m
Let y = -92 - -51. Let i = -30689 - -91940/3. Is i at least as big as y?
False
Suppose 5*u + 0*u + 40 = 0. Let z = -19.64 + 18.64. Which is smaller: z or u?
u
Let n be -87*-16*(-17)/4080. Is n >= 3.5?
False
Let r be 13164/154*24/(-162) - -3. Let c = -2/693 + r. Which is greater: -11 or c?
c
Let a be (186/4)/(-29 + (-574)/(-20)). Is a at least -153?
False
Suppose -61659 = -47*u - 57*u + 73*u. Which is smaller: 2/5 or u?
2/5
Let c(k) = -k - 1. Let p be c(-5). Suppose p*o + 4*s - 16 = 0, 4*s + 3 - 5 = 3*o. Suppose 4*j - 56 = -3*r, -56 = -4*r + o*j + 2*j. Which is smaller: r or 15?
15
Let s = 73 - 54. Let x = 12 - s. Is 0.1 <= x?
False
Suppose 2*s = -4*h - 180, 4*s - h = -3*h - 366. Let i be 138/s*(1 + 0). Which is smaller: 17 or i?
i
Let c = 25151 - 36320. Is c bigger than -11169?
False
Let q be (3/2314)/(1147/(-248) + 5). Which is greater: q or 0?
q
Let m(p) = -230*p - 758. Let z be m(-4). Is 169 at least z?
True
Let a(o) = o**3 + 42*o**2 - 177*o + 112. Let y be a(-46). Which is smaller: 1 or y?
y
Let r = -301 - -304. Suppose d - r = -2*d + 3*w, w - 5 = 0. Which is greater: d or 19?
19
Let g = -1 - -3. Suppose -37*i = 23 - 208. Suppose -57 = i*c - g. Which is smaller: 2 or c?
c
Let r(p) = -14*p**2 - 6*p + 10. Let d be r(6). Let y be 11/(880/24)*d/12. Suppose 2*f + a = 3 - 30, 0 = f + 4*a + 17. Do f and y have different values?
True
Let b be 1 + -3 - (413 - (-209)/(-19)). Which is smaller: -402 or b?
b
Let q be (-1 + 578/580)*1705/455. Let h = -4885 - -1983311/406. Let f = q - h. Is 0 at most as big as f?
False
Let v = -0.4 + 0.1. Let j be ((-30)/(-105))/((-2)/(-14)). Suppose -4*k = 2*p - 16, 6*k = 3*k - 5*p - j. Do v and k have different values?
True
Let r = -123 - -120. Let o be (r/(-9))/((-20)/24240). Which is bigger: -405 or o?
o
Let c = -970.4 - -976.4. Is 6/31 < c?
True
Let d(q) = -4*q**2 + 14*q + 9. Let k be -2*5/30*(-1 + -20). Let f be d(k). Is -88 bigger than f?
True
Let n(h) = h**2 + 14*h + 38. Let l be n(-11). Suppose 4*t = -l*v - 107, 2*v = 5*t - v + 143. Let y be (4/42)/((-12)/t). Which is smaller: 0.01 or y?
0.01
Suppose -218 - 422 = -16*y. Suppose -y = 4*p - 3*p - 5*m, 0 = 3*p - 4*m + 131. Which is bigger: p or -177/4?
-177/4
Let h be ((-2)/(-4))/(((-114)/(-171))/((-108656)/12)). Is -6791 at least as big as h?
True
Let n = 15 - 21. Let m = n - -13. Let i = -143 - -142.7. Is m != i?
True
Let i = -70 - -7. Let x(h) = -h**3 - 100*h**2 - 55*h - 5564. Let c be x(-100). Which is smaller: i or c?
c
Suppose -3*b = 4*r + 226 - 220, -1 = -5*b - 3*r. Let j be 3044/(-5)*2/8. Let k