is bigger: 23 or y?
23
Let p = -38.3 - 0.7. Let f = 46 + p. Which is greater: f or 0.1?
f
Suppose 6*f - 3*f + 35 = -5*h, 0 = 3*f + 4*h + 40. Let i = 39 + 9. Let l be (12/i)/((-1)/f). Do 5 and l have different values?
False
Let h(m) = -m**3 + 7*m**2 + 9*m + 4. Let s be h(8). Suppose 32*c - 150 = 17*c. Which is bigger: s or c?
s
Let m(p) be the third derivative of p**6/120 + p**5/15 - p**3/3 + 7*p**2. Let r be m(-4). Let i be r + 5 - (-164)/(-54). Is 1 not equal to i?
True
Let d be -2 - (0 + 578 + 4). Let f = 15181/26 + d. Which is smaller: f or -1?
-1
Let f = -873 - -578. Is -295 greater than or equal to f?
True
Let a be (-80)/60 - (-2)/(-3). Let m be 5 - 0 - a/(-1). Let p = 7 - 4. Is p greater than m?
False
Let u = -59 + 294/5. Suppose 0*s - 3*b + 8 = -5*s, -5*s = 5*b. Which is bigger: s or u?
u
Suppose f = 40*n - 36*n + 29, f - n - 20 = 0. Suppose 9 = 4*z + 2*v - 5, -3*v = 2*z - 9. Suppose z*r = 3*b + 60, -4*b - 96 = -r - 4*r. Is r > f?
False
Suppose -16*o + 120 = 72. Let g = -2 + 4. Is g <= o?
True
Let a(z) = -z**2 - 3*z - 3. Suppose -b - 1 = 2. Let x be a(b). Let o be (0 - -5) + x - 2. Is 2 smaller than o?
False
Let s = -97/50 - -27/50. Does -14/9 = s?
False
Let f = 16.26 + -16.1401. Is -2/7 at most f?
True
Let g be (-2)/(-5)*(-6)/(-4). Suppose -2*f = -5*f - 6. Let k be ((3 - -1)/4)/f*-2. Which is greater: k or g?
k
Let i(a) = 71*a + 5. Let s be i(-1). Is -59 greater than s?
True
Suppose 34 = -2*z + m, 10 = -z + 2*m - 4. Suppose 1322*u - 1333*u - 220 = 0. Which is smaller: z or u?
u
Suppose 0 = -z + 3*u - 20, 0*z + 5 = 3*z + 4*u. Suppose 0 = 4*t - 0*t. Is t equal to z?
False
Let n(o) = o - 5. Let m be n(4). Let w be ((-2)/1 + 1)/(m*1). Is w bigger than -3/23?
True
Let i = -7 + -12. Let t = i - -19.4. Is t equal to 3?
False
Let n(h) = h**3 - 2*h**2 - h - 3. Let r be 22/6 - (-18)/(-27). Let q be n(r). Suppose -w - d + 4 = d, 0 = 4*w + q*d - 11. Which is greater: 4/7 or w?
w
Suppose -17*u = u + 1980. Which is greater: u or -114?
u
Suppose 5*m + 0*m = -30. Suppose -2*a = s + 4 + 2, 0 = -5*s + 4*a + 40. Let u be (14/(-4))/(2/s). Is u at most as big as m?
True
Let q = 42.3 - 43.3. Which is bigger: q or -39/7?
q
Let h = -619 + 618. Is h at least 298?
False
Let h be 7 + 64110/(-9725) + 16/(-40). Is 1 greater than h?
True
Let w = -110.3 - -110. Let q = -72 - -80. Is q at most w?
False
Let v = -1972 - -1968.08. Is v != -0.1?
True
Let v(q) = -2*q + 39. Let a be v(12). Let j be 3 - 4*a/18. Which is smaller: j or -10/7?
-10/7
Let c(x) = x + 4. Let y be c(-5). Let r be 2/8 - (-143)/(-176). Let j = r + 347/560. Which is smaller: y or j?
y
Let j be 0 - -108 - (-4 + 2). Let w be j/248 + (5 - 105/20). Is 2/5 less than w?
False
Suppose 8*r - 1 = 15. Are r and 26/31 unequal?
True
Suppose -5*i + 1 = -5*h - 4, -4*h + i - 1 = 0. Which is smaller: h or -1/216?
-1/216
Let w = -19.8 - -4.8. Let p = 15.22 + w. Which is smaller: 0 or p?
0
Let t = 4 - 2. Let r = 10 - t. Suppose 0 = -3*u + 203 - 182. Which is bigger: u or r?
r
Suppose 3*s + 5*k - 16 = s, -4*s - 4*k = -56. Let d be ((-20)/s)/1 + 2. Is 0 greater than d?
False
Let j = -36 - -16. Let y be 18/(-15)*j/6. Suppose -2*d = -4*r + 32, 0*d = -4*r - y*d + 44. Is r less than or equal to 10?
True
Suppose -14*o + 69 = -43. Let y(r) = r**2 + 9*r - 14. Let j be y(-11). Do o and j have different values?
False
Let k(r) = -r**2 + 16*r - 2. Let g = 10 + 6. Let m be k(g). Which is bigger: m or -3?
m
Suppose 333 = -10*y - 497. Is y at least as big as -167/2?
True
Let l(a) = 5*a**2 - 1. Suppose -k + 6*k - 5 = 0. Let f be l(k). Let b be (36/(-16))/3*f. Is b < -2?
True
Suppose -4*g - 4 = -12. Let v be (-1)/g*(0 - 0). Let o be -2*2/(-36)*-4. Which is smaller: v or o?
o
Let z(j) = 25*j + 64. Let p be z(-25). Which is bigger: -563 or p?
p
Let y = 451 - 451. Is y > 1/43?
False
Let f(c) = -c + 8. Let z be f(9). Let s(b) = b**3 - 3*b**2 - 2. Let n be s(3). Let p be (-1)/2*n/11. Which is smaller: z or p?
z
Let h = -547 + 547. Which is greater: h or -5/38?
h
Let m be ((-4)/6)/((-5)/60*1). Let b be 68/7 - 2/(-7). Which is greater: b or m?
b
Let g = -13 - -14. Let m be (15 - 14)/(g + 5). Are 0 and m nonequal?
True
Let g = 38 - 34. Suppose -g*j - 35 = -31. Which is smaller: j or -0.49?
j
Let m = -133 - -107. Let z = 17 + m. Which is greater: z or -13?
z
Let s = 73 - 122. Let f = s + 49. Which is bigger: f or -6/29?
f
Let c(j) = j**3 - 9*j**2 + 16*j + 12. Let o be c(6). Is -1/554 != o?
True
Let u = 47 + -24. Let i = 47 - u. Let z = i + -23. Which is smaller: -2/23 or z?
-2/23
Let m = -207 + 188. Which is smaller: m or -2?
m
Let l be (3/(-63))/(296/24)*-6. Is l <= 0?
False
Let q = 1 + 2. Suppose -q*r = -2*p + 2, -r + 22 = p + 4*p. Suppose w + 1 = i - 0*i, 3*i = 5*w + 1. Is r less than or equal to i?
True
Let d = -478 - -10036/21. Let k be 1 + (12/3)/(-4). Is k less than or equal to d?
False
Suppose -148 = 4*l + 192. Let a be ((-10)/43)/(l/55). Let h = 9/43 - a. Is h > -1?
True
Let r = 11/41 - -396/205. Is r <= 3?
True
Suppose 5*l - 9*l = -8. Which is smaller: l or -12?
-12
Let p = -437 - -438. Which is smaller: p or 2/1187?
2/1187
Let l = -18 + 20. Suppose -z + 3*g + 18 = 0, l*g - 4 = -0*g. Suppose -3*j + z = -5*j. Which is bigger: j or -10?
-10
Let p be 1/(-3)*(-6 - 0) + -3. Let h = 1 - 13. Which is smaller: h or p?
h
Suppose 2*s + 7 + 1 = 0. Let c be ((-2)/6)/(s/252). Which is greater: c or 22?
22
Let f = -0.16 + 0.2. Suppose -2*o + 2*y = y - 193, -4*y - 114 = -o. Let l = 472/5 - o. Which is bigger: f or l?
l
Suppose 0 = -3*n + 2*s - 0*s + 6, 4*s - 10 = -5*n. Suppose 2*d = -2*u - 22, u - n*d = -2*u - 18. Is u greater than or equal to -6?
False
Let h = -65 + 68. Suppose 5*q + 32 = 2*u, u + 0*u + 4*q = h. Is 7 bigger than u?
False
Suppose 15 = -4*f + 7*f. Let j(w) = w**2 - 5*w + 4. Let z be j(4). Suppose 4*l = -z*l + 24. Is l smaller than f?
False
Suppose 0 = 5*q + 5*t - 170, q - 132 = -2*q + 3*t. Let n = 43 - q. Which is smaller: 1/6 or n?
1/6
Let u(b) = b. Let m be u(-4). Suppose -2*h - 5*q + 2 = -3, -4 = -5*h - 4*q. Suppose h = -9*k + 3*k - 18. Which is bigger: m or k?
k
Suppose -14 - 6 = s + 4*u, -2*u = -2*s + 10. Which is smaller: 3/605 or s?
s
Let w be 1/(-2) + 4/56*23. Which is smaller: w or 4?
w
Let v(c) = -c**3 + 5*c**2 - c + 3. Let f be v(5). Let x be 3 - 4/(-10)*(-30)/(-6). Let m be 78/(-13)*x/f. Is m bigger than 15?
False
Let g = 521 + -518. Are g and 1/5 equal?
False
Let r be 1 - (0 - 10/(-16)). Let v(d) = -d**3 + 2*d**2 - 3*d + 2. Let j be 2/11 - (0 - 54/66). Let o be v(j). Is r greater than o?
True
Let k be (-6)/(-4) + 1173/(-667). Let y = -407/116 - k. Which is bigger: -1 or y?
-1
Suppose 4*z - 3*p = -2*p + 16, -5*p = -2*z - 10. Suppose z*o + 1 = j + 14, -5*o + 23 = 4*j. Suppose 0 = -5*s + 5. Is s greater than j?
False
Let t be -10*2/4 - -20. Let i = 27 + -14. Which is smaller: i or t?
i
Let b be (6/10)/(3/120). Suppose -12*t = -6*t - b. Is 4 less than or equal to t?
True
Let q(c) be the second derivative of -c**3/3 + 2*c**2 - 6*c. Let m be q(4). Let i = m + 5. Which is smaller: -1 or i?
-1
Let l(h) = 4*h**2 + 5*h - 5. Let o be l(4). Let x = o - 79. Which is smaller: x or 3/110?
x
Let q = 29 - -26. Suppose p - q = 5*o - p, 3*o - 5*p + 33 = 0. Let t be 1*(-2)/o*2. Which is bigger: 0 or t?
t
Suppose 0 = 55*p + 5*p + 1560. Is -26 at most as big as p?
True
Let k = -1/6104 + -11441/24416. Let r = k + -1/32. Let a = 0.11 + -2.11. Is a < r?
True
Suppose 2*z - 8 = 0, 2*t - 3*t + 4*z - 14 = 0. Suppose 3*q - 3 = -j, j - t*q - 2*q + 4 = 0. Let p = 103/148 + 2/37. Is p smaller than j?
False
Let a = 6 - 14. Let g = -69.5 - -70.5. Which is smaller: g or a?
a
Let x = -295/67067 - -2/6097. Is x greater than or equal to 1?
False
Suppose 2*u = -3*u - 45. Let a be 24/u + 3 + (-1)/3. Let y be 0 + 2/((-22)/3). Is a bigger than y?
True
Let r = -103 - -98. Let f be ((-4)/16)/(r*(-2)/8). Which is greater: 3 or f?
3
Let u = -652.984 + 653. Is u not equal to -3?
True
Let z(s) = -2*s**3 + 17*s**2 - 7*s - 8. Let g be z(8). Which is smaller: 2/779 or g?
g
Let i be ((-170)/3)/17*(-24)/(-5). Which is greater: i or -49?
i
Suppose 2*r + 47 = -w, -3*w + w = -4*r - 106. Let i = r + 22. Let o(z) = z**2 + 4*z + 3. Let j be o(i). Which is greater: j or -2/95?
j
Let x = 30 + -31. Let j = -620501 + 8060282/13. Let p = j - -479. Which is greater: p or x?
p
Let x