). Suppose -4*j = j - 20. Suppose -x - j = -4*m + 7*m, -3*x + 5*m = -2. Does x = f?
False
Let w be (-3)/4 + (-122)/8. Let g be (631/(-6))/((-22)/w). Let s = 230/3 + g. Does s = -1?
False
Let a = 15889/21 - 757. Are a and 1 non-equal?
True
Let k = 14 + -15. Which is bigger: -2/9 or k?
-2/9
Suppose -3*b - 2*b = 20. Are -4 and b unequal?
False
Let a(u) = 12*u**2 + 2*u. Let z be a(2). Suppose 5*r + n = -0*n + z, 5*n - 50 = -4*r. Let j be ((-1)/r)/((-4)/(-30)). Is j >= -2?
True
Let v(b) = -54*b - 2. Let j be v(2). Let q be 2/(-9) + j/315. Let g = 9 + -9. Which is bigger: q or g?
g
Let n be (24/(-63))/8*(0 + -6). Which is bigger: -2/3 or n?
n
Let m(w) = 4*w - 47. Let v be m(12). Which is bigger: 4/5 or v?
v
Let w = 2/27 + 7/27. Let s = w - 2/15. Does 0 = s?
False
Let q = 15 - 4. Let r = q + -13. Is -2 <= r?
True
Let s = 7.7 + -8. Let g = -13 + 13.02. Let j = g - 0.12. Is j less than s?
False
Let i be 3 + -2 + 2 + -3. Suppose 2*q - 22 = 3*h - 2*q, i = -h - 2*q - 4. Let x = 5 + h. Is x equal to 2?
False
Let d be 32/36*-3*(-21)/(-2). Which is smaller: d or -26?
d
Let y be (1/1)/((-1)/(-3)). Let a be (-2)/6*6/y. Which is greater: a or 0?
0
Suppose -3*t = 1 - 7. Suppose 2*f = -5*c + 23, 0 = t*f - 4*f - 2. Which is smaller: c or 4?
4
Let s = 0.07 - 2.07. Let z = -4 - s. Which is bigger: -1 or z?
-1
Let z = 935/13 + -72. Are -0.1 and z nonequal?
True
Let y(v) = -56*v - 1. Let j be y(-1). Suppose 3*z + 2*d - 6 = 0, 2*d + 14 = -3*z + 5*z. Let r be z/10 - 132/j. Is -3 not equal to r?
True
Let h = 48/7 - 7. Suppose -5*n = -3*n. Is n less than or equal to h?
False
Let x be (0 - -2 - 2)/3. Let i be (1/13)/1*340. Let s = i - 26. Is x at most as big as s?
True
Let x = -2/93 - 461/186. Let p(f) = -f**3 + 10*f**2 - 8*f - 5. Let h be p(9). Suppose 0 = 3*a - 4*r + 17 + 3, h*a + 8 = -4*r. Which is bigger: a or x?
x
Let f = 91 - 106. Which is greater: -13 or f?
-13
Let x = -0.02 - -0.02. Let j = -0.1 - x. Is j less than 0?
True
Let r = -0.63 - -0.53. Which is greater: -44 or r?
r
Let q be 7 + 4/(-1) - 4. Which is bigger: -2/31 or q?
-2/31
Let s = 2 + -2. Let a be 6/(-9) - (-2)/3. Is a less than or equal to s?
True
Let a = 4 - 3. Is a at least 1?
True
Suppose 9*t = 4*t - 35. Let x be 1/(-2) + t/(-14). Which is smaller: x or 3/10?
x
Let l(i) be the second derivative of i**3/6 + i**2/2 + 4*i. Let s be l(-6). Is s at most as big as -2?
True
Let t = -32 + 26. Are t and 2/19 equal?
False
Let y = 759/2041 - -2/157. Which is bigger: y or 1?
1
Let p = 7 - 4. Let u(c) = 3*c**3 - 5*c**2 + c - 6. Let g(x) = x**3 - x**2 - 1. Let d(h) = -2*g(h) + u(h). Let s be d(p). Do -1 and s have different values?
False
Let r(n) = -7*n + 20. Let z(h) = -10*h + 30. Let p(l) = 7*r(l) - 5*z(l). Let c be p(8). Let w be c/(-4)*2*1. Is w < 2?
True
Let g = 58.9 + -58. Which is smaller: 2 or g?
g
Let k(g) = 2*g + 26. Let w be k(-9). Which is greater: 34/5 or w?
w
Let n(l) = 3*l**3 - l. Let r be n(-1). Let z(k) be the second derivative of k**3/6 + 2*k. Let a be z(r). Is -6/11 greater than or equal to a?
True
Let w = 5 + -7. Do 2/7 and w have different values?
True
Suppose 0 = -4*z + 12, -13 = -4*j - 4*z + 19. Let p be ((-1)/5)/(4/j). Which is bigger: -1/5 or p?
-1/5
Suppose 0 = -2*x - 0 + 4. Let b(z) be the first derivative of -z**3/3 + 2*z**2 + 2*z + 5. Let c be b(4). Is x at most c?
True
Suppose -7 = 3*t + 11. Which is bigger: -5 or t?
-5
Let w = -526 + 1552/3. Which is smaller: w or -10?
-10
Suppose 3*i = 6, i = g + 4*i - 10. Suppose 0 = 4*b - 5*n + 41, -b - g*n + 3*n + 1 = 0. Let a = b + 5. Which is smaller: a or -2/7?
-2/7
Let z = -5.3 + 5. Let i = 2.3 + z. Which is smaller: 0 or i?
0
Let r(x) = x**3 + 3*x**2 + 2*x + 3. Let y be r(-3). Let c be (-3*2 - -1) + 2. Is y < c?
False
Let d = 1/65 - 33/1300. Is d < -0.1?
False
Let o = -0.02 + -0.98. Let b = -1 - o. Which is bigger: b or -1?
b
Let a = 0.041 + -1.041. Is -0.049 greater than a?
True
Let k = 2 + 12. Suppose -2*n + 3*p + k = 0, 2*n - 22 = p + 4*p. Let m be 21/(-18) - 0 - -1. Is n less than m?
False
Let o be (-4)/(-14) - (-5716)/(-14). Let m = o + 4495/11. Let p = m - 27/77. Which is smaller: p or 2?
p
Let l = -6.085 - -6.1. Which is smaller: l or 0.1?
l
Suppose 21 = r - 0*r + h, -5*r + 75 = -5*h. Is r >= 15?
True
Let n = -8 + 14. Let l be (9/n - 0) + -2. Which is greater: -1 or l?
l
Let x(w) = -2*w**2 + 1. Suppose -2*s = 2*i - 10, 4*s - i = 3*s - 3. Let k be x(s). Let j be ((-432)/210 + 2)*5. Which is bigger: k or j?
j
Let a = 35638273/898820 + -3/44941. Let c be 2/8 + (-3 - -43). Let p = c - a. Which is smaller: 1 or p?
p
Let u = 24 + -13. Which is smaller: u or 12?
u
Let z be (-2 - 1)/((-12)/(-8)). Which is bigger: z or -3?
z
Let t = 0.2 + -0.2. Let b = t + 0.1. Let s = -111 - -1219/11. Which is greater: s or b?
b
Suppose -9*a - 3 = -6*a. Are a and -3/10 nonequal?
True
Let a = -0.44 - -0.6. Let o = -0.06 + a. Which is bigger: o or 2/11?
2/11
Let m be ((-12)/10)/((-6)/20). Suppose -m*b - 1 - 3 = 0. Which is greater: b or 3/11?
3/11
Let h = 50/3 - 91/6. Let s be 8/6*(-2)/4. Is s less than h?
True
Let w be -1 + 1*-2 + 1. Let t be w*1/1 + -4. Is -5 at most as big as t?
False
Suppose -4*i - 24 = -j - 3, -2*i = -j + 11. Let b be (-4)/6 - (-120)/153. Is j less than b?
False
Suppose 5*h + 510 = -0*h. Let j = 712/7 + h. Let x = 0 - -1. Is x smaller than j?
False
Let d be -8 + (-5)/(20/(-8)). Which is bigger: d or -3?
-3
Let b be -3*(-2 - -4) - -5. Which is greater: b or -1/6?
-1/6
Let k be 13/5 - (-10)/25. Let w = -1 + k. Suppose -z + 0*z - 5*u = 3, 0 = w*z - 2*u + 6. Is -3 not equal to z?
False
Let t = 13.4 - 13. Which is smaller: t or 0?
0
Let o(f) = -f**3 - 8*f**2 + 10*f + 12. Let a be o(-9). Suppose -13 = y + 4*m - 0, -a*m - 14 = 5*y. Is y bigger than -3/26?
False
Suppose -8*t - 3895 = -3*t. Let l = t - -22593/29. Is l less than 1?
True
Suppose 5*h = -0*h + 70. Let n = 2 - 2. Which is greater: h or n?
h
Let q be 1/((-24)/(-70)) - 7/28. Are q and 3 unequal?
True
Let o(x) = x**3 - 4*x**2 - 7*x + 6. Let z be o(4). Is -23 at least as big as z?
False
Let v = 13.1 + -13. Is -0.03 less than or equal to v?
True
Let y be -1 + 2473/15 - -2. Let s = y - 166. Are 0 and s equal?
False
Suppose -2*f + 11 = -a, 0 = -2*f + f - 2*a - 7. Suppose -15*g = -29*g + 70. Is f greater than or equal to g?
False
Let x = 25 - 19. Is 1 at most as big as x?
True
Suppose -3*r - 3 = 6. Suppose 3*v - 2*w = -28 - 6, w - 12 = v. Let o be (v/5)/((-10)/r). Is o less than 0?
True
Suppose 0 = 6*m - m - 5, -4*b - 2 = -2*m. Suppose b*n - 5*n = 0, -2*l + 2*n = -8. Is 4 at least as big as l?
True
Let x(d) = -d - 5 + 0*d**3 + 3*d**2 + 2 + d**3. Let b be x(-3). Is b smaller than -1?
False
Let n(d) = d**2 + 5*d + 10. Let y be n(-4). Let s be 21 - 0*1/2. Let i be y/s - 99/(-21). Which is smaller: 4 or i?
4
Let i = -32 - -31. Which is bigger: i or -0.99?
-0.99
Let i = -51 + 253/5. Is i >= -3?
True
Let r(g) = -10*g**3 + 2*g**2 - g. Let n be r(1). Let y be (n/2 + 3)/3. Is y != 0?
True
Let q = 0 + 1. Let j(v) = -7*v + 5. Let o be j(-7). Let i be 15/o + 2/9. Which is greater: q or i?
q
Let q = -4 + 3. Let g = -4.6 + 5. Let f = -0.6 - g. Do f and q have the same value?
True
Suppose 0*p = -5*b - 3*p + 15, 3*b - 4*p = 9. Suppose -4*y = 4*g - 60, -5*g - 13 = -2*y - 53. Suppose -4*x = x - g. Which is greater: x or b?
b
Suppose 5*n + 6 = -69. Is -15 smaller than n?
False
Suppose 3*k - 139 = 41. Let b be k/27 - 2/9. Let y(i) = i**2 + 2*i - 3. Let x be y(b). Which is bigger: x or 4?
x
Suppose -3*t - 2*x + 23 = -3*x, -5*x = t - 29. Is 3 less than t?
True
Let h be (3 - 0)*2/(-7). Suppose 5*s - v + 10 = -0, -3*v - 6 = 3*s. Which is bigger: s or h?
h
Suppose 5*w = -0 + 40. Suppose -4*h + w = n, -h = -3*h + 4. Which is bigger: n or -2?
n
Let u be ((-2)/9)/(-2 + 12/18). Let k = -3 - -2. Is k < u?
True
Let v(a) = 9*a - 1. Let w be v(1). Let z be (6/(-9))/(7/(-21)). Suppose 0 = -z*h - 2*h - w, 1 = f - h. Which is smaller: f or -2?
-2
Let s be (-1 + -1)*-1 - 0. Suppose 0 = -s*c - 4*x - 20, 4*c = -4*x + 2*x - 22. Let k = c - -3. Which is greater: 1/5 or k?
1/5
Suppose -5*g + 17 = 7. Suppose -h = -g*h. Which is smaller: h or 2?
h
Let m be (-6)/27 + 44/36. Suppose -2 - m = 3*b. Which is smaller: b or 1/3?
b
Suppose 52*p = 56*p. Is 1.5 != p?
True
Let y be (0 - 561/(-18)) + 3. Let f = y - 34. Is 0 bigger than f?
False