Which is smaller: n or j?
j
Let w = -969 - -1527. Let c = w - 328. Let v be c/26 + (-6)/(-39). Is v at most 9?
True
Let a = 33 + -31. Suppose 0 = 5*y + 4*s + 20, 2*y - y - 5*s = -4. Which is smaller: y or a?
y
Suppose 5*t - 3*t = -5*z - 177, 3*t = -z - 233. Let p = t + 68. Which is smaller: p or -17/2?
-17/2
Let g be 6/4*2/(-3). Let z be 28/130 - (-9)/(-15). Is z equal to g?
False
Let f(u) = -18*u**3 - u. Let n be f(-1). Suppose n - 7 = -2*o. Do o and -5 have the same value?
False
Let j be (-18)/(-183)*(-1)/(-3). Let a be 207/12*(-4)/(-244). Let f = j - a. Which is smaller: -2/3 or f?
-2/3
Let t = -3363.795 + 3382. Let d = t - -0.095. Let u = d - 18. Which is greater: u or 0?
u
Let z be (4 - 0)/(-2)*5. Let m be z/4*(-152)/(-95). Is m less than 8/7?
True
Let y be 32/(-176) + (944/902)/2. Is 0 at least as big as y?
False
Let f be 1*-2 + 0 - (-17690)/174. Which is bigger: f or 101?
101
Suppose -18090 = 9*c - 63*c. Is c at least as big as 336?
False
Suppose 2*d = d. Suppose -4*u = -d*u. Let p be 1/(u + 0 - 1). Which is bigger: -4/3 or p?
p
Let f(o) = -o**3 - o**2 + o + 1. Let g be f(-1). Let a(y) = -4*y - 8. Let l be a(-4). Let v be (6/l)/((-49)/28). Which is greater: g or v?
g
Suppose 5*l = -2*m - 156, -5*l - 3*m - 150 = 2*m. Let j be ((-9)/16)/((-4)/(l/4)). Which is bigger: 0 or j?
0
Let l = 5.64 + -4.64. Is l equal to -315?
False
Let i = 1653 - 1678. Is i at least as big as -22?
False
Let v = 2219/1368 + -13/8. Which is bigger: 0 or v?
0
Let w = -54 - -10. Let v(t) = -2*t**2 - 7*t + 27. Let l be v(-8). Is w less than or equal to l?
False
Let s = -3073 + 3072.9. Which is smaller: s or 503?
s
Let q = -31 - -73. Let k = q + -38. Is k greater than 3?
True
Let r = 796.96 - 797. Is 0 < r?
False
Suppose 142*s = 100*s - 42. Is s less than -6/335?
True
Let z = -354917/89 + 3988. Is z at least as big as 1?
False
Suppose -19*d + 1116 - 508 = 0. Which is smaller: 23 or d?
23
Let h = -22735/56 + 406. Let y = -1504703407/952 + 1580571. Let f = h - y. Is 0 greater than or equal to f?
True
Let l be (13 + (-84)/6)/(1/254). Are l and -250 equal?
False
Let f = -829 + 1224. Which is smaller: f or 394?
394
Let q = -684 + 786. Which is smaller: 103 or q?
q
Suppose 4*d = 56 - 16. Suppose -a - d + 0 = 0. Let r(y) = -y**2 - 2*y - 1. Let t be r(-4). Which is greater: t or a?
t
Let y = -97 - -103. Suppose -12 - 9 = -3*u. Which is greater: u or y?
u
Suppose -25*k = 1568 - 418. Which is smaller: -41 or k?
k
Let m be 2/17 - 588/(-204). Let v be (-2)/(-2)*m*(-333)/(-185). Is v < 4?
False
Let z = 0.036 + -0.036. Let q = 3 - z. Do -6/7 and q have the same value?
False
Let l(z) = -2*z + 15. Let h be l(6). Suppose -2*k - 2*j = 3*j + 43, -h*k - 5*j = 62. Is k > -2/7?
False
Let q = -62 - -70. Which is smaller: -4/9 or q?
-4/9
Suppose -2*p = -0*p + 8. Suppose -3*l = 2*u + 3*u + 19, 0 = 5*u + 10. Let a = -5/2 - l. Do a and p have the same value?
False
Let n be 490/8*(3 - -1). Let p be 1/3 + n/345. Let t = 170/207 - p. Which is smaller: t or -2/5?
-2/5
Let z be (-6)/8*(-1)/(-6). Let d = -2.26 + 1.26. Is z smaller than d?
False
Let f = -551 + 581. Which is bigger: f or -2?
f
Let o = -73 - -379/5. Let s = -16/5 + o. Does s = -0.5?
False
Let j = -3 + 0. Let q = -1 - j. Suppose 5*z - 15 = -3*x, -q*x = z + z - 10. Does z = 9?
False
Let l be 4/(-82) + 116/2378. Is l smaller than -2/1721?
False
Let m be 38/(-44)*(33 + -29) + 4. Suppose -u = 2*w, -4*w + u = -2*u. Is m at least as big as w?
True
Let t be 118/(-8) - (-1)/2. Let y = t + 14. Let l(o) = o**3 + 35*o**2 - 25*o + 396. Let u be l(-36). Which is smaller: y or u?
y
Let j = 100 - -174. Suppose -111 = 5*u + j. Are u and -78 unequal?
True
Let s(n) be the first derivative of -n**3/3 + 3*n**2/2 - n + 5. Let h be s(2). Let x be 14/(4/(h + 1)). Does x = 7?
True
Let z(j) be the first derivative of -j**4/4 + 2*j**3/3 + 5*j**2/2 - 7*j + 2. Let x be z(3). Which is smaller: x or 14?
x
Let p = -1399 - -1403. Is p at least -28?
True
Let t(a) = -a + 10. Let l be t(8). Let m be -2 + (6 - -1) + 0. Suppose l*q - u + 16 = -m*u, u = -3*q - 9. Is -2 less than or equal to q?
True
Suppose -2*y = 7*y + 54. Let i be (-9)/(-6)*y/9. Is 3/11 less than or equal to i?
False
Let t = 0.13 - 0.02. Let h = t - 0.2. Let j = 0.91 - h. Are -0.1 and j unequal?
True
Suppose 4*c - 35 + 15 = 0. Suppose c*b - 6*b + 14 = 0. Which is greater: 13 or b?
b
Suppose 2*p - 65 = -3*n, 6*n - 8*n + 68 = 2*p. Which is smaller: 32 or p?
32
Let i = 4 - 1. Suppose -5*z + 2*m = -17, -2*z - 3*m + 12 = i*z. Which is smaller: z or -8?
-8
Let f be (606/(-12) + -1)/(6/4). Is f != -34?
True
Let l = 13 + -4. Suppose l*t - 6*t - 27 = 0. Is t != 44/5?
True
Let v = -4 - -3. Let o be 10/40 - 261/(-4). Let p = -67 + o. Is p less than v?
True
Let q = 66 - 127. Let p = q - -79.04. Let a = p - 18. Which is smaller: -2/3 or a?
-2/3
Suppose 2*n - 4*z = -16, -n + 4*z = -3*n + 16. Let u be (-34)/(-66) + 6/(-33). Which is greater: u or n?
u
Let y = 3649/92 + -159/4. Let w be 1/(-6) - (-26)/12. Let o be ((-1)/1 + w)/(-1). Is o at least y?
False
Let n = 161 - 264. Is -103 bigger than n?
False
Let r = -997/5 + 200. Let b(z) = -3*z - 50. Let d be b(-18). Suppose 3 = -h + d. Is r less than h?
True
Let r be (3 - (-37836)/(-3783)) + 7/1. Which is bigger: -1 or r?
r
Let a = 4/11 - 149/440. Does 1 = a?
False
Suppose 2*d + 4 = -5*y + 8, -d - 11 = -4*y. Which is smaller: y or 12/11?
12/11
Let g(s) = -s - 12. Suppose 0 = 2*o + 4*l + 80, -o + 85 = -3*o + l. Let v be 9/(-2)*(-56)/o. Let t be g(v). Which is bigger: -8 or t?
t
Suppose -4*z + 0*q = -5*q + 20, 5*q - 20 = 0. Let h = 18/17 + -433/425. Which is smaller: h or z?
z
Let d = -36 - -53. Let t = d - 16. Which is greater: 19 or t?
19
Let g be 15513/5169 - (3 + 0). Are -1 and g equal?
False
Suppose -23*z + 45*z = 16*z. Is z smaller than -1/305?
False
Let g = -83 - -35. Is -2/9 smaller than g?
False
Let q be ((-14)/(-3))/(8/12). Let k(w) = -w**3 + 8*w**2 - 6*w - 8. Let a be k(q). Which is bigger: -5/16 or a?
-5/16
Let f(q) = 6*q**2 + 6*q - 28. Let n be f(7). Is n < 308?
False
Let q(a) = -13 - 33*a - 3*a**2 + 0 + a**2 - 2. Let z be q(-16). Which is smaller: z or 1/56?
1/56
Let i be (3/9)/((-1)/9). Let n(c) = c**3 + 4*c**2 - 2*c - 3. Let m be n(i). Let l be ((-5)/15)/(m/9). Is l less than 1?
True
Let i = 1.5 + -11.5. Let r = i + 14. Let t = r + -4. Is -0.2 != t?
True
Let u = 0.9 - 1. Let i = u - 0. Let s = -98 + 97. Which is smaller: i or s?
s
Let w be (-11544)/21 - 2/7. Let z be w/260 + (-2)/(-8). Let r = 60/13 + z. Is r smaller than 4?
True
Let h be (-124)/123 + 1/1. Let d be (-33)/((-3)/(-1)) + 11. Which is bigger: d or h?
d
Let n be (-1036)/1608 + (-12)/(-18). Which is smaller: n or 1?
n
Let a be (-22)/(-6) - 16/24. Suppose 0 = -u + 5*w - a*w - 25, w = 5*u + 125. Is u less than or equal to -51/2?
False
Let g be (-5)/(25/(-80)) + -2. Let r be 7/g*(1 - -20). Which is greater: 11 or r?
11
Let h be (-32066)/10690 - 3/(1 + -2). Let t = h - -342074/16035. Is 22 less than or equal to t?
False
Let h be 2*5/10*-3. Let n(c) = -c**2 - 4*c + 3. Let w be n(h). Does 2 = w?
False
Let n = 1012 - 1005. Is -72 >= n?
False
Let x(o) = o**3 + 19*o**2 + 6*o - 33. Let k be x(-18). Let v = -180 + k. Suppose 5 = -2*c + 3*u, -c - 1 = -u + 1. Are c and v unequal?
True
Let f(b) = b**2 + 8*b + 10. Let y be f(-8). Suppose 0 = 5*r + 5*i + 55, 2*i + i = -2*r - 25. Let u be ((-198)/(-24))/((-6)/r). Which is smaller: u or y?
y
Suppose -19 = -3*u + 4*n - 8, 1 = -5*u - 3*n. Let g be 55890/(-984) - (-6)/8. Let d = g - -56. Is u != d?
True
Let f be ((-80)/8 - -2) + 471/60. Which is bigger: f or 32?
32
Let r(s) = -s**3 - 14*s**2 - 3*s - 10. Suppose 0 = -2*q - 3*c - 34, -2*c + 2 = -3*c. Let u be r(q). Is u equal to 33?
False
Let o be (1/(-2) - -1)*2. Suppose 646 - 178 = 3*c. Let p be c/(-261) - (-2)/3. Which is smaller: o or p?
p
Let h be (8/(-2))/(1 - 0 - -1). Let y be -3 - (-4)/(-64)*-1*h. Is y greater than -3?
False
Suppose 4*m = 38*q - 34*q, -45 = -5*m - 4*q. Which is greater: 13/3 or m?
m
Suppose 2 = -2*u - 3*b - 0, -b = 5*u - 8. Suppose -3*d + 13 = u*s, 5*s - 6 = -4*d + 16. Suppose -8 = f - s*l + 8, 5*f - 3*l = -45. Is f at most -6?
True
Suppose 0 = -2*c + 3*r - 10, 4*c + 3*r + 2*r - 2 = 0. Let s(p) = p**2 + 2*p. Let g be s(c). Let f = 4/3 + g. Which is smaller: f or 0?
0
Let k(p) = p**2 - 30*p + 1. L