+ 19. Let i be s(-5). Is -2/401 > i?
True
Suppose -158*c = -159*c + 96. Which is bigger: c or 193/2?
193/2
Let f be (78/(-26))/((-6)/4*-1). Is f greater than or equal to -2/3?
False
Suppose -2*j = -w + 6, -4*j - 12 = -0*j - w. Let c be (12/(-15))/((-2)/(-15)). Which is smaller: j or c?
c
Let z = 0.62 + -1.62. Let t = -187 + 5795/31. Is t at least as big as z?
True
Let w = 0.7 - -4.3. Let l = 0 + w. Is 2/5 less than l?
True
Let c be 2/1 + (-36)/9 + -12. Is c equal to -20?
False
Let x(s) = -47 + 24 - s + 19. Let i be x(-13). Suppose -17*c = -14*c + i. Is c < 0?
True
Let z = 122 - 113. Let h = -37 - z. Which is bigger: 1 or h?
1
Let n = 447 - 157. Is -4 smaller than n?
True
Suppose -111 = 3*a + 93. Is a greater than -65?
False
Let o be (4/(-6))/(2/(-24)). Let l(y) = y**2 - y - 4. Let u = -2 + 6. Let h be l(u). Is h greater than or equal to o?
True
Let j = 24 - 20. Suppose 17 - 5 = j*h. Suppose 3*r - 2*r - 9 = 3*a, h*r = 0. Which is greater: -1 or a?
-1
Suppose 0 = 4*f + 4*c - 544, 3*c - 394 = -3*f + 7*c. Is 134 less than or equal to f?
True
Let f = -0.01 - -0.11. Let k = -40.85 - -41. Let y = 1.85 + k. Does y = f?
False
Suppose -5*g + 32 - 12 = 0, -2*w - 2*g = -6. Let n be (-1 - -1)/((-1)/w). Suppose 0 = 2*c - 2*f + 3 - 1, -4*f + 8 = 0. Does c = n?
False
Let x(b) = -100*b + 142. Let y be x(9). Which is bigger: -757 or y?
-757
Let d = -1.14 - 0.01. Let i = 15.85 - d. Which is smaller: 2 or i?
2
Let j = -161/290 - -9/58. Which is bigger: 245/8 or j?
245/8
Let k = 3 + -24. Let b = 75 - 75. Is b less than or equal to k?
False
Suppose -45 - 25 = -5*l. Let g = -26 + l. Let n be (10 + g)/(0 - -14). Is 1 at least n?
True
Let a be 6 + -1 + (-17 - -7 - 331). Do a and -337 have different values?
True
Let c be ((-63)/(-49))/1 + 2/(-7). Which is smaller: -2/65 or c?
-2/65
Let c be (-309)/(-8)*(-12)/18. Is -25 < c?
False
Let z = -147 + 148.6. Which is bigger: -3 or z?
z
Let k = -175 - -183. Let x = -0.6 + 0.5. Which is greater: k or x?
k
Let l(h) = h**3 + 12*h**2 - 3*h - 12. Let y be l(-12). Let p be y/(-40) - (-4)/15. Which is greater: p or 1/4?
1/4
Let k(t) = 3*t**2 + 9*t - 1. Let x be k(-4). Let a be x/(-2) - 30/(-20). Do -4 and a have different values?
False
Let h be 3 - (-3)/((-45240)/45224). Is h <= 1?
True
Suppose 3*x - 40 = -2*x. Suppose -2*w + x = 2. Suppose -z + 10 = 4*n, -z = -w*n + 2*z. Which is greater: n or -2/5?
n
Let q = 57 + -51. Let u be 2/(-10) + 0/(12/q). Which is greater: u or 0?
0
Let a(d) = 2*d - 5. Let h be a(-5). Let v be (8/(-55))/((-6)/h). Suppose 8 = -5*m + 2*s + 2*s, -2*s = -2*m - 4. Are v and m unequal?
True
Let f = 3853/9 - 428. Which is smaller: f or -0.6?
-0.6
Suppose -6*u - 17 = -7*u. Suppose -5*a - 4*t = -u, -5*a = -3*a - 4*t + 10. Which is bigger: a or 4/5?
a
Let j = 1444 - 4331/3. Which is bigger: j or 1263?
1263
Let x = -5.9 + 4.2. Let k = x + 9.7. Which is greater: -2 or k?
k
Let j = -2.3 - -1.5. Is j < 0.23?
True
Let l = 2476 + -718039/290. Let n = l - -571/2610. Let i = -4.1 - 0.9. Are i and n equal?
False
Suppose 6*k - 13*k = 7. Let v = 4 + -7. Let l be (2/(-102)*v)/(-1). Which is smaller: l or k?
k
Let b be ((-112)/456)/(2/3). Suppose -4*j = -5*l, 0 = 6*l - 4*l - 3*j. Which is greater: b or l?
l
Let h be (-78 + 6/1)/(6/4). Let s = -85 - h. Which is greater: s or -36?
-36
Let d = 76 - 74. Let f be (9 - (6 - d))/(-1). Is f smaller than -4?
True
Let z = -233/4539 + -2/267. Which is smaller: -0.09 or z?
-0.09
Let t be (0 - 3)*-6*3/(-882). Let z = 51 + -52. Which is smaller: t or z?
z
Let y(z) = z**3 - 3*z**2 - 1. Let d be y(3). Let n be ((-7)/(-15))/(d/(-6)). Are 3 and n nonequal?
True
Let z(v) be the second derivative of v**3/6 - 2*v**2 - 9*v. Suppose 0 = -2*c - j - 4 + 11, 2*j = -c + 2. Let x be z(c). Which is smaller: x or 2/35?
x
Let w(s) = 2*s**2 + 2*s + 3. Let q be w(-1). Suppose 46 = -q*o - 2. Is o smaller than -16?
False
Let a = -5.2 + 5. Let i = -11.94 - 0.06. Is i <= a?
True
Let v = -58 + 40. Let o be 2/(-3) + 636/v. Let u be 78/o - 2/(-12). Is u > -2?
False
Let y = -57 - -46.6. Which is smaller: 3/5 or y?
y
Let a = 24.686 - 0.386. Let i = a - 24. Which is smaller: 0.06 or i?
0.06
Let d = 105819/89 - 1189. Which is greater: d or 1?
1
Let m(d) = -d**3 + 18*d**2 - 31*d - 17. Let f(b) = -4*b - 8. Let k be f(-6). Let i be m(k). Which is greater: i or 2/21?
2/21
Suppose 0 = 3*m - m. Suppose m = 3*q - 7*q - 60. Let i(x) = -4*x**2 + x - 1. Let k be i(2). Is q > k?
False
Let w be (-36 - -39)*(41 + 1). Which is smaller: w or 123?
123
Let m be (-3)/(3/(-4)) - (2 - 2). Suppose 0 = -4*i + m, -i = -n + 7 - 0. Which is smaller: 9 or n?
n
Let j(c) = -7*c - 25. Let q(t) = 10*t + 37. Let d(r) = 7*j(r) + 5*q(r). Suppose n + 30 = -4*n. Let g be d(n). Are 4 and g unequal?
False
Let g(o) = -4*o + 2*o - 5 + 0 - 4. Let c be g(-5). Let q be 2/6 - 3/(-45). Are q and c equal?
False
Let a = -672 - -673. Which is greater: -2/823 or a?
a
Let r(b) = -b**3 - 11*b**2 + 6*b - 26. Let a be r(-12). Let n = a - 41. Is n less than or equal to 5?
True
Let q be (-12 - -8)*(-3)/(-6)*10. Let b be -54 + (5/q - (-26)/8). Is -52 < b?
True
Let p(s) = s**3 - 2*s**2 - 9*s + 6. Let g be p(4). Suppose 4*y + 6 = 2. Let o be -7 - (-1)/(y + g). Which is bigger: -1 or o?
-1
Suppose 4*s - 3*j = -25, -52*j + 14 = -2*s - 50*j. Suppose 10*m - 5*m + 15 = 0. Which is smaller: s or m?
s
Let b(y) = y**2 - 28*y - 164. Let z be b(33). Which is greater: z or 1/22?
z
Let m = 19 + -45. Let z(g) = 2*g + 21. Let n be z(-23). Is m at least as big as n?
False
Let d(v) = -v. Let i = 56 - 36. Suppose -3*c = c + i. Let o be d(c). Is o bigger than 0.1?
True
Suppose -3*g = -4*w + 165 - 62, 2*w + 108 = -4*g. Which is bigger: -34 or g?
g
Let b = -99 - 197. Let q be 2/5 - b/10. Are 29 and q nonequal?
True
Suppose 0 = 5*j + 33 + 57. Let k be -2 + (-21)/j + 1. Is -1 bigger than k?
False
Let p be 3/9*1*258. Is 87 equal to p?
False
Let d be (-1)/(-74)*3*(-2072)/222. Is 0 less than or equal to d?
False
Let j be (5336/88 + -8)*4/(-246). Let v = -32/41 + j. Which is greater: v or -3?
v
Let c = 36 + -51. Suppose 4*a = -4*p - 64, 6*p - 5*p + 3 = 0. Which is smaller: c or a?
c
Let f = 15 - 13. Suppose f*k - 5*k = 0. Suppose -4*n + n + 6 = k. Is 4 greater than or equal to n?
True
Let d = 0 - 1. Let b = -84.3 + 85. Let t = d + b. Is t greater than or equal to 3/2?
False
Let m be 144 + ((-12)/(-3) - 8 - 0). Which is bigger: 139 or m?
m
Let c = 52 - 95. Is -42 less than c?
False
Let j(h) be the second derivative of 2*h**3/3 + h. Let q be j(1). Suppose p + q*p = 5. Which is smaller: p or 2/37?
2/37
Let b be (-1)/(-6)*-778*(-39)/26. Which is bigger: b or 194?
b
Let p be (3/5)/(4/(-20)). Is -6 <= p?
True
Let t be (-1 + (-3)/(-6) - 3)*-2. Suppose 4*s - t = -3. Are 4/7 and s non-equal?
True
Suppose 4*r - 2*k - 42 = 0, r - 2*k = k + 18. Let g(z) = -z + 14. Let m be g(r). Let a be 1/m - (-56)/(-5). Does -12 = a?
False
Suppose -m + k = 4*k + 4, 4*m - 4*k + 32 = 0. Suppose 3*d - 8*d - 3*y - 40 = 0, 4*y = 0. Is m smaller than d?
False
Let g = -17 - -17. Let p = 6 - g. Suppose 0 = -p*z + 2*z - 40. Is -10 at least as big as z?
True
Suppose j = 4*r + 31, 6*j - 2*r - 54 = 2*j. Let g be -2*(-3)/(-4)*-8. Which is bigger: j or g?
g
Let b = -0.13 - -0.24. Is 34 at most b?
False
Let n(h) = h**3 + 10*h**2 - 7*h - 16. Let v be n(-11). Let o = v + 104. Is o greater than 44?
False
Let p = 0.18 + -0.44. Let r = 3.74 - p. Is 1/2 != r?
True
Let k = 1740.19 - 1752. Let z = 12 + k. Let l = z + 1.81. Which is smaller: 0.3 or l?
0.3
Let v(o) = o**3 - 9*o**2 - o + 13. Let t be v(9). Suppose -9*k + 5*k - t = 0. Is k smaller than 4/9?
True
Let a = 150 + -752/5. Is a not equal to -0.004?
True
Suppose -8 = -2*j - 4*g + 18, -j + 4*g = -19. Let x = -5 + 4.9. Is x equal to j?
False
Let t = 1 - -2. Let n = -20 + 25. Suppose j + m = n*m - 16, 5*j - m = 15. Is t greater than j?
False
Let q = 102 - 130. Let b be (-3 - q/8)*(2 + 0). Which is bigger: b or 1/216?
b
Suppose 0*n = 5*n + 5*g - 75, 0 = -4*n - 3*g + 58. Which is greater: n or 4?
n
Suppose 27*o + 30 - 3 = 0. Is o bigger than 30/119?
False
Suppose -3*z + 7*z + 4 = 0, 4*p - 5*z - 5 = 0. Are p and -1/46 nonequal?
True
Suppose -5*j - 23 = 2*u, 2*u - 5*u + 4*j = -23. Let b be ((u - -1) + -1)*(-16 + 11). Which is greater: -6 or b?
b
Let d be (4 + -3)/((-2)/(-58)) + -2. Suppose -d = 5*l 