Is j bigger than k?
True
Suppose 5*p = 2*y + 9, 0 = 15*p - 13*p + y. Is -1 bigger than p?
False
Let l = 747/11 - 68. Let z = -18 + 17. Which is smaller: l or z?
z
Let t = 30 - 30. Suppose 3*g = -t*g + 12. Suppose 5*x - g*x = 3. Which is greater: x or 8/3?
x
Let q = -0.94399 + -0.05601. Let f = 60 - 18. Are q and f nonequal?
True
Suppose 3*t = 2*q - 165, t = -4*q - 3*t + 300. Let j = 56 - q. Which is bigger: j or 1/2?
1/2
Let l = 0.78 + -0.9. Let q = -0.12 - l. Let w = 0.7 - 0.3. Which is smaller: q or w?
q
Suppose -5*r = 1024 - 349. Let n be r/(-70) + -3 + 1. Which is smaller: -1 or n?
-1
Suppose -20*p + 10*p - 410 = 0. Let j = p - -43. Which is bigger: 0 or j?
j
Let v(p) = -3*p**2 - p**2 - 3 + 3*p**2 - 6*p - 4. Let c be v(-3). Suppose -20 = 4*k, k + 1 = 3*m + c*k. Are 3/5 and m unequal?
True
Let b(j) = 34*j. Let n be -4 - (-3 + 3 - 6). Let h be b(n). Are 68 and h equal?
True
Let i be 7 + (-7 - (-520)/10). Which is smaller: 49 or i?
49
Let w be (-1 - (-436)/414)/(52/(-156)). Which is smaller: -1 or w?
-1
Let x(m) = 2*m**3 + 5*m**2. Let c be x(-4). Let g be ((-1)/3 + -1)*c/(-14). Which is smaller: g or -4?
g
Let w be (2/4 + 0)/((-24)/(-48)). Let n be 8*(1 + 24/(-28)). Do n and w have the same value?
False
Suppose 4*p + 4 = -0, -5*p = 3*i + 455. Let g be 80/i + (2 - (-32)/(-15)). Is g bigger than 5/6?
False
Let z(w) = -w + 2. Suppose 0 = -5*p + 1 + 9. Let d be z(p). Let y = 2/71 - -72/2485. Is d at most as big as y?
True
Let s = 24 - 40. Let w be (s/(-28))/(-2) - 0. Let p = -19 - -19.2. Which is smaller: w or p?
w
Let m = -176 + 171. Which is smaller: -40/7 or m?
-40/7
Let f = -56 - -55.77. Let m = f - -21.23. Is 1 bigger than m?
False
Suppose -7*v - 368 = -74. Let x = v - -60. Is 18 at most as big as x?
True
Suppose 23 = -2*m + 7. Let v(q) = -q**2 - 7*q - 1. Let p be v(m). Is -6 less than p?
False
Let j = 0.484 + -0.452. Are 5 and j nonequal?
True
Suppose -3*w - b - 27 = -2*b, -3*b - 36 = 4*w. Let z be -2 + (-4)/((-12)/63). Suppose -3*y = 14 + z. Which is bigger: w or y?
w
Let d = -734 + 742. Let a be (2 - 2)*(-2)/(-4). Suppose a = -g - 0*g + 7. Which is greater: d or g?
d
Let a be (-34)/(-187) - (-417)/(-418). Let y = -6/19 - a. Suppose -2*j = -0*j. Which is bigger: y or j?
y
Let g(d) = d**2 + 7*d - 8. Let i be g(-8). Suppose i = -6*b + b + 60. Is 12 greater than b?
False
Suppose 0 = v - 1 - 0. Let s be v*-1 - 2/(-1). Let a = -52107/8 + 6514. Which is bigger: a or s?
s
Let z = -34 + 48. Let c = z - 14. Is -2/75 > c?
False
Suppose -3*v - 4*b + 7 = 0, -3*b - 30 + 9 = -3*v. Suppose 0 = -w + v, s - w = -s - 5. Do s and 2/141 have the same value?
False
Let a = -37 + 56. Suppose 0 = 18*d - a*d - 216. Let s be d/704 + 1/8. Is s at most as big as 0?
True
Let o be -2*3 - (-6 + (-728)/8). Is o at most 99?
True
Suppose -4*i - 376 = 3*z - 0*z, 2*i = 2*z - 174. Let n = i + 92. Is n equal to -18?
False
Suppose 0 = -20*y + 21*y - 2. Which is greater: y or 121?
121
Suppose 3*k - 5*o + 17 = 0, 0 = -o + 5 - 4. Is k smaller than 10?
True
Let i = 26.046 - 0.046. Are 0 and i nonequal?
True
Suppose -3*y + 108 = -4*p, -70 = 2*y - 4*y + 2*p. Let g = -41 + y. Let c(n) = -2*n**2 - 18*n + 4. Let j be c(g). Is j equal to 6?
False
Suppose -k + 2*r - 22 = 7*r, r - 4 = 4*k. Let o be (0/k)/(3 + -1). Suppose o = 3*g + 4*j - 33, 4*g - 5 - 35 = -4*j. Is g > 6?
True
Let g be 6 - (-8)/(5 + -7). Let h = -25.73 + 26. Is g != h?
True
Let x be 16/48 - 34/(-18). Let i = -104 - -106. Does i = x?
False
Let s = 5.049 + -0.049. Which is smaller: -7 or s?
-7
Let k be ((-694)/16)/((-12)/96). Which is greater: k or 1736/5?
1736/5
Suppose 4*d + 4*f - 244 = 0, -3*d - 2*f + 188 = -0*d. Suppose 2*g - d = 5*o, 2*o + 2 + 10 = -4*g. Are -13 and o non-equal?
True
Let f = 26 - 36. Let z(w) = -w**3 - 11*w**2 + w. Let n be z(f). Let g = n + 1979/18. Is g smaller than -1?
False
Let q be 16/6 + -2 - 1. Suppose 6*r - 19 = 35. Suppose g + 2 = 0, -5*w - 3 = -3*g - r. Is w > q?
True
Let v(u) = -u**2 + u - 2. Let h be v(4). Let c be ((-42)/175)/(h/5). Which is bigger: -1 or c?
c
Let c = 3267/2 - 3361741/2058. Which is smaller: c or 0?
0
Suppose 0 = -113*d + 12855 - 1216. Which is smaller: d or 940/9?
d
Let x = -13989 + 405783/29. Let a = 1121/261 - x. Which is smaller: 0 or a?
0
Let p be (-20)/16*(18/(-345))/3. Which is greater: 1 or p?
1
Suppose -4*x = 88 - 76. Which is smaller: x or 16?
x
Let q = 4.2 - 2.9. Let o = q + -1.34. Let h = 0.04 + o. Is 5 equal to h?
False
Let m = -101.6 - -97.7. Which is greater: m or 7?
7
Let h = 0.031 - 3.931. Let t = h + 4. Let p = -2/9 - 1/9. Are t and p nonequal?
True
Let i = -1.1 + 1. Let u = -7.07 - -7. Let q = -0.01 + u. Which is bigger: i or q?
q
Let p = -0.733 - -0.333. Which is smaller: -4/9 or p?
-4/9
Let b = 1522.035 - 1522. Is b bigger than -0.4?
True
Suppose -2*c = 3*p + 3, -5*p + 13*c - 8*c - 5 = 0. Let y be (4/(-420))/((-6)/9). Are y and p unequal?
True
Let c = 84 - 60. Let z = c + -9. Let f = 15.2 - z. Is -10 != f?
True
Let m(w) = 5*w**2 + 3*w + 2. Let a be m(-3). Suppose 4*f - 4*g - 144 = 0, -3*g - 45 = 4*f - 203. Is f != a?
False
Let i(d) = d**3 - 6*d**2 + 5*d - 35. Let b be i(4). Let f = -43 + -3. Which is greater: f or b?
f
Let i = 18/13 + -49/26. Let m = 16502/25 - 660. Which is bigger: m or i?
m
Let d be ((-71)/2)/(9/2 + -4). Is d bigger than -71?
False
Let q be (-66 - -8) + 5 - -5. Which is bigger: -49 or q?
q
Suppose 2*y - 4*k + 1 = -3*k, -4*k + 12 = 0. Let g(w) = 8 - 1 + 5 - w - y. Let q be g(11). Which is greater: 4/3 or q?
4/3
Let o = -62085 + 495997/8. Let a = o + 85. Let g be (-5)/9 - 5/(-15). Is a smaller than g?
True
Suppose 5*l - 39 = -2*s, -2*s + 0*l + 37 = 3*l. Are 0 and s equal?
False
Let o = 248 + -3722/15. Let k be (-2 + 0)*(-385)/60. Let m = k - 27/2. Is o less than or equal to m?
False
Let h be (673/(-2))/((-105)/42). Let a = 135 - h. Which is smaller: -19 or a?
-19
Let z = -4037 + 4030. Suppose 4*s = -5*f + 14, f - 4 = s - 3. Let a = -1 - f. Are z and a equal?
False
Let b = 124 + -122. Let x(u) = -16*u - 5. Let j be x(b). Is -1 < j?
False
Let c = -7 - -7. Let k be (18/(-176))/(11/1540*21). Is k != c?
True
Let g(c) be the third derivative of -c**6/720 - c**5/40 + c**4/6 + 2*c**2. Let o(h) be the second derivative of g(h). Let u be o(-10). Is u <= 7?
True
Let l = 40.5 + -33. Let y = -12.4 + l. Let b = y + 0.9. Which is greater: b or 0.4?
0.4
Suppose -94*m + 14 = -101*m. Is 2 smaller than m?
False
Let w be (4210/6384)/(2/93). Let r = 15/304 + w. Let o = -31 + r. Is o less than 1?
True
Let i = -150 + 77. Let v = -372 + 298. Is i at most as big as v?
False
Suppose 0 = 4*w + 394 - 130. Suppose 0 = 336*q - 346*q - 650. Which is smaller: w or q?
w
Let i = -12.46 + 12.87. Which is greater: -19 or i?
i
Let h = 513 + -477. Suppose 2*w - 66 = -2*g, -2*w - g + 57 = 4*g. Is w smaller than h?
False
Let q = -651 - -664. Let b = 33 + -98/3. Which is greater: b or q?
q
Suppose 8*c + c = -54. Let i be ((-1 - c) + -3)*(-20)/2. Is i less than -18?
True
Suppose -4*g - 3473 = -27*g. Which is bigger: 150 or g?
g
Let n be (-20 - -50)*(2 - (-537)/(-75)). Does -156 = n?
False
Let y be 6 - 1*2/(-2). Let b(m) = -y + 5*m - 3*m - 3*m. Let q be b(-5). Which is bigger: q or -0.03?
-0.03
Let x = 80448655 - 1381303406923/17170. Let c = -2/505 - x. Which is bigger: 0 or c?
c
Let u(r) be the first derivative of r**3/3 + 2*r**2 + 4*r + 1. Let d be u(-4). Suppose -d*n - 15 = 5*g + n, g - 9 = 5*n. Which is smaller: g or 1/8?
g
Let m = 123 + -132. Is m less than or equal to -10?
False
Let a(o) = -o**3 + 4*o**2 - o - 4. Let q be a(4). Let y be 445/1844 + 2/q. Let s = 1054/15213 + y. Do s and 1 have the same value?
False
Let w(n) = n**3 + 9*n**2 - 3*n - 27. Let x be w(-9). Suppose -3*g + 2 = -1, 0 = -2*v - 4*g + 8. Let d = x + v. Which is greater: 3/4 or d?
d
Let k be 18/(-156)*(-4)/(-3). Suppose -3*q - 3 + 0 = 0. Which is smaller: q or k?
q
Let p(j) = -j**3 - 6*j**2 - 4*j + 8. Let g be p(-5). Suppose g*a - 4*i - 122 = -0*i, -5*i + 215 = 5*a. Which is bigger: 41 or a?
a
Let r(f) = f**2 - 60. Let d be r(8). Which is smaller: 0.4 or d?
0.4
Let n = 9 + -10.7. Let f = n - -1.6. Let w(j) = -j**3 + 8*j**2 - 7*j - 1. Let p be w(7). Which is smaller: f or p?
p
Let r be 18 + (4 - (-1 + 2)). Suppose -6*l - r = 33. Let p be 37/l - 2*-2. Which is bigger: p or 1?
1
Let q(a) = -a**2 - 12*a