: m or 19?
m
Let d be -3 - 0/(1*(-6)/(-3)). Does d = -10/3?
False
Let q = -3/35 + -18/35. Does -2 = q?
False
Suppose -5 = 5*z + b - 2*b, -15 = -z - 3*b. Let d(v) = v**2 - v + 60. Let n be d(z). Suppose n = 2*h - 7*h. Which is greater: h or -11?
-11
Let y be 3 + (-22)/10 + -1. Let g(h) = h**3 - 4*h**2 - 3*h - 4. Let d be g(5). Let m(z) = -z + 6. Let s be m(d). Does s = y?
False
Let z(c) = 8*c - 3 - c**2 + 5 - 14*c + c**3. Let l be z(3). Suppose m - 2 = l*m. Which is bigger: m or -24/11?
m
Suppose 0 = 7*k - 5*k + 19*k. Is k not equal to -1/61?
True
Suppose -5*s + 20 = q - s, -15 = 5*q - 3*s. Which is bigger: q or 18/107?
18/107
Let d(a) = -a**2 + 5*a - 4. Let o be d(4). Suppose 1 = 2*j - 5, 0 = -3*f + 3*j - 9. Let l be (((-18)/3)/(-2))/(f + -5). Which is smaller: o or l?
l
Let c be 11985/75 + 8/(-10). Which is smaller: 160 or c?
c
Let i = -945 + 994. Are -0.03 and i nonequal?
True
Let z = 61/2 + -33. Let c = -22 - z. Which is smaller: c or -20?
-20
Let c be (42/(-24))/(1/4). Let m = -13 - c. Suppose 3*v - 20 = 4*a, a = v + 4*v - 5. Which is smaller: m or a?
m
Let i be -1*(-2)/(-8) - (-12)/(-48). Suppose -7*v = -3*v + 16. Let q be 2/v*(-8)/(-2). Are i and q non-equal?
True
Let p = 11437/445 - -80/89. Let z = -27 + p. Does -2/109 = z?
False
Let c = 1.5 + -1.45. Let l = -0.95 - c. Let p = -1.1 - l. Which is smaller: p or 1?
p
Let u = -89 - -80. Let r = -6 - u. Which is smaller: r or 0.5?
0.5
Let c = 41.7 - 37. Let j = -4.2 + c. Which is smaller: j or -0.1?
-0.1
Let z = -16 + 14. Let w(r) = -7*r - 5. Let n be w(z). Which is smaller: 8 or n?
8
Suppose 13*n - 8*n - 5 = 0. Suppose -4*t - 64 + n = -g, 3*g + 4*t = 125. Suppose -3*o + 11 = 5*k + 66, 4*k + 3*o = -g. Do k and -8 have different values?
False
Suppose 6 = -0*z - 3*z. Let m be -2 + 4203*24/63. Let l = m + -1602. Is l at least as big as z?
False
Let x(s) = 97*s - 139. Let f be x(5). Is f < 347?
True
Suppose -19*k - 3696 = -7*k. Which is smaller: k or -928/3?
-928/3
Let s = -252422/111755 + 5/3193. Let u = s + 13/7. Suppose -1 = 2*a - 3. Is a <= u?
False
Let o(v) = v**2 + v - 2. Suppose 12 = 3*f + 6. Let y be o(f). Let k be y*(-3 + 35/10). Is k at most 1?
False
Let z = 1383/4945 + 24/115. Is z smaller than 0?
False
Let r be 3 - (-32)/(-12) - 60/(-90). Which is smaller: -7/218 or r?
-7/218
Let z be (-6)/(-36) + (-22)/(-12). Suppose 7*w - z*w = 0. Let h be 0 + 1*(-1 - w). Is -1 less than h?
False
Let a = -43 - -40.4. Let d = a + 2.6. Let z = 0.57 - 0.6. Is d less than z?
False
Suppose 0 = -3*r + 173 + 61. Let y = 80 - r. Is 15/8 smaller than y?
True
Let y(l) = 47*l - 246. Let q be y(18). Is 600 > q?
False
Let g = -22 - -25. Suppose 0 = -g*y + 41 + 1. Let q = -18 + y. Which is greater: -5 or q?
q
Let u = -16 - -19. Suppose 7 = -u*k - 5. Let w be ((-14)/k)/(4/(-8)). Do -7 and w have different values?
False
Let f = -128.3 - -135. Let x = -10 + 3. Let a = x + f. Which is greater: a or -0.1?
-0.1
Let r(z) = 3*z - 12. Let j(g) = g - 4. Let s(t) = -11*j(t) + 4*r(t). Let y be s(10). Is y greater than or equal to 1?
True
Suppose -3*d + s + 18 = 0, -4*d = 5*s - 32 - 11. Let u be ((-12)/(-885))/(d/5 - 1). Suppose 2*j = -j. Which is smaller: u or j?
j
Let a = -68264 + 1428422/21. Let l = 244 + a. Which is bigger: l or -0.05?
l
Let i = -149 - -157. Let w be ((-1)/(-2))/((-1)/(-6)). Is i bigger than w?
True
Let q = 0.0456 + 0.9544. Let f(r) = -r**2 - 2*r + 5. Let d be f(6). Is d equal to q?
False
Let u = -1705.71 + 1713. Let d = u + -0.29. Let j = -9 + d. Which is bigger: j or -2/17?
-2/17
Let u = 19 - 18. Suppose -2*f = -5*y - 90, y - u = 1. Which is smaller: 49 or f?
49
Let m be (2 - 2) + (-2)/2. Let b be (-2)/6*(-15)/(-155)*m. Which is smaller: 1 or b?
b
Suppose -6*n - 24 = -9*n. Let l be (n/14)/2 - 330/77. Suppose 0 = -3*g - 5 - 4. Which is greater: g or l?
g
Let l = -0.43 - 0.47. Is l at most as big as 0.44?
True
Let y = -282 + 150. Let j = y + 132. Which is greater: -4 or j?
j
Let l be 3/(-39)*(2 - 6). Suppose 3*d + 36 = 36. Is l greater than d?
True
Let x = 5 - 7. Let s(q) be the second derivative of -q**5/20 + q**4/3 + 2*q**3/3 + q**2 + 4*q. Let m be s(5). Do m and x have different values?
True
Suppose -4*j = -4*y + 64, y + 154 = -4*j + 90. Is j at most as big as -16?
True
Let k be (-1)/((-1)/((-462)/15)). Suppose 4*n + 112 = -0*n + 4*l, 5*n + 161 = -2*l. Let q = k - n. Do -3 and q have the same value?
False
Suppose -107*x = -117*x. Is x <= 2/579?
True
Let p be (8/10)/((-18)/(-20)). Let k = -24 + 40. Let r = 17 - k. Which is greater: r or p?
r
Let o be (-4)/(-10)*(-15)/(-12). Let w = 0.0572 + 1.9428. Is w at most o?
False
Let o = 0.096 - 0.096. Which is greater: o or -94?
o
Let l be 9/8*2/6. Suppose 15 = -5*z - 10. Let a = z + 4. Which is greater: l or a?
l
Let a = 4 - 1. Let b be 6 - (-3)/((-18)/26). Which is smaller: a or b?
b
Let a be 2 + (-72)/39 + 2/(-13). Let s(j) = -j**2 + 119. Let u be s(a). Is 120 <= u?
False
Let c = -33.2 - 29.8. Which is smaller: -1/4 or c?
c
Suppose 5*t - 10 = 4*t. Let s be (10/4)/((-16)/(-32)). Suppose -s*x + t = 5. Is 4 less than or equal to x?
False
Let a be (5/(-15))/((-2)/(-54)). Suppose -3*c = z + 37, 11*z - 10*z = -5*c - 63. Is c greater than or equal to a?
False
Let k = 135 + -673/5. Let h = -27 - -26.72. Let l = -0.32 - h. Are k and l equal?
False
Let w be 3/(2 - (-7)/(-5)). Suppose -1 + w = -4*a. Suppose -4*o - 4*b - 28 = 0, -4*b + 15 = -5*o - 5*b. Which is bigger: a or o?
a
Let z = 2/9 + 2/9. Is z at least 2/9?
True
Let x be ((104/(-6))/(-2))/(-2). Let w = 2634.1 + -2749. Let a = w + 115. Which is smaller: x or a?
x
Let w = -11 + 7. Let n be 40920/143 - w/(-26). Let i = -1999/7 + n. Are i and 1 equal?
False
Let j = 0.3 - -17.7. Let q = 18.12 - j. Which is smaller: 0 or q?
0
Let h be 2/((-8)/(-4) + -1). Let s be h/6 + (-46)/(-6). Suppose 5*p - s = 4*p. Are 9 and p nonequal?
True
Suppose -5*j = -10, 82 = -5*n - 3*j - j. Suppose -u - f - 4*f + 22 = 0, f = 0. Let o = n + u. Do o and 3 have different values?
True
Let m = 3/1165 - -82246/1165. Let x = -70 + m. Suppose -6*z + 4*z - 4*a = -2, -1 = -z - 4*a. Which is bigger: z or x?
z
Let n(p) = 3 - 2 - p + 12. Let z be n(9). Let y be 1/2*z/2. Which is bigger: 4 or y?
4
Suppose 0 = 4*v - 3*x + 74, -3*v + 16*x - 18*x = 47. Is v greater than -5?
False
Suppose 25 = 2*y - 7*y, 0 = -5*h - 3*y + 260. Which is smaller: h or 1/5?
1/5
Let c(g) = 12*g**2 + 2*g - 2. Let w be c(2). Suppose 15*l + 345 = 1080. Which is greater: l or w?
w
Let d = -8 - -12. Suppose -i = 3*f - f + 1, 5*i + d*f = -29. Let w be ((-1)/(-3))/(3/i). Are w and -2/39 nonequal?
True
Suppose 188 = 17*d - 50. Which is smaller: 12 or d?
12
Let c = -137895510771/476 - -289696346. Let t = c + 113/119. Let o = t - -105. Is 2 greater than o?
True
Let d = 24471/16 + -1528. Is d > 0?
True
Let t = -179.9 - -180. Which is bigger: -1.16 or t?
t
Let s = -2230 + 2220.982. Let j = 0.018 + s. Which is smaller: 2 or j?
j
Let w(o) = 93*o - 8. Let s(y) = -y**3 + 4*y**2 + 5*y - 4. Let a be s(5). Let z be w(a). Let q = -4177/11 - z. Is q smaller than 1?
True
Let q be 4/(28/(-35)*15/(-6)). Is 0.062 < q?
True
Let t = -83 - -43. Let q = 68 + t. Is q equal to 27?
False
Let j(k) = -k**2 + 39*k + 81. Let q be j(41). Which is bigger: q or -52/41?
q
Suppose -k = 3*w + 2, 2*k + 9 = -2*w + 1. Which is bigger: w or -5?
w
Let o(f) = -f**3 + 7*f**2 + 23*f + 27. Let b be o(10). Which is bigger: -40 or b?
-40
Let h = 8497/9 - 943. Suppose 4*n = -0*n + 8. Which is greater: h or n?
n
Let w = -263 - -264.99. Is 0.1 at most as big as w?
True
Let m = -7603/5538 - 5/426. Let f = 352/273 + m. Let l be 0 + 0/((-2)/2). Is l smaller than f?
False
Let m = -11.9 + 3.9. Let g = 7 + -2. Let r = 4.9 - g. Is r less than or equal to m?
False
Let c = -181.984 - 0.016. Which is smaller: c or -0.1?
c
Let g(u) = 4*u**3 - 2*u**2 - 3*u + 4. Let v be g(1). Let f = 2441/735 - -3/245. Is v smaller than f?
True
Suppose 0 = -6*h + 5*h. Let v = 283/1530 + -10/51. Which is smaller: h or v?
v
Let g = -0.1 + 0.25. Let u = g + -26.15. Which is smaller: u or -1/4?
u
Let a = -0.2 - 2.8. Let m = 32 - 33. Which is smaller: a or m?
a
Suppose w + 0*w = -83. Let p = 84 + w. Is 2/93 > p?
False
Let k = 161.562 + -74.619. Let r = k - 87. Which is greater: 0 or r?
0
Suppose -10 = -3*z - 25. Let o(y) = y + 5. Let q be o(z). Let k be 3 + (-