42 + 1245 = -3*v, 0 = -c - 1. Let t be -15*(2 + -3 - (-13692)/v). Let l = -417/168181 - t. Are -1 and l nonequal?
True
Let o be (-9490)/584*2/790. Which is smaller: -1 or o?
-1
Let b(y) = -6 - 22*y**2 + y**3 - 7*y + 21*y**2 + 15*y. Let m be b(3). Let w be 8/(-3) - (-60)/m. Which is smaller: w or 1/7?
w
Suppose -4*o + 11 = -t, 412*o - 6 = 410*o. Which is bigger: -3/2989 or t?
t
Let n(l) = -12*l - 2. Suppose 3*p - 2*h + 5 = -0*h, 4*p + h + 3 = 0. Let g be n(p). Suppose -9 = -g*x + 13*x. Which is bigger: x or -5?
x
Let w be 1805/225 - (-272)/(-34). Let c = -0.05 - 2.95. Let g = 3 + c. Is g at most w?
True
Let o be (60/(-90))/(2/18*-2). Suppose 3*x = 6*x - 15, 436 = o*s - 4*x. Is s greater than 151?
True
Let p be (27984/(-2333))/3 + (-178 - -182). Is p greater than 0?
True
Let z be 960/(-288)*1/(-8)*-2. Suppose -3*b - 5*o + 5 = -10*o, -2*o = -3*b + 11. Suppose 0 = 5*m - 5*j + b, -2*m - 9*j = -5*j + 8. Which is greater: m or z?
z
Let n be ((-540)/(-900))/(346/(-10)). Let s = 6 - 7. Which is bigger: s or n?
n
Let l(m) = 7*m - 9. Let i be l(5). Suppose 0*u - 22 = 4*u - 3*o, 3*o = -u + 2. Let p be ((-8)/(-10))/(u/(-130)). Does p = i?
True
Suppose 4*d + 667 = -3*n, 0 = 3*n + 3*d - 2*d + 682. Let r = n - -131. Is r less than -98?
False
Suppose -156 = i - 5*i. Suppose -y - i + 7 = 0. Let h be 4/(-17) - 38433/1173. Is h at least as big as y?
False
Let f = 16 + -7. Let b be (-10 + (-350)/(-40))*2/(-10). Let z = b + -1/20. Is f greater than z?
True
Let c(m) = 428*m + 1695. Let r be c(-4). Which is bigger: -160 or r?
r
Let s = 0.2366 + -0.0686. Let t = s - 0.668. Let r = -2/3 + 7/6. Is t at least as big as r?
False
Let t = 3493/2 - 1746. Is t smaller than -1056?
False
Let j = 66469/4 + -16378. Let c = -235 + j. Is c bigger than 4?
True
Let f(o) = -2*o + 8. Let g be f(2). Suppose 0 = 2*s + 2*d + 109 + 97, g*s + 5*d = -413. Let i be s/(-27) + -4 + 202/18. Is i < 57/5?
True
Let z = -49011/164335000 + 5/11432. Which is smaller: 1 or z?
z
Let p be 2/4*8/(-14). Let z = 1363 + -943. Let n = z - 16379/39. Is n > p?
True
Let g = 1.06 + -1.16. Let z = 3.2 - 0.8. Let k = 1.4 - z. Do g and k have the same value?
False
Let r be 1/((-16)/((-28)/(-7))). Let k = 10.8 - 111.8. Is r at least k?
True
Let k = 26 + -22. Let o be (-5)/75 + k/10. Let m = 160377/34 - 4717. Which is smaller: m or o?
m
Suppose 10*u = 596 - 256. Let g be 244/2121 - u/357. Which is smaller: -4/5 or g?
-4/5
Suppose 127 = -2*b - 3*w, -115 = -5*b - 5*w - 435. Let t be ((-3)/(420/16))/(-12*16/480). Are b and t non-equal?
True
Suppose -4*d + 2*k + 16 = -80, -5*d - 3*k = -98. Let y = d + -22. Suppose y = 2*l + 2 - 0. Is l less than 1/35?
True
Let h = 10285 - 10694. Is h at most as big as 1/4?
True
Let x = 11333 + -10236. Which is smaller: x or 0?
0
Let i be 5 - (1653/12)/29. Suppose 4*y = 2*p + 56, 0*y + 10 = 2*y. Which is smaller: p or i?
p
Let z(n) = -2*n**3 + 4*n**2 + n - 40. Let k be z(0). Is 9 smaller than k?
False
Suppose -18 = 131*a - 113*a. Is a at most -4/181?
True
Let u be 39/((-819)/(-168)) - 3790/478. Is u != 1?
True
Let a = -643.434 + 643.9. Is 7 != a?
True
Let i be 3*(-11)/66*6316. Is i greater than or equal to -3159?
True
Suppose -13*j + 10*j = -3, -3*q - 2 = j. Is q at most as big as 1315/4?
True
Let s = -1.8 + 1.906. Let a = -6.894 - s. Which is smaller: 7 or a?
a
Suppose 3*u + 29*t = 25*t + 3708, 4*t = -2*u + 2476. Which is smaller: u or 1235?
u
Suppose 13*i - 4*v = 16*i - 44, 2*i = v + 22. Let j be (-12)/(-24)*i/3. Which is bigger: -4 or j?
j
Let a(t) = 12*t**2 + 24*t + 75. Let x be a(23). Is x smaller than 6974?
False
Suppose -3*r + 60 = -r. Let m be r/10 - (2 + 1). Is m bigger than 0?
False
Let t = -93 + 1. Let h = t - 16. Which is smaller: h or 0?
h
Let l = -317 + 402. Let h = l - 95. Is h at least -2?
False
Let n be 932/(688/(-844) + 1). Let h = n - 48642/13. Let d = h + -1288. Which is bigger: d or 14?
14
Let u = 28094.0083 + -28094. Is -17 < u?
True
Let v be (42/10)/((-4575)/22875). Let m(r) = r**3 - 7*r**2 + 6*r - 5. Let h be m(4). Which is bigger: v or h?
v
Let s(w) = 10*w**3 - 6*w + 7. Let z be s(-4). Let j be (21/z)/(1/(-2)). Is j less than 1?
True
Let i = -31029 - -28035. Which is smaller: -2990 or i?
i
Let f = -168 + -211. Let u = -378 - f. Let j = -2.1 + -15.9. Is j at most as big as u?
True
Let a be 8*(48/(-112) + 1/2). Which is greater: 19/8 or a?
19/8
Let a(s) = s**3 - 2*s**2 - 27*s - 23. Let t be a(-1). Are -1/11 and t nonequal?
True
Let s(b) = 72*b - 1125. Let d be s(17). Is -13 at most as big as d?
True
Let u = 1132.983 - 1133. Does 1 = u?
False
Let w = 2 - -37. Let h = w - 18. Let u = -20 + h. Is u greater than -2?
True
Let r be ((-226)/(-10))/((-2)/(-10)). Let a = 657 - 545. Is a != r?
True
Let o = -2024 + 2163. Which is smaller: o or 130?
130
Let b = -7.745 + 0.145. Which is smaller: -1.3 or b?
b
Suppose -589 + 568 = 3*g, 4*g - 364 = 4*z. Which is smaller: -104 or z?
-104
Let l be (42/(-2))/(70/(-672)*-30). Which is smaller: l or -6?
l
Suppose -52*d - 8605 + 15419 = -55430. Is 1198 > d?
True
Let g = 6361 + -6362. Is g equal to -15048?
False
Let j(l) = 3*l**2 - 4*l - 4. Let g be j(-1). Suppose -20*c - g = -21*c. Does c = -30?
False
Suppose 0 = -7*z + 5*z + 56. Suppose z*r + 21 = 21*r. Suppose 3*j + 6 = -3*x, 0*j + 3*x - 24 = 3*j. Which is smaller: r or j?
j
Let v be ((-1)/(-6))/(19/(-2)). Let k = -51 + 66. Suppose -k = -5*c - 5*s, -2*s - 3 = -c - 6. Is v greater than c?
False
Let j = 8941242/97525 + -2292/25. Is 0 at most as big as j?
True
Let p(m) = m**3 + 8*m**2 + 6*m - 6. Let l be p(-7). Let o be l - 110/(-7) - 46/(-161). Let y = -3 - o. Which is greater: -22 or y?
y
Suppose -k + 4 = 2. Suppose 2*l + 4*u + 0*u = -12, -2*u = 3*l - k. Suppose 9 = 3*c, l*t + c + 2 = -t. Which is smaller: 1/19 or t?
t
Suppose -12*a = -4*a + 80. Let s be 2/a + -1 + 408/640. Which is bigger: -1 or s?
s
Let j(a) = 6*a + 50. Let v(q) = -14*q - 99. Let s(m) = 13*j(m) + 6*v(m). Let n be s(13). Let h(r) = -r**2 - 3*r + 6. Let c be h(4). Are c and n equal?
True
Suppose -2*u - 25*w - 2 = -27*w, u + 1 = 4*w. Which is smaller: u or 2/1973?
u
Let c be (-846)/(-2)*(-6)/3. Let u = 271758 - 272605. Which is bigger: u or c?
c
Let v(f) = 2*f**3 - 15*f**2 + 3*f + 28. Let m be v(7). Is -17/98 != m?
True
Let v = -9047 - -8779. Is v != -806/3?
True
Let y = 0.508 + 4.792. Is y < 5/3?
False
Let o = 19637 - 19636. Which is smaller: o or -12/91?
-12/91
Suppose h + 2575 = 2582. Which is greater: 3 or h?
h
Let s(a) = 2*a - 18. Let j(h) be the second derivative of 4*h**4/3 - h**3/6 + 13*h. Let y be j(-1). Let n be s(y). Is 17 less than or equal to n?
False
Let y = -0.154 - 44.446. Let h = y + 24.6. Do -2/11 and h have different values?
True
Let b(l) be the second derivative of l**4/12 - 5*l**3/3 - 19*l**2/2 + 3*l. Let s be b(12). Suppose -s*g - 39 = -9. Is -19/4 at least g?
True
Let g = -318 - -323. Suppose 0 = 4*c - 8, 4*s = c - 0 - 14. Let r be 2*(3 - g - s/2). Which is smaller: 1/25 or r?
r
Let m(g) = 111*g**2 - 150*g - 152. Let o be m(-1). Is 103 > o?
False
Let m(f) = 7*f**2 - 204*f + 999. Let i be m(5). Which is smaller: i or 0.1?
0.1
Let y(p) = 797*p + 13365. Let a be y(-17). Let d = -378 - -193. Is d <= a?
True
Suppose t - 31 = -5*b, 0 = 3*t - b - 7 - 6. Let d be (-234)/(-12)*t/9. Is 8 >= d?
False
Suppose 8*z - 12360 = 49*z - z. Let n(q) = -79*q + 7. Let j be n(4). Is j greater than or equal to z?
True
Let b = -503/3381 - -8/49. Let n be 16/168 - (328/(-84) + 4). Is b equal to n?
False
Let w be (-7331)/105 - (-9)/27. Let d = -356/5 - w. Which is smaller: 4 or d?
d
Suppose 153 - 3 = -30*c. Let b = -19/4 + 99/20. Let k = 7/10 - b. Which is bigger: c or k?
k
Let k be 20/(-110) + 400/22. Let t be 957/k - 0/2. Let s = 53 - t. Is s != -1?
True
Let b = 30.668 - 273.668. Which is bigger: b or 4?
4
Let p be (-2)/(-2) - (-32)/16. Let u(r) = -p - 2*r**3 - 3 + 3 - 4*r - 4*r**2. Let j be u(-2). Which is smaller: j or 1?
1
Let g = -10928/14049 + 1/14049. Which is greater: -9/5 or g?
g
Suppose -210 = 2*v - 3*o + 112, -5*o - 322 = 2*v. Let f be (-2382)/15 + -4*39/130. Which is bigger: v or f?
f
Let j = 19/1269 + 57031/767745. Is j greater than or equal to 0?
True
Let i(l) = 2*l**3 - l**2 - 2*l + 4. Let y be i(0). Suppose -y*w - 10 = -14. Which is bigger: 1.46 or w?
1.46
Let s = -67 + -25. Suppose -182 = -u + 3*u + 4*x