greater: -3/7 or q?
-3/7
Suppose -2*b - 7*b - 387 = 0. Let r = b - -89. Suppose 3*t + 3*j - 109 = -19, 2*t - 5*j - r = 0. Is t equal to 28?
True
Let h = -1222 - -1151. Let s(z) = z**2 + 4*z - 2. Let d be s(-4). Let t(k) = 34*k - 3. Let b be t(d). Is h > b?
False
Let w be -3 - 8/(3 - 5). Let c(h) = 29*h + 1. Let z be c(w). Suppose 3*t = -2*f + 78, 4*f + 23 = -5*t + 173. Are f and z non-equal?
False
Suppose -6*c + 75 = 63. Let a be (-524)/(-134)*17/(-34) + c. Which is greater: 0 or a?
a
Let n(c) = -2*c - 4. Let q be n(-6). Let x = -431 + 431. Let y be x/(3 - q)*-1. Do y and -4 have the same value?
False
Let s = -10 + 107. Let n = -97.09026 + 0.11026. Let w = s + n. Which is smaller: 0.03 or w?
w
Let s = -41 - -26. Let u be 60/(-8)*(0 + (-33)/s). Is u at least as big as -17?
True
Let v(z) = -z**2 - 36*z - 113. Let m be v(-13). Which is smaller: m or 187?
m
Let c be (0 - 2/(-6))/((-3)/(-1206)). Suppose -238 = 5*a + 4*l, 0*l + 2*l = 3*a + c. Let h = a - -136/3. Which is smaller: h or 0?
h
Let m = -2533386 + 32917094/13. Let q = 1303 + m. Let g(k) = 8*k - 134. Let p be g(17). Which is greater: p or q?
p
Let w be ((-33)/22)/(9/672). Let u be -24*12/w*2/(-3). Is -2 <= u?
True
Let b = 1/8513 + -17035/76617. Is -127 <= b?
True
Let u be 20/45 + ((-182820)/54)/(-10). Is u at most 335?
False
Let h(o) = 15*o - 82. Let r be h(21). Suppose 229 = 3*m - d, 0 = -m - 2*m + 5*d + r. Is 74 equal to m?
False
Let b = 882884/103 - 8572. Which is smaller: -1 or b?
-1
Let h = -5133.002 + 5157. Let x = h + 0.002. Let m(r) = 1049*r + 8391. Let q be m(-8). Is q equal to x?
False
Let s(w) = -36*w + 1355. Let o be s(38). Let p be (-4)/(-14) + (-23)/7. Is p at least o?
True
Let h(v) = -11*v + 2*v - v - 5*v - 36 - 5*v. Let s be h(5). Is -136 less than s?
False
Let v(d) = -d**2 - 10*d. Let a be v(-9). Let x = -454 + 464. Is a bigger than x?
False
Suppose -16*k + 5*c = -12*k - 4925, -3*k + 3*c + 3693 = 0. Is 1233 bigger than k?
True
Suppose -2*h = 5*f + 21, -h - 3*f = 11 + 2. Let c(d) = 9*d - 15 + d**h - 4 + 6*d + 3*d. Let i be c(-19). Is -0.22 bigger than i?
False
Let h be ((-10)/7 + 2)/(146/511). Let x be 84/(-140) - h*(-66)/20. Let b(f) = f**3 + 4*f**2 + 2*f + 4. Let v be b(-3). Which is smaller: v or x?
x
Let f(d) = -d**3 + 1. Let v be f(1). Suppose 0 = -2*a - 3*z + 3, -7*a + 5*a + 5*z + 11 = 0. Let k be v/(2 - (a + 2)). Is -2 < k?
True
Suppose 2*r = 3*z - 7, -r + 2*z = -5*r + 26. Suppose 2*k = -3*v, 6*k - 2*k + r = -4*v. Which is bigger: v or 27/19?
v
Suppose 2*i + 5*y = 3*i - 200, -5*i + 2*y = -931. Suppose 0 = 13*f + 5*d - 2358, 99*d = -3*f + 101*d + 582. Is f not equal to i?
True
Suppose 35*k = -13*k + 2688. Which is greater: 1186/21 or k?
1186/21
Let k(d) = -2*d + 17. Let f be k(8). Let s be (404/(-10))/(1/(-5)). Let n = -2829/14 + s. Is f <= n?
False
Let i(m) be the third derivative of -m**6/120 - m**5/20 - m**4/24 + m**3/6 + 55*m**2. Let t be i(-3). Is t smaller than 13?
True
Let x(t) = 16*t**3 - t**2 - t + 1. Let m be x(1). Let h = -50 + m. Let j = h - -69. Does 34 = j?
True
Suppose 101 = -4*m - 43. Let k(i) = 3*i**2 + 19*i + 2. Let p be k(-9). Let x be p*((-7)/(-2) + -4). Which is greater: m or x?
m
Let l(o) = 108*o + 4212. Let h be l(-39). Which is smaller: h or -6/2425?
-6/2425
Let g = 9.1 - 0.1. Let x = g + -8.9. Let z be (-57)/495 + 14/77. Is z > x?
False
Let w = 479 + -476. Suppose 0 = 3*k + k - 2*h - 536, -w*k + 403 = -2*h. Do 134 and k have the same value?
False
Suppose 28 + 56 = 25*o - 41. Which is smaller: o or 76/17?
76/17
Suppose 37*c = 41*c - 84. Suppose c*q - 4 = 19*q. Suppose 0 = -q*y - 8*w + 3*w - 24, -4*y - 5*w = 68. Which is smaller: -21 or y?
y
Let s(d) = d**2 + 6*d - 5. Let o(u) = u**2 + u. Let b(j) = 3*o(j) - s(j). Let h be 4 - 2/8*0. Let y be b(h). Which is smaller: y or 26?
y
Let p = -33850 - -34038. Is 5/8 greater than p?
False
Suppose t - 3*i - 36 = -8*i, 3*i - 58 = -2*t. Suppose -q + 2*r - t = -r, r = -3*q - 28. Is -3/7 equal to q?
False
Let i be (-30)/4*40/15. Let h be (-8)/i + 456/10. Let r = 457 + -456.9. Which is smaller: h or r?
r
Let k = 1 - 1. Let g = 250 + -255. Let p be 25*-2*(-4)/(80/g). Which is smaller: p or k?
p
Let s = 2021/6 + -19533/58. Are -1 and s equal?
False
Let q(c) = c**3 + 13*c**2 - 21*c - 395. Let v be q(-12). Which is greater: -386/11 or v?
v
Let r = -1.0585 + -0.2915. Which is bigger: 0.05 or r?
0.05
Let v = -52 + 47. Let u be 5/v + 5 - (0 + 4). Which is smaller: u or 2/479?
u
Let n = 2510 - -2486. Is 4994 < n?
True
Suppose -g - 1225 = 4*x + x, 3*g = 0. Let n = 206 + x. Which is bigger: n or -30?
-30
Let d be (-6075)/7 + (-25 - (-3828)/154). Which is bigger: d or 0.5?
0.5
Suppose 59 = -2*g - 63. Let c = -249 - g. Let t = c - -4137/22. Is 1 at least t?
True
Let c = -1.1 - -0.1. Let v = 4786.4 - 4513.4. Which is smaller: c or v?
c
Let b be (7/(70/15))/((-6)/(-16)). Suppose 3*m + 123 = 4*j + 408, -20 = b*m. Let o be (33/44)/(j/8). Is o greater than -1?
True
Suppose 0 = t - 2*g - 18, 2*t - 3*t - 4*g = 0. Suppose t*b - 8*b = 12. Suppose -389*k - 18 = -392*k. Is b less than or equal to k?
True
Let k = 51.5 - 90.1. Let u = k - -36.6. Which is bigger: -67 or u?
u
Let m = -26598 + 26595. Let d be -2 + 10/8 + 0. Which is bigger: d or m?
d
Let g be (-1 - 1/(-1))/(-1). Let k(r) = -r**3 - 32*r**2 - 32*r - 32. Let c be k(-31). Let s be c*2/2 + 330/335. Is g smaller than s?
False
Let h(z) = -z - 11. Let b be h(-8). Suppose 0 = 20*l - 10*l. Suppose -v + 9 = -2*v + a, 3*v - a + 17 = l. Which is bigger: v or b?
b
Let t(s) = -2*s - 30. Let h = 19 - 15. Let m be (0/(-2) + -4)/(1/h). Let v be t(m). Which is bigger: 6 or v?
6
Suppose 4*n - 5*w + 33 = 5*n, -4*n + 4*w + 12 = 0. Let u be 1360/n*(34/30 - 1). Is 24 at most u?
False
Let x = 9 + -4. Suppose -x*v + 6*v = 7. Let a = 4 - v. Is a less than -3?
False
Let x = 29 + -25. Let w = -4.3 + x. Let h = 0.7 - w. Which is smaller: -0.043 or h?
-0.043
Let d be 62/(-4) + (20/(-8) - -3). Let n be (-212)/(-10) + (18/d - -1). Suppose -5*i + 3 = -p - 22, -i - n = 5*p. Which is smaller: -8 or p?
-8
Let q = 288 + -434. Let v = q - -195. Which is smaller: 48 or v?
48
Let b(c) = 12*c - 840. Let n be b(69). Which is greater: -134/11 or n?
n
Suppose 7*v + 4*p - 885 = 2*v, 3*v = 5*p + 494. Let w = 34 - v. Is w at most -138?
True
Suppose -4*v + 17 = 5*a - 14, 5*a + 23 = 2*v. Suppose v*w - 96 = 138. Which is smaller: 25 or w?
25
Suppose -2*o + 3*l - 383 = 0, 0 = 2*o + 4*l - 0*l + 390. Let q be (-30)/(-70) + o/(-7). Is 28 at most as big as q?
True
Suppose 4*b - 2*k + 6 = 0, 5*k + 0*k = -3*b + 28. Let n be 49/(-21) + (b - -1). Is 0.2 != n?
True
Suppose -5*d + 6*d - 2*a - 20 = 0, -2*d = -3*a - 42. Suppose 3*q - 12 - d = 0. Let n be 6/q + -5*(-3)/6. Is 2/25 > n?
False
Let x = -14171 - -17118. Which is bigger: x or 2946?
x
Let j(y) = -251 - 6*y + 56 + 18*y + y. Let k be j(15). Is k equal to 14/27?
False
Let l = -5029.2 + 5029. Let z(q) = q**2 - 4*q + 2. Let m be z(6). Suppose -3*f = -5*f - m. Which is greater: l or f?
l
Let n = 172 + 36. Let f = n + -120. Does 89 = f?
False
Suppose 5*m = -3*x - 2 - 8, 4 = 4*m. Let o(u) = u**3 + 4*u**2 - 3*u + 9. Let q be o(x). Is 2/195 greater than q?
True
Let k(p) = 7*p - 10. Let u be k(10). Suppose -14*s - s = -u. Suppose 8*c + 16 = s*c. Is c at most 1?
True
Let x = -21221.43 + 21222. Do 22/9 and x have different values?
True
Suppose 476 = 16*n - 2*n. Suppose -5*j + 2*l + 51 + 31 = 0, -60 = -4*j - 4*l. Let r be n/8 - j/4. Is -1/5 < r?
True
Let j(m) = -68*m + 340. Let r be j(5). Which is greater: r or -1/318?
r
Let y be 652/489 - 2048/1554. Are 0 and y equal?
False
Let d(y) = y**3 + 12*y**2 - 15*y - 31. Let s be d(-13). Suppose -26 = 5*u - 6. Let v = 0 + u. Which is bigger: s or v?
v
Suppose 22*l + 2833 = -2359. Let d = 235 + l. Are -2/101 and d nonequal?
True
Let g = 3092.41 + -3178. Let o = -1.59 - g. Let t = o + -89. Which is bigger: t or -10?
t
Let m = -316333/187 + 28819/17. Let g = 63/17 - m. Which is bigger: g or -20?
g
Let t(s) = 963*s - 5732. Let p be t(6). Let o be (4*5)/((-6)/(-15)). Which is greater: p or o?
o
Let d be (-420)/(-252) - 1/(13/50). Which is smaller: d or -2?
d
Let v = -9464 + 5962321/630. Is v bigger than 0?
True
Suppose -440 = 6*q - 11*q. Let x be -73 + 0/(-1 + -4). Let v = q + x. Is v < 15?
False
Let t be (-3)/2 - 4988/88. Let c = 8584/143 + t. W