 = 2*w + 3*d + 71, 188 = -5*w + 3*d - 0*d. Let h = w - -38. Which is bigger: h or v?
h
Suppose -151 + 1 = -5*c. Suppose 6*b - b = c. Let h be (-2)/b*3/1. Which is greater: h or -3?
h
Suppose 62577*y - 62553*y + 936 = 0. Let f = 8 - 44. Which is bigger: f or y?
f
Suppose -32 = -408*j + 410*j - 3*c, 0 = 3*j - 5*c + 53. Suppose -4*n - 4*p + 1 = -3*p, 7 = n - 2*p. Let u be (1/(-59))/(n + 0). Is j not equal to u?
True
Let m(k) = 76*k**2 + 4*k - 4. Let z be m(2). Let n be ((-8196)/z)/(37/1). Let x = -2/407 - n. Which is smaller: 1 or x?
x
Suppose -71*u = -3*f - 69*u + 82, -3*f + 92 = -4*u. Which is smaller: f or 126?
f
Let a = 4305 + -13088/3. Let i = a - -5020/87. Which is smaller: i or 1?
i
Let o be ((-5)/((-50)/(-108)))/(78/(-520)). Let c = -72 + o. Let r be 9/3 - (c + 145/40). Is 0 at least as big as r?
True
Let o(l) = -l**3 + 16*l**2 - 14*l - 27. Suppose 9*v + 126 = 11*v. Suppose -49 = -3*q + 4*w, v - 17 = 3*q - w. Let f be o(q). Is f >= -10?
False
Let y(p) = p**3 - 61*p**2 - 145*p - 98. Let i be y(64). Is 2910 < i?
False
Let i be 3/(2 + -1) + -1. Suppose 3*j = 4*o - 91, i*j + 12 = 2*o - 50. Let k = j - -88. Is k > 56?
False
Let x = 4572 - 4691. Which is smaller: -128 or x?
-128
Let s(i) = -9*i**2 + 3*i + 5. Suppose -4*a + 4 = l + 2, -l - a + 5 = 0. Suppose -7 = t - 6*f + f, -l = t - 4*f. Let x be s(t). Which is bigger: -1 or x?
-1
Let n = 178/103 - -9820/2781. Which is bigger: 4 or n?
n
Let m be 56/12 + (-8)/(-6). Let r be (-8)/24 - (-50)/m. Which is bigger: 5 or r?
r
Let y be (-6 - -20 - 29189/34)/(6/32). Which is smaller: y or -4503?
y
Let l(h) = -h**3 + 19*h**2 + 46*h - 45. Let t be l(21). Suppose 255 = -42*v + t*v. Is -85 bigger than v?
False
Suppose 3 = 2*w + 1. Let c be (-2)/w - (-1 + 14)*-3. Let r = 23 - -13. Which is smaller: r or c?
r
Let i be (96/1560)/(((-12)/(-5))/6). Which is smaller: 134.6 or i?
i
Let x = 457 + -163. Let c = x + -304. Does c = -54/5?
False
Let c(h) be the third derivative of h**4/24 - 13*h**3/6 + 2*h**2 - 5. Let o be c(5). Is o greater than -8?
False
Let k = -867818 + 11274944/13. Is k > -514?
False
Suppose -11*k = 9*k - 3260. Suppose 7*x - k = 5. Which is greater: x or 23?
x
Suppose -86 = -9*s - 14. Suppose 5*f - s*u + 131 = -5*u, -5*u = 5*f + 115. Let n = 24 - 51. Is f less than n?
False
Let r = -31.03 + 232.03. Which is bigger: r or 7?
r
Let c be (10/(-66))/(24/(-9)). Let s(r) = 242*r - 968. Let m be s(4). Is m <= c?
True
Let i be 7/(-14)*-2 - 2. Let h = 18637/231 + -242/3. Is i at least as big as h?
False
Let g be 12/27*((-2)/(-18) + 4240/477). Let q = 2266 - 13565/6. Which is greater: q or g?
q
Let s = -16775 - -16743. Which is bigger: s or -35?
s
Suppose 4407*p = 4283*p + 10540. Let m = 0.06 - 0.36. Which is smaller: p or m?
m
Let z = 14 - 24. Let l = 1796/285 - -17/57. Let n = -7 + l. Are n and z non-equal?
True
Suppose -97*u = -207*u + 103*u + 945. Suppose -4*c - 5*h = -9*c + 665, 4*c + 2*h - 556 = 0. Let n = u - c. Is n at most as big as -2?
True
Suppose 2750 = -3236*t + 3261*t. Is t >= 1/6?
True
Let c = 0 - -3. Let l be 4/c - (-4)/(-8). Suppose -318 + 281 = -37*u. Is l != u?
True
Suppose -93 = 5*d + 42. Suppose k = -4*k, -w - 28 = -3*k. Is d greater than w?
True
Let m be 219/(-5) + (-12)/(-30). Let n = 1474/35 + m. Is -12 at most n?
True
Let f be 7 - ((-74)/(-185))/(1756/30610). Is 0 > f?
False
Let i = 2763.269 + -2763. Does -0.16 = i?
False
Let w be (-35)/(-765)*930/(-1953). Which is smaller: 1 or w?
w
Suppose 17*c - 50 = 7*c. Suppose 0 = 4*g - c*k - 14, 2*g - k - 16 = -12. Is g >= -0.162?
True
Suppose 0 = -5*c - 5*u - 10, 0*u = 4*c + u - 1. Which is bigger: -1/716 or c?
c
Let n = -8726/115 + 11/23. Which is greater: n or -75?
-75
Suppose -64 = 101*x - 103*x. Suppose -226 = s - x. Which is smaller: 2/3 or s?
s
Suppose 3*k = -2*u + 27, 4*u - 35 - 20 = -5*k. Suppose n - 5*a = u, -5*n + a + 2*a + 9 = 0. Let s = 189/130 + 3/65. Is s < n?
False
Let i be (-1)/((-273)/(-2115)) + (-134 - -141). Is i <= 0?
True
Suppose 3*b = -9*b + 144. Suppose 0 = 13*n - 19*n - b. Is -5 less than n?
True
Let a = 53.6 + -53.7. Let u = 247 + -246.885. Are a and u unequal?
True
Let x = -6734 + 6744. Is x not equal to 0.342?
True
Suppose -15 = -3*x, -2*d + 0*d + x + 65 = 0. Suppose d*w - 49*w + 1876 = 0. Which is greater: 133 or w?
w
Let n(p) = -126*p**3 + 5*p**2 - p - 7. Let c be n(-1). Let s(m) = 4*m**2 + 4*m + 6. Let a be s(5). Which is smaller: c or a?
c
Let x = 90 - 159. Let r = x - -76. Which is smaller: r or -4?
-4
Let j = 4849.31 - 4849. Which is greater: -57 or j?
j
Let r = 3 + -3.1. Let b = 346531/41 + -8452. Which is smaller: b or r?
r
Suppose 3*y = 2*v + 2*y - 7, 5*v = -5*y + 55. Let w be -22*4/104 + -5 + v. Do w and -6 have the same value?
False
Let j be -3*21*(-6)/(-351). Let z(f) = 3*f**2 - 9*f + 9. Let k be z(1). Let r(v) = 3*v**2 - 7*v - 8. Let i be r(k). Which is bigger: i or j?
j
Let x = -3013 - -2812. Which is smaller: -199 or x?
x
Let x be 4/4*(-112)/(-4984). Which is greater: x or -2/117?
x
Suppose 3*p = 2*s + 8, -2*s = -3*s + 3*p - 7. Let g = 7937375391/13 + -2917901303525/4779. Let l = -2/4779 - g. Are l and s unequal?
True
Let l be 100/26 - (-86)/559. Suppose -2*n = -l*x, -17 = -x - 4*n - 26. Which is greater: -4/11 or x?
-4/11
Suppose 4*d = j + 76, 4*j = -5*d + 6*j + 98. Let z(n) = 160*n - 923. Let l be z(6). Is d not equal to l?
True
Let o = -4030 + 3441.2. Let c = -589 - o. Suppose v + 2 = -10. Which is smaller: c or v?
v
Suppose 4*t - 12 = 0, 0*d + 5*t + 100 = d. Let s = d + -114. Which is greater: s or -2/135?
s
Let j be (-318)/(-689) + (-41853)/13. Is -16088/5 greater than j?
True
Suppose 53*x + 15272 = 13205. Is x < -270/7?
True
Let q = 420559/447 - -122/149. Is 943 less than q?
False
Let j be (-63)/(-1708)*(-560)/(-84). Is -1 greater than j?
False
Let z = -49394568 - -1303868412167/26397. Let r = 4/419 - z. Suppose 18*v - 6 = 24*v. Is r at most v?
False
Let d(t) = -44*t**2 - 351*t + 11. Let n be d(-8). Which is smaller: -1809 or n?
-1809
Suppose 0 = n + 4*z + 13, 5*z + 20 = -3*n + n. Let i be -2 - (0 + n - -4). Which is bigger: -6/23 or i?
-6/23
Let t be (-560)/(-30) - 8/(-6). Suppose 151 = t*o + 31. Which is greater: o or 1/2?
o
Let s = 3464 + -2210. Let n be (-2)/11 - (-140)/s. Is -1 < n?
True
Let u = 3.095 - 2.765. Let y = 53 - 55. Which is bigger: u or y?
u
Let q = 0 - 3. Let l(m) = -m**2 - 13*m - 26. Let g be l(-10). Suppose -2 = 5*c - g*c, 2*y + 20 = -c. Which is bigger: y or q?
q
Let x = 7936 + -5100. Is x at most 2838?
True
Let s = -6 - -9. Let h be (6 - 0) + (18 - 25). Let d be h/2*18/(-12)*2. Is s greater than or equal to d?
True
Let v be (-6 + 6365/1064)/(2/(-7)). Which is bigger: v or -4/3?
v
Suppose -3*t + 123 = -5*l, 0*l = 3*t + 2*l - 102. Suppose 46*x = 43*x - t. Let j(o) = -o**3 - 13*o**2 - 10*o + 23. Let f be j(x). Which is smaller: 1/19 or f?
f
Suppose n - 3016 = 11*m, -14*n + 812 = -3*m - 19*n. Is m greater than -305?
True
Suppose 3*o + 152 = 41*o. Let g be 14/o*128/416. Do g and -1 have the same value?
False
Suppose 52*x - 60*x - 48 = 0. Let n be x/4*3626/1617. Which is greater: -4 or n?
n
Let w = -67.4 + -287.6. Let s = 355 + w. Is s at least as big as 16?
False
Let x = -954 + 942. Let r be -27*(-3)/(-90)*(-55)/x. Which is bigger: -0.1 or r?
-0.1
Let g = 3352 + -3351. Is 23/65 at least g?
False
Let b = 30 + -130. Let s = b + 144. Suppose c + 7 = 50. Is c equal to s?
False
Let g = 12.957 - 13.057. Let d = 55.69 + -0.69. Let l = d + -54.61. Which is smaller: g or l?
g
Suppose 22*s = 13 + 9. Is -11/272 >= s?
False
Let y be -382*2/2220 + 12*(-5)/(-180). Is 2.8 less than y?
False
Let u be (2/4)/(8565/(-2140) - -4). Let h = u - -95. Is -119 at most h?
True
Suppose 6*o + 298 - 46 = 0. Let m be (o/(-9) + -7)*-3. Is m < -3/8?
False
Let c = 0.0432 - 213.0432. Let j = c + 213. Let r = 1.2 + -1. Which is smaller: r or j?
j
Suppose -2*p = -12*p - 100. Let z = p - -61. Do 52 and z have different values?
True
Let i = -454 + 460. Let g(l) = l**2 + l - 11. Let w be g(-4). Is w != i?
True
Let s = -270 + 393. Let y be 117 - (-1*(6 + 4) + 5). Which is smaller: y or s?
y
Let l(b) = 1078*b**2 - 9*b - 25. Let k be l(-3). Let x = k + -4172723/430. Is 0 greater than x?
True
Suppose -4*g + 3*f - 1945 = 0, -30*f + 20 = -34*f. Is g < -1961/4?
False
Let j be 3/12 - 3246/(-8). Let h = 347 - j. Which is