ller: 24 or j?
24
Let u = 49 - 99/2. Is 9 smaller than u?
False
Let j(f) = 13*f - 193. Let t be j(19). Which is smaller: t or -2/3?
-2/3
Let p = -3 - -24. Let v = p + -26. Is -30/7 bigger than v?
True
Let j(y) = 8*y**2 - 14*y + 74. Let m be j(5). Is m at most 204?
True
Let l be 10/(-105)*(-114)/4. Which is greater: 4 or l?
4
Let p(l) = -l**2 + 3*l - 2. Suppose -2*s + 14 = -9*s. Let w be p(s). Is -12 less than or equal to w?
True
Let c = 7 - 6. Let z(w) = 10*w**3 - w**2 + w. Let k be z(c). Let f be (1 - 0)/(18 - k). Which is smaller: f or 1?
f
Suppose 4*b - 3*b - 95 = 0. Let u = b - 76. Which is greater: u or 2?
u
Let x be ((-1)/(-2))/(5/780*-21). Let a = 61 + -60. Are x and a nonequal?
True
Suppose 0 = 35*i - 29*i. Are -7/150 and i equal?
False
Let f be 2/(-16) + 156/3552. Which is smaller: -1 or f?
-1
Let m = -137 + 96. Let d = m + 42. Which is bigger: 2 or d?
2
Suppose 0*z + 3*c = 2*z - 23, 5*z = -2*c + 48. Suppose -3*p + z = 13. Which is smaller: 1 or p?
p
Let c be (-1)/(36/20 + -2). Let o be (-10)/(-4) - 1/(-2). Suppose w = -c*n - 10, 4*w + 28 = -o*n - w. Which is bigger: 0 or n?
0
Suppose 2*d - 2*u = 0, -2*d + 0 - 6 = 4*u. Which is greater: 4/103 or d?
4/103
Let s = 1241/6 + -596/3. Suppose 7*v - 3*v = k + 10, 4*v = -3*k - 14. Which is smaller: v or s?
v
Let l = -355 + 364. Is 87/10 < l?
True
Suppose -2*i + 0*i + 2*h + 24 = 0, 8 = -2*h. Let d be ((-126)/(-168))/((-3)/(-8)). Suppose d*f = -i - 8. Is f < -17/2?
False
Let i be 120/(-30) - 60/(-14). Which is bigger: i or -0.005?
i
Let o be (2/549)/(-4 + (-80)/(-18)). Suppose -5*i - j - 4 = -0, 20 = -5*j. Which is bigger: o or i?
o
Let c be (-119)/(-315) + 4/18. Is 0 >= c?
False
Suppose -3*p + 5*v = -23, 2*p - 3*v + 3 = 19. Do p and 0.15 have the same value?
False
Let l = 390.8 - 586.1. Let a = 183 + l. Let j = a + 12. Which is smaller: -0.01 or j?
j
Let y(i) = -i - 12. Let q be y(-16). Suppose -q = -r + 19. Is r at most as big as 24?
True
Suppose -3*z = -5*h - 21, h + 2*z + 15 - 3 = 0. Let u be 9/h*62/(-8). Let r = 259/24 - u. Which is smaller: -2 or r?
-2
Let k(m) = m**3 + 16*m**2 + 20*m + 3. Let y be k(-15). Let o be (-74)/9 + (-16)/y. Let j(b) = b**2 + 9*b + 8. Let f be j(o). Is -2/19 bigger than f?
False
Let n = 92 + -98. Let f be (n/(-3))/2 + -2. Is f != -3?
True
Let r(w) be the third derivative of -w**6/120 - w**5/12 - 5*w**4/24 + 7*w**3/6 - 5*w**2. Let h = 54 - 59. Let v be r(h). Does 32 = v?
True
Suppose 0*t + 8 = 2*t. Let u = -81839/532 - -9/76. Let i = u - -154. Do t and i have different values?
True
Let y(r) = -r**3 - 8*r**2 + 2*r - 9. Let o be y(-10). Let j be 2/7 - o/84. Which is smaller: -2 or j?
-2
Suppose 13*c = 16*c - 54. Let d be (-24)/c*(-3)/10. Is 4 at most d?
False
Suppose -5*v - 5*m + 20 = 0, 0 = -5*m + 1 - 11. Suppose -v*b + 48 = -3*q - 3*b, 0 = -q + 5*b - 36. Which is smaller: q or -12?
-12
Let o = 0.58 + 38.42. Let r = 38.98 - o. Is r at most 1/4?
True
Let i = -49 - -51. Let n be (-1)/((i + 0 + -1)/(-33)). Is -0.2 less than n?
True
Let w be 8/24 - 19/(-33). Is w less than 0?
False
Let r = -0.0037 - 0.2973. Let p = r + 0.101. Which is smaller: p or -3?
-3
Let i = 4/3849 - -13251/6415. Which is bigger: i or 2?
i
Let g(a) = 8*a - 12. Let m be g(-7). Suppose 5*b = -3*w - 214, -w - 56 = -b + 10. Are m and w equal?
True
Suppose -4*t + 9 - 17 = -3*w, -2*t = 3*w + 4. Suppose -x + 4*x = -w*x. Which is smaller: x or 1/31?
x
Let j(d) = d**3 + 17*d**2 - 19*d + 17. Let l be j(-18). Let v be 166/10 + 14/l. Let i = 13 + v. Is i at most 30?
True
Suppose 2*t + 18 = -t. Let f = -2 - t. Suppose m = -f*w + 5*m + 12, -4*w + m + 21 = 0. Is w greater than 6?
False
Suppose -5 - 29 = 3*l + 5*d, 3*d + 30 = -3*l. Let a be ((-21)/28)/(2/l). Let z(j) = -3*j + 6. Let q be z(a). Which is bigger: 2 or q?
2
Suppose 47*w - 69 = 48*w. Suppose -o - o + 3*l = 142, 4*o - 5*l + 282 = 0. Which is smaller: w or o?
w
Suppose 3*g = j - 3, j + j + 2 = -2*g. Let v be 3/(-3) - (-1 + g). Let b be (0 - v) + (4 - 4). Which is smaller: -2 or b?
-2
Let p = -2 - -9. Let g(b) = -b**2 - 20*b - 6. Let c be g(-19). Suppose -3*x = -11 - c. Which is smaller: p or x?
p
Let z = -2 + 6. Let a = -37 - -39. Suppose -a*n = -q, 0*q = 5*q + n - 22. Is q smaller than z?
False
Let f be (-1)/(-3) - (-26)/(-6). Let q be -2*-6*f/16. Does -1 = q?
False
Let c be (1 + 0)/(-7) - (-8928)/64260. Is c not equal to 0?
True
Let m = 0 + 1. Let y = 1 - m. Let u = 509 - 507. Do u and y have different values?
True
Let j = -37 + 17. Let q = -20.1 - j. Are q and 0.09 equal?
False
Suppose 0 = 6*c - 4*c - 90. Let o = 34 - c. Which is bigger: -13 or o?
o
Let h be (-221)/(-468) - 4/16. Is h >= -84?
True
Suppose -9*r + 5*r + 3*y - 8 = 0, 0 = 4*r + 3*y + 8. Which is greater: -42/25 or r?
-42/25
Let g be (-118 - -5) + (19 + -4 - 9). Does g = -107?
True
Suppose -125 = -s - 2*w, -245 = -6*s + 4*s + w. Suppose 3 = -5*f + s. Is f < 24?
False
Let a = -1809 + 1809.067. Which is greater: 16 or a?
16
Let d = 50.5 + 222.5. Is 1 != d?
True
Let k(p) = -2*p**2 + 19*p - 11. Let f be k(9). Let x be -1 - (f/(-5))/(1/(-5)). Are x and -1/60 equal?
False
Suppose -3*a + 20 = v - 0*a, 4*v = a + 28. Let j(d) = d**3 - 8*d**2 - d + 7. Let p be j(v). Which is greater: -2/89 or p?
-2/89
Let y be (8 + 5222/(-658))/(3/2). Which is smaller: -4 or y?
-4
Suppose -9*d = -46*d - 2479. Is d <= -69?
False
Suppose -3*d = -d + 2*r, -4*d - 5*r + 2 = 0. Is -30/19 greater than or equal to d?
True
Let t be 3*(291/9 - -2). Let l = -72 + t. Suppose 3*a = -3 + 99. Which is smaller: l or a?
l
Let i = -32 - -10. Let s = -12 - i. Let j = 26 - s. Is 16 greater than j?
False
Let o = -4.3 + 4.2. Which is smaller: 9/83 or o?
o
Let f = 113/735 + -1/49. Is f at most 30?
True
Let v = -914 + 3683/4. Do 6 and v have the same value?
False
Let d = 7 + 4. Let r = 172.9 - 184. Let c = r + d. Which is smaller: -2/5 or c?
-2/5
Let t(q) = -79*q**2 + 2*q + 4. Let c be t(-2). Which is smaller: -629/2 or c?
c
Let h = 51 + 9. Let r = h - 58. Which is smaller: 4/3 or r?
4/3
Let f = -0.09 - 0.07. Let s = f + 0.31. Let q = s - -10.85. Which is greater: 1/3 or q?
q
Suppose 0 = -u - 4 - 74. Let b = 77 + u. Are 3/16 and b non-equal?
True
Let j = 0 + 10. Let m be (-1)/(51/34)*6/16. Which is greater: m or j?
j
Suppose 33*l = -297 + 33. Let t be ((-5)/(-10))/(5/(-92)). Which is smaller: l or t?
t
Let k(w) = -2*w**3 - 26*w**2 + w - 9. Let i = -21 + 8. Let c be k(i). Is -22 equal to c?
True
Let x = 1823/4 - 452. Let n(g) = -g + 17. Let c be n(10). Suppose 0 = -c*s + 48 - 13. Which is bigger: s or x?
s
Let l = 1/1251 + -2713/263961. Which is smaller: 0 or l?
l
Let x(p) = 98*p**3 + p**2 + 4*p + 4. Let t be x(-1). Which is bigger: -868/9 or t?
-868/9
Suppose -3*h = -5*a + a + 22, 2*a - 5*h = 18. Suppose 2*k - k + 13 = 3*c, 0 = -5*c + 15. Let p be 0/(k*a/(-16)). Is 2/41 at least p?
True
Let h = 3.707 + 0.093. Is h > -1?
True
Suppose 4*q = -b - 72, 4*q - 92 - 188 = 3*b. Which is smaller: b or -10?
b
Let i = 7.9378 + 0.1922. Let q = i - 0.13. Let n = -174 + 173. Is q not equal to n?
True
Let i = 3 - 7. Suppose g + 3*x = -7, 5*x - 2 = g - 11. Let d be g/4*16/18. Which is smaller: d or i?
i
Let n be 8/3 + (-32)/48. Let j = -18 - n. Is -20 bigger than j?
False
Let f = 97 + -96.97. Is f greater than 0.2?
False
Suppose -2*u - 12 = -5*u. Suppose -u*z = -6*z + 4. Suppose -t + 4*t = 5*m - z, 5*t = 5*m. Which is smaller: m or 2?
m
Let i = 1804/5 + -20204/55. Are i and 1/2 equal?
False
Let k(p) = -2*p**3 + p + 1. Let z be k(-1). Suppose 5*r = 4*u + z*r + 13, 3*u + 5*r = 12. Which is greater: -1/6 or u?
-1/6
Suppose 0*p - 2*y - 14 = -p, 17 = p - 5*y. Let t(n) = 0 + 4 + n**2 + 0 - 12*n - 5. Let g be t(p). Which is bigger: g or 2/5?
2/5
Let y = 35389/1084 + 28/271. Is -2 bigger than y?
False
Suppose -2*s + 0*s = 3*s. Suppose 2*d = -s*v + v, 2*d + 3*v - 16 = 0. Which is greater: 7 or d?
7
Suppose i - 33 = 4*i. Let m = i + 11. Let f = -130 + 1694/13. Is f <= m?
False
Let d = -1349 - -1350. Let w = 4 - 3.2. Is d bigger than w?
True
Let c(f) = 16*f**2 - 2*f - 2. Let t be c(-1). Are t and 2/11 non-equal?
True
Suppose 2*i + 14 = 9*i. Suppose -g + 4*l = -0*g + 14, 0 = i*g + 4*l - 20. Is 52 less than or equal to g?
False
Suppose 0 = -6*l - 159 - 1149. Which is smaller: -2/7 or l?
l
Let x = -414 - -851/2. Is x <= 0.06?
False
Let b = -282 + 120. Which is gre