3 - 46 = -5*g + c, 2*g - 2*c + 30 = 0. Is g at most as big as -7?
True
Let n = 12303 - 12341. Do -103 and n have the same value?
False
Let x(t) be the second derivative of -t**3/2 - 7*t**2 + 7*t. Let o be x(-8). Suppose -8*w = 2*w + o. Which is bigger: w or 1/9?
1/9
Let k = -10/397 - 624/6749. Which is greater: k or -3?
k
Let s(z) = 21*z**2 - 25*z + 57. Let k be s(6). Let v = -663 + k. Is v greater than -10?
True
Let u(o) = -2*o**2 + 17*o + 19. Let h(z) = 3*z**2 - 17*z - 20. Let w(x) = -3*h(x) - 4*u(x). Let t be w(-16). Is -2/239 != t?
True
Let j = -1720 + 1066. Let g = 660 + j. Which is greater: g or 7?
7
Suppose -3*f - 6 = 5*h, -3*h + 8 = -3*f - f. Let n be 1/f*-2*(-7)/70. Are 1/4 and n unequal?
True
Let c(d) = 41*d + 1686. Let j be c(-41). Suppose 0 = -4*q + 2*q. Suppose 2*b = -5*h - 37, h + q = -j. Which is bigger: 1 or b?
1
Let k(s) = 81*s + 190. Let r be k(-2). Which is bigger: 0.04 or r?
r
Let o be 2/8 + (-609)/132. Let l be (-21)/(-9)*99/(-77). Is o less than or equal to l?
True
Let l be (3/198 + 0)*(-17)/(34/6). Is -2/3 greater than or equal to l?
False
Let w = -8936 + 8934. Is -1436 greater than or equal to w?
False
Suppose 0 = -3*s + 176 + 112. Suppose 390 = s*b - 101*b. Let l = b + 233/3. Which is bigger: l or -2/19?
-2/19
Let x be (11606/973)/(3 - 25/8). Let a = 312992/8757 + x. Let f = 496/9 + a. Which is greater: f or -5?
f
Let f = -703 + -784. Which is bigger: f or 1?
1
Let k = -34 + 21. Let r = -262766 + 262750. Is k at least r?
True
Suppose -59*l + 4*p + 4434 = -64*l, 2*l - p + 1797 = 0. Is l >= -897?
True
Let j(r) = -r**2 + 87*r + 461. Let s be j(-5). Let v(l) = -l**3 - 4*l**2 + 2*l - 3. Let a be v(-5). Let h be (a/200)/(4/16). Which is greater: h or s?
s
Suppose -5*s - 182 = -12*z - 14, -3*s + 3*z - 105 = 0. Is -392/11 less than s?
False
Suppose 0 = z + 2*w + 164, 0 = 3*z - 2*w + 61 + 479. Let x(i) = -58*i - 4. Let v be x(3). Which is smaller: v or z?
v
Suppose 4*g - 91 = -w, 0*w - 5*w = -2*g - 499. Suppose 868 = 13*i + 169 - 614. Which is greater: w or i?
i
Let c = -20.4 + 20.4417. Let v = c + -4.0417. Which is smaller: 15 or v?
v
Let u = -112 + 223/2. Let i = -1243/130 + 4/65. Let o = -10 - i. Are o and u nonequal?
False
Let n(r) = -25*r + 346. Let v(s) = 5*s - 69. Let o(f) = 2*n(f) + 11*v(f). Let h be o(13). Is h less than 206?
True
Let f be 5/(100/(-292)) + 3/5. Suppose -9*p + 7 = -10*p. Let q be 6/(-8) + p/28. Which is bigger: q or f?
q
Suppose 5*t - 115 = -k, 0 = k - 3*k - t + 194. Suppose -k = -4*j - 23. Is j <= 21?
True
Let q = -3931 + 3279. Is q less than -3?
True
Let x = 1150 + -1594. Is 2 less than x?
False
Let q be 3306407/819 + (-33)/(-77) - (-12)/27. Is 4040 less than q?
False
Suppose 144*h + 2*n = 149*h - 123151, -h - 3*n + 24603 = 0. Is 24627 equal to h?
True
Let t = 1847 - 1834. Let f = 58.054 - 0.054. Let i = f - t. Is 1 smaller than i?
True
Suppose 2*v - 3*j = 5 + 8, 2*j = -4*v + 2. Let s be 276/(-40) + v - -5. Is s less than or equal to 1?
True
Let j = -4 - -10. Let n(h) = h**2 - 6*h - 5. Let b be n(j). Suppose 11*o - 20*o - 63 = 0. Which is smaller: b or o?
o
Suppose 101*o + 882 = -25*o. Are o and -49 unequal?
True
Let u(q) = q + 3. Suppose 0 = -3*k + k - 2*m + 4, -4 = -4*k - 5*m. Suppose -s - s - k = 0. Let x be u(s). Which is greater: x or -1/6?
x
Suppose -4*x - 2*o - 60 = 0, 13*x + 2*o + 44 = 10*x. Let z be -6 - -2 - 76/x. Which is smaller: z or -0.2?
-0.2
Let z = -9.451 + 16.541. Which is smaller: -9 or z?
-9
Let j(s) = -s**3 + 10*s**2 - 8*s + 9. Let x(b) = b**3 + 9*b**2 + 8. Let r be x(-9). Let p be j(r). Let g = 7995 + -7921. Which is smaller: g or p?
p
Let q be 4*1*(7398/24)/9. Let v be (137/5)/((-177)/15 + 12). Is v smaller than q?
False
Suppose 3*u + 5 = -2*u. Let n be (-7)/(-5) - 14/35. Let c be (n - (25 - 7))/(1/u). Is 17 at most as big as c?
True
Let g = -1059 + 1053. Do g and -172/27 have the same value?
False
Let a(r) = 63*r + 1450. Let o be a(-23). Is 49/87 not equal to o?
True
Suppose -143*s + 27878 = -311890. Which is greater: 9503/4 or s?
s
Let q be (-15 - 8727/(-582))/((-19)/(-4)). Which is smaller: q or 1?
q
Let d = -462 - -481. Let i = 0.06 + -2.06. Let y = d + i. Is 0.1 less than or equal to y?
True
Let q be (-1 - -1)*2/(-4). Let p be (-11)/(-13) - 1 - q. Let h(u) = -u**3 - 56*u**2 - 66*u - 605. Let z be h(-55). Are p and z equal?
False
Suppose h + 3 = z + 5*h, -5*h + 9 = -4*z. Let w be 1/6*(-792)/15642. Which is greater: z or w?
w
Let w = 10 + -22. Suppose -209 = -10*u + 251. Suppose -u*o = -42*o + 52. Is w not equal to o?
True
Let z = -1605.85 + 10.85. Is z smaller than -0.1?
True
Let b = -11/2 + 6. Let k = -0.07287 + 0.21287. Do b and k have the same value?
False
Suppose 2*t + 42 = 4*r, -4*r + 1 + 11 = 4*t. Let j(p) = 16*p - 132. Let a be j(r). Is 15 greater than or equal to a?
True
Suppose u + 4*n = 23, n - 3 = u - 1. Let o be u/(-6) + 30/(-12) - 25. Let y = -24 - o. Which is smaller: y or 19/4?
y
Let l = -420 + 227221/541. Which is bigger: l or 0?
l
Let b(z) = 2*z**2 - 23*z - 51. Let n be b(-2). Let c be 625/10 + ((-10)/(-4) - n). Is c less than 61?
False
Let a(l) = 25*l - 295. Let f be a(12). Suppose 0 = x + 4*z + 9, 0 = -x - 2*z - 0 - f. Which is greater: x or 1/108?
1/108
Let r be ((-2)/(-3))/(5/60). Let n be 12/(-18)*(85/r - 2). Which is greater: -5 or n?
-5
Let l = 93 + -77. Suppose 4*v = 3*d + 3*v - l, -5*d = 5*v - 40. Let p be (-1 - d/(-4)) + -1. Is -1.6 equal to p?
False
Let d = 4.163 + -0.773. Let o = 2.39 - d. Is -1/79 > o?
True
Suppose 0*k = 3*v - 2*k + 83, -5*k = -v - 32. Let q be v/8 + -6 + 10. Let z(s) = s**2 + 4*s + 5. Let f be z(-2). Is q smaller than f?
True
Suppose -2 + 20 = 3*c. Let g(f) = 2*f**2 - 14*f + 8. Let p be g(c). Let r be 2/p*7*6/(-18). Is 1 bigger than r?
False
Suppose -19*q + 7*q - 12 = 0. Let k = -5 - -2. Let c be (-2 + (-6)/k)/q. Which is greater: c or -1?
c
Suppose 4 + 100 = 2*n. Suppose n = -13*c - 13*c. Suppose 6*r - 57 = 3*r. Which is smaller: c or r?
c
Let i = -3.67 - -3.67. Let d = -261 - -287. Which is bigger: d or i?
d
Let a = 9.94492 - 9.866. Is -0.1 <= a?
True
Let n be (1/1 + 10)/(362/(-138284)). Does -4202 = n?
True
Let o = -144204/29 + 4974. Let q = o - 113/58. Which is bigger: q or 0.16?
0.16
Suppose 0*h + 5*h = 25. Suppose 5*m = -0*m - h*j + 180, 0 = -2*m - 4*j + 68. Let o = -28 + m. Is o less than or equal to 10?
True
Let h be -6*42/(-6)*18. Suppose -3*g - h = 5*d, 28 = -3*d - 4*g - 419. Which is greater: d or -152?
-152
Suppose y - 4*l + 113 - 13 = 0, -4*y - 3*l = 438. Let f(t) = -3*t**2 + 23*t + 7. Let g be f(8). Let p be g + y/8 + -3. Which is bigger: -18 or p?
p
Let k be -9 - ((-2)/(-4))/((-5)/(-10)). Let j be 2/(-5) + (-34)/k + 22. Let n = j + -45. Which is bigger: n or -22?
n
Let m be (112/(-12) - -2) + (-2)/(-6). Let s be 1073/(-111) + m/3. Which is bigger: -121/10 or s?
s
Let x = 21613/5 - 406317/95. Which is smaller: x or 46?
x
Suppose 2*w - 12 = -5*k, 5*w - 5*k + 2 = -3. Let o be (-26)/14*-1*w. Suppose -69*q = 102*q - 61 - 110. Which is smaller: q or o?
q
Let z = -1486 + 1595. Is z > -6/5?
True
Suppose 2*v - 428 = -108. Suppose 5*z = -5*t + 770, 11*z - 16*z - 494 = -3*t. Which is greater: v or t?
v
Suppose -3*z - 44 = -4*z. Let f = -3270 + 3230. Let v = z + f. Which is smaller: 19/4 or v?
v
Let h = -3233 + 42049/13. Let f(a) = -20*a**2 + 406*a + 750. Let k be f(22). Which is smaller: k or h?
h
Let r = -2457 + 2444. Let g be 0 - -3 - (-371)/(-119). Let f = g - -61/85. Which is smaller: r or f?
r
Let n(u) = -u**3 + 2*u**2 + 7*u - 4. Let d be n(-3). Let o = -164 + d. Is -142 less than o?
False
Suppose 5*d + 0*r = -4*r - 55, -2*d - 3*r = 29. Let m(a) = -3*a**2 + 12*a + 125. Let j be m(d). Is -537/5 at least as big as j?
False
Let u = 14202 + -13181. Is 9 <= u?
True
Suppose -26*i = -27*i + 70. Let m = 76 - i. Let x be (-3 - (-51)/9) + (-4)/m. Which is smaller: -3 or x?
-3
Let r be ((-35)/(-2310)*-11)/((28/(-306))/2). Are r and -6 unequal?
True
Let q(u) = -68*u - 12 + 35*u + 25*u - u**2. Let j be q(-2). Let k = -16 + 7. Is j at most as big as k?
False
Let x = -3 + 4. Let v be 11/(-44) + (1/3)/(2780/2919). Which is bigger: v or x?
x
Let h = -70 - -66. Let m = -9337 - -9337.097. Are h and m unequal?
True
Let g = 1.79 + 2889.21. Is g equal to 0?
False
Let u be 52055/(-10350) + 2 + 3. Let b = u + -13/90. Which is smaller: 3 