f - 1 + 3. Let v = -0.24 - -0.13. Which is bigger: v or f?
v
Let d be (34 + 68)/(7 - -1). Is 13 > d?
True
Suppose 0 = -20*x - 4*x. Is 129 > x?
True
Let z be 10/(-4)*(-2 + 4). Let x = -151 + 145. Is z > x?
True
Let r = -25396/51 + 498. Which is bigger: r or 1/2?
1/2
Let x(w) = -87*w**2 + 4*w - 3. Let g be x(2). Let p = -9605/28 - g. Which is greater: p or 1?
1
Suppose 0 = -4*g + 16, 5*z + 3*g - 16 = z. Is z less than -0.217?
False
Let u be 7 - 5 - 11/((-33)/1845). Which is bigger: 615 or u?
u
Let r = -287.7 + 289.657. Let f = r + 0.043. Is 2 greater than f?
False
Let q = -352/155 - 66/31. Let j = 1 - 5. Is j at most q?
False
Let k(o) = o**3 - 7*o**2 - o + 7. Let z be k(7). Suppose 2*a = -z*a + 18. Suppose 0 = 3*x - 4*u + a, x + 2*x = -2*u + 9. Which is greater: 8/5 or x?
8/5
Suppose -8 + 22 = 7*f. Let x be (-10)/(-15) - f/(-6). Which is bigger: x or 4/3?
4/3
Let h = 14.4 + -13.4. Which is bigger: -2/9 or h?
h
Suppose 1 = 695*b - 696*b. Is b equal to 1/1102?
False
Let l = 1/121346407 - -5770145393/10037081379. Let w = -2/579 + l. Which is greater: w or -0.1?
w
Let t(p) = 4*p**2 - p + 11. Let w be t(4). Is 73 smaller than w?
False
Let s be (2/(-4))/(273/(-138) - -2). Is s at most -17?
True
Suppose 15*f - 997 = -7. Is f equal to 65?
False
Suppose -4*s + 6 = 2. Suppose 3 = -4*o - s. Let m = 12/25 - 119/300. Are m and o nonequal?
True
Let v be 56/(-140)*5/1551. Is 1 at least as big as v?
True
Let w = 19 + -19.1. Let z = -284 - -284.4. Which is smaller: z or w?
w
Let q(t) be the first derivative of -t**4/4 - 4*t**3 + t**2 + 17*t + 20. Let p be q(-12). Which is bigger: 1 or p?
1
Let l be (-9)/12*(-16)/30. Suppose 5*k + 5*k - 20 = 0. Let b be (3 + (-2)/(-6))*(k - 5). Does l = b?
False
Let r(x) = x**3 + 35*x**2 - 38*x + 96. Let y be r(-36). Which is bigger: y or 169?
169
Suppose 4*y - 5*y - y = 0. Let d = y + -1. Are -1/10 and d equal?
False
Let f(g) = 2*g + 20. Let x be f(-17). Is -102/7 not equal to x?
True
Let z = 1 - -2. Suppose -z*w + 10 = 2*w - 2*o, 5*o - 8 = -4*w. Are w and 7/5 unequal?
True
Let u be 10/(-30) - (-10)/18. Which is smaller: u or -0.074?
-0.074
Let g = -29 - -6.9. Let l = g - 3.9. Let k = 25.9 + l. Which is bigger: k or -3?
k
Let s(c) = c - 8 + 23*c**2 - 22*c**2 - 12. Let y be s(0). Are y and -21 unequal?
True
Let h = 0.65 - 0.7. Which is smaller: -5 or h?
-5
Suppose 0 = 4*d + 254 - 6. Let g = 88 + d. Suppose -2*b = n - 51, -2*n = b - 9 - 12. Which is bigger: g or b?
b
Let h(a) = a**3 - 12*a + 8. Let g be h(3). Which is smaller: 2/95 or g?
g
Let n be (5/((-2)/2))/1. Let s be -3*(10/12)/n. Let v(t) = -3*t + 6. Let p be v(2). Which is smaller: p or s?
p
Let h(w) = w**3 + 4*w**2 - 4*w + 3. Let n be h(-5). Let a be 54/(63/(-7)) - 93/(-18). Which is smaller: n or a?
n
Suppose 12 = -3*v, 2*v = -o - 35 - 4. Let h = 13782 - 13814. Is o not equal to h?
True
Let z = 391.168 + 0.832. Let u = -400.08 + z. Let k = u - -0.08. Is -1 equal to k?
False
Let i = 224 - 223. Is i at most as big as -40/3?
False
Let j be ((-3)/(-2))/(141/94). Is j smaller than -9?
False
Let w = 933.2146 + -0.2146. Which is smaller: 1 or w?
1
Suppose -3*k - 6 = 3*p - 0, 0 = 2*k + p + 2. Let z be (-2424)/6085 - 2/(-5). Let o = z - -3625/15821. Is k greater than o?
False
Suppose -111 - 95 = -2*s. Which is smaller: 102 or s?
102
Let n = -3.6 + 0.6. Let j = -28.06 - -28. Let l = j - -0.06. Do l and n have the same value?
False
Let w = 1620 - 1620. Which is greater: w or 2/1551?
2/1551
Let y(j) be the first derivative of -j**3/3 + 3*j**2 + 3*j + 5. Let f be y(7). Let c be 2/f*(-4)/16. Which is bigger: c or -1?
c
Suppose 6*y = 4*y + 4. Suppose y*u = -2*b, 4 = -4*u - 3*b + 9. Suppose 2*h + 1 = -u. Is h bigger than 0?
False
Let x be 24/(-64) + (-751)/8. Let k = x - -95. Which is greater: k or 1?
1
Suppose 3*s = -5*a + 3*a + 1, -5 = 5*s. Suppose -4*k + 10 = -w, -4*k + 14 = w - 0*k. Suppose -5*j + 2*h + 2 = 0, w = 5*j + h + 3. Which is bigger: j or a?
a
Let m be (6/9)/(2/(-9)). Let h be (0 - 0/m)*-1. Suppose h = -d - 4*q, 2*d - 4*d = 2*q - 24. Is 17 smaller than d?
False
Let q be (116/(-15) - (-12)/(-15)) + -2. Is -11 <= q?
True
Suppose -2*i - 206 = 172. Let p be (6/i)/((-2)/(-372)). Let r = p - -32/7. Is r <= -2?
False
Let v = -26.006 + 26. Let r = -0.336 - v. Let h = r - -1.33. Which is greater: 4 or h?
4
Let c = 139575/209 - -183/19. Let y be (18/4)/(9/(-1356)). Let h = c + y. Is -2 at most as big as h?
True
Let j be (-32)/(-2)*(-3)/(-2). Let g = -9 + j. Let t be 6/g*10/(-8). Is -0.2 < t?
False
Let k(a) = -a**2 - 7*a - 1. Let d be k(-6). Let u(h) = 2*h - 8. Let v be u(d). Let c be 4 - 6/4*v. Are 2/5 and c non-equal?
True
Suppose 128 = -54*y + 46*y. Which is smaller: -7 or y?
y
Let m = 533/1782 - 19/162. Let v be 0 + 1 - (0 - 1). Suppose -v*l = -4*l. Is l != m?
True
Let z = 1.2 + -0.3. Let m = -0.7 - -0.6. Let o = m - z. Do -1 and o have the same value?
True
Let n = -21 + 25. Let f = 10 - 10. Suppose -3*m + n*m - 9 = f. Is m != 8?
True
Suppose -3*h = -4*h + 4. Suppose -2*j + 6 + 0 = -4*x, -60 = -h*j - 4*x. Suppose 0 = -3*w + j + 7. Which is bigger: 3 or w?
w
Suppose 0 = 2*g + 5 - 9. Let f be (-2)/(-369)*-3*(-8 - -14). Which is greater: g or f?
g
Let j(p) be the third derivative of -3*p**4/4 - 3*p**3/2 - 7*p**2. Let d be j(-2). Which is bigger: d or 28?
28
Suppose -310*o + 324*o + 1134 = 0. Which is smaller: 0.01 or o?
o
Let r(d) = 23*d**2 - 9*d - 9. Suppose -3*s + 3*t - 24 = 0, -5*s + 2 = -3*s + 4*t. Let x be r(s). Let l be (-1 - 0)*26/x. Which is bigger: 1 or l?
1
Let s = -2701 + 2750. Is s greater than -0.04?
True
Let d(p) be the third derivative of p**6/120 + p**4/12 - p**3/6 - 10*p**2. Let m be d(1). Let u be ((-3)/m)/(6/(-4)). Do 1/11 and u have the same value?
False
Suppose 69 + 87 = 13*h. Let z(f) = -f**2 + 7*f + 4. Let j be z(6). Let a be -2*j/h*-3. Which is bigger: a or 7?
7
Let z = -27 - -32. Suppose z*w - 31 = -g, 5*w - w = -2*g + 32. Let r be (8/(-20))/((-1)/10). Are r and g equal?
False
Let z = -421 - -3787/9. Which is bigger: z or -0.013?
-0.013
Let k be (-26)/(-39) + (-8)/3. Let s be (3/k + -4)*-4. Suppose 4*q = 3*v + s, -5*q + 14 = -v - 19. Is q less than 6?
False
Let z = 43 + 53. Let x = 96.2 - z. Is 2/143 at most x?
True
Let c = 19/12 - 5/4. Let f = 65 - 4. Let b = -60.9 + f. Which is greater: b or c?
c
Let q = 36 + -16. Let h = q + -20. Suppose 7*z = 3*z - 4. Do h and z have different values?
True
Let c = -84 - -81. Which is greater: -8/17 or c?
-8/17
Let a = 148.04 + -148. Which is smaller: a or 21?
a
Let t be 11 + -8 + 6 - -41. Is 46 at most as big as t?
True
Let z = -0.7 - -0.6. Let l = -1.1 - z. Suppose -2*w + 4*x = 12, -4*w - x + 31 = -8*w. Is l less than or equal to w?
False
Suppose p + 35 = 8*p. Suppose 0 = 4*h - 4, 0*h = 4*b + 5*h - 29. Suppose -p*m - 3*n - 10 = 0, 2*m + 4*n + 12 = -b. Which is smaller: 1/24 or m?
1/24
Let n = 4725 - 9659/2. Which is smaller: -106 or n?
-106
Suppose -5*c - 497 = -3*s + 985, c = 2*s - 302. Is -293 < c?
False
Suppose -3*s - 5 + 2 = 0. Let z = -91/748 + -5/44. Is s equal to z?
False
Let n(f) = f**3 - 6*f**2 - 4*f + 5. Let y be n(7). Suppose -152 = 3*v - y. Do v and -42 have different values?
False
Let c = 55073/12 + -4592. Let h = 11/4 + c. Let o = 0.6 - 0.7. Is h less than or equal to o?
False
Let p = 623 - 670. Which is smaller: 9 or p?
p
Let a = -1613/895 - -2/895. Which is smaller: 6 or a?
a
Let h be (-2)/4 + 35/56. Which is smaller: 0.1 or h?
0.1
Suppose 3*o + 8 = -0*o + 4*v, 2 = -2*o + v. Let k be 10*1*1/(-2). Let p be (2/k)/((-33)/(-15)). Do p and o have the same value?
False
Let l = 876 + -877. Which is greater: l or -9/160?
-9/160
Let t be (-18)/(-15) + (-32)/40. Are t and -0.769 nonequal?
True
Let p = -0.0052 - 1.9948. Which is bigger: -107 or p?
p
Let i = -85.56 + 85. Let v = i + 2.56. Let g = -138 + 2348/17. Are v and g equal?
False
Let v = 83 - 19. Let d = -64 + v. Let k = 1.92 - 2. Are k and d unequal?
True
Let s = -31.4 + 26. Let d = -4.61 - -4.21. Let w = d - s. Which is smaller: w or -1?
-1
Let p = -1589 - -1585. Are 4/11 and p nonequal?
True
Suppose 0 = 3*j - 4 - 2. Suppose -76 = -0*c + j*c. Let r be c/(-14) + 4/14. Which is bigger: r or 1/3?
r
Let c be (5 + 15474/(-3090))*45. Which is smaller: 0 or c?
c
Let m = 1.5 - 6.8. Let k = m + 1.3. Let x = -4.1 - k. Is x smaller than -16?
False
Let m be (1 + -