 or d?
4
Let k = 0 - 0. Let l = -0.1 - k. Let d = -0.4 + 0.3. Is l <= d?
True
Let u = 575/14 - 41. Which is bigger: u or 0?
u
Let t be 0 + 0*2/(-2). Is t > -6/7?
True
Suppose 0 = v - 5*m - 15, -68 - 67 = -5*v - 5*m. Which is bigger: v or 23?
v
Let w(j) be the second derivative of -j**4/12 + 4*j**3/3 - 7*j**2/2 - 3*j. Let q be w(7). Suppose 0*d - 5*d = q. Is d at least -1/4?
True
Suppose -3*l + 3 = -0*l. Let p = -13/14 - -1. Is p < l?
True
Let t = 4 - 7. Let x(j) = j**2 + 2*j - 1. Let n be x(-2). Let g be (0 + 1 - n)/(-1). Which is greater: t or g?
g
Let h be 2/(-4) - 9/(-2). Let r be 3/6 + (-2)/h. Is r equal to 3/4?
False
Let l = 163/2 - 6681/82. Let n = -8289 - -1019462/123. Let u = n + l. Which is greater: u or 4?
4
Let w = 5606821511/26345 - 2341066/11. Let o = w + -1/479. Let b = 31 + -33. Is b at least o?
False
Let h(x) = -3*x + 2. Let p be h(-3). Let z(q) = q**2 - 10*q - 5. Let j be z(p). Let g be 3/j*3/(-6). Which is bigger: 1/6 or g?
1/6
Let t = -0.2 + 1.2. Let l = -109.7 - -102. Let v = l + 8. Is v > t?
False
Let a(h) = -4*h**2 - h - 1. Let z be a(-1). Is z < -4?
False
Suppose 2*t + 3*t + 3*o + 15 = 0, 2*t = 2*o + 10. Let d = 0.02 + -0.02. Is d > t?
False
Let u = -6.2 - -5. Let m = -1.1 - u. Which is smaller: m or 1/11?
1/11
Let i = 347/5 - 946/15. Let s = 89/15 - i. Which is smaller: s or -1?
-1
Let m be (-6)/5*(-30)/9. Let x be (m/(-5))/((-6)/30). Which is greater: x or 5?
5
Let w be (-45)/60*-1*(-4)/(-6). Is 1 less than or equal to w?
False
Suppose -3 = 2*j + 5*y - 4, -2*y - 11 = -3*j. Let s be -1 + j + (-3 - -2). Is s smaller than 0?
False
Let k = -12 + 8. Let p = k + 1. Which is smaller: 2/7 or p?
p
Suppose c + 3*d + 15 = 0, 0 + 2 = 2*d. Let j be (-2)/(-5) + c/120. Is -2 at least j?
False
Suppose 2*z - s + 11 = 0, 2*s = -0*s + 6. Suppose -40 = 11*a - 7. Is z > a?
False
Let y be (-509)/13 - 6/(-39). Which is smaller: -41 or y?
-41
Let p = -0.34 - -0.4. Let x be (-78)/36 - (-3)/2. Is x equal to p?
False
Let x = -1282 + 132048/103. Which is bigger: x or 1/2?
1/2
Suppose 5*h + 2*k - 20 = 0, 5*k - 25 = -5*h + 2*k. Suppose -3 = -3*w - 3*d, d + 4*d = 5. Suppose w*r - 2*r = -2. Which is bigger: h or r?
h
Let h(d) = 13*d - 1. Let k be h(1). Suppose -x = -4*x + k. Which is bigger: x or 0?
x
Suppose d + 6 = 4*a, 2*d = -2*a - 2 + 10. Let o(r) = r**3 - r**2 - 3*r + 2. Let u be o(d). Which is smaller: 1 or u?
u
Suppose 58 = -4*f + 94. Is 8 not equal to f?
True
Let h = 1 - -2. Suppose -2*z = -3*z, -5*c - 5*z = -155. Suppose h*v - 5*w + c = 0, 13 = -3*v - v + w. Which is smaller: -3/4 or v?
v
Suppose 5*i = 8*i - 15. Let j = -25 + 41. Suppose -j = -3*k - k. Is k less than or equal to i?
True
Let b = -13 + 4. Which is smaller: -7 or b?
b
Let x = -3 + 4. Let o = 22.1 + -20. Let l = o + -2. Is x <= l?
False
Let g(f) = 6*f**3 - 10*f**2 - 8*f - 8. Let z(c) = -5*c**3 + 9*c**2 + 7*c + 7. Let a(k) = 6*g(k) + 7*z(k). Let m be a(-2). Are m and 2 equal?
False
Let s = -34/11 + 124/33. Suppose -6 + 2 = -4*c. Which is smaller: c or s?
s
Let f = 0.5 - 0.4. Let n be 3/(-1*36/8). Is f greater than n?
True
Let b be (82/(-4))/((-1)/2). Suppose b = -5*w + 6. Let y be 3 + (4 - (-188)/(-28)). Which is bigger: w or y?
y
Let k(t) = -t**2 - 4*t + 4. Let n be k(-4). Let q = n - 0. Suppose -q = -0*s + s + w, -21 = -s + 4*w. Is 0.2 at most s?
True
Let f be 6*((-15)/(-9))/5. Which is greater: f or 0?
f
Let i be (-2 - 1) + (3 - 1). Let n = 4 + -7. Is n at most i?
True
Let b be (-15)/(-24)*15/25. Is -1 not equal to b?
True
Let o = 9 + -1. Is 15/2 smaller than o?
True
Let b be (-2)/2 - 8/(-4). Let q = -1 + b. Which is greater: q or -2?
q
Suppose -8*i = 45 + 19. Is -2/13 less than i?
False
Let i(x) = -x**2 - 8*x - 1. Let b(n) = -2*n**2 - 9*n - 2. Let m(y) = -2*b(y) + 3*i(y). Let l be m(6). Let o = 184 + -1285/7. Which is greater: l or o?
l
Let j(c) = 2*c + 3. Let p be j(-4). Let b = -6 + 2. Is p smaller than b?
True
Suppose 16 + 8 = 3*g. Suppose 0 = 5*f - g - 7. Do f and 3 have the same value?
True
Let w be -1 - (104/(-22))/4. Which is smaller: w or 1?
w
Let g = 53/16 + 1201/48. Let m be (1 + -15)*(0 + -2). Let w = g - m. Which is smaller: -1 or w?
-1
Let q = 4 - -6. Let d = q + -14.5. Let u = d - -4. Is u less than or equal to 1?
True
Let x = 5 - 14. Let z = x + 9. Is z greater than 0?
False
Let w be (-2 - 1) + (6 - -1). Suppose w*c + 16 = -2*h, -h - c - 4 = -0*h. Suppose 0 = -2*v - h*v. Is v greater than or equal to 2/25?
False
Let q = -13 + 10. Is q <= -28?
False
Let k = 0.1 + -9.1. Let f = k - -7. Let b = 0.5 - 0.1. Is b bigger than f?
True
Let t = 0.034 - -0.026. Does -0.3 = t?
False
Let r = -2 + 1.9. Let m = 8 + -7. Is m less than r?
False
Let o be (1/(-2))/((-2)/24). Suppose -2*f + o*f = -8. Is f greater than or equal to -2?
True
Let f(i) = -i**3 - 8*i**2 - 7*i + 2. Let m be f(-7). Suppose 1 = 3*t - m*t. Is t not equal to 1?
False
Let z be 38/6 + 2/(-6). Let g = -10 - -17. Is g less than or equal to z?
False
Let z be (-2)/5 - 17/(-5). Suppose -3*i = 2*r + 7, 2*r - z*i = -r - 18. Suppose -2*v = 2*x - 2, 6*x - 9 = 2*x - 5*v. Which is bigger: x or r?
x
Let i be -3*(-1)/(3/4) - 3. Which is bigger: 1/16 or i?
i
Let k be (3 + 0)*4/6. Suppose -10 = -4*r - 5*l, -3*l + 3 + 3 = k*r. Suppose 4*v = -r + 8. Which is smaller: v or 3/5?
3/5
Let q be (-1)/6 - (-56)/(-240). Which is smaller: q or -6/11?
-6/11
Let b = 8 - 8. Which is smaller: -2/63 or b?
-2/63
Let z be ((-8)/(-6))/(12/(-18)). Let h = 5 + -8.1. Let y = h - -3. Which is smaller: z or y?
z
Let d = 1.1 - 0.1. Let w = 17/18 + -98/99. Do w and d have the same value?
False
Let z = -58/5 - -12. Is z not equal to -7?
True
Let l = -7 - -4. Let n = l - -4. Which is smaller: 0.2 or n?
0.2
Let r = 40/29 - 508/957. Let j = r - 2/11. Is j at least 2?
False
Let z = 6 + -7. Is -1 <= z?
True
Suppose -4*p + 0*p + 12 = 0. Do 3 and p have different values?
False
Let l = 24 + -271/11. Is -1 not equal to l?
True
Suppose 5*s = -z + 6, -5*z - 2 = 4*s - 11. Is 3/11 < z?
True
Let d = -105 - -106. Which is smaller: d or 3/5?
3/5
Let b = 1.2 + 0.8. Let l = -8 - -7.4. Let g = 1.4 - l. Is b greater than or equal to g?
True
Suppose -3*f - 1 = 11. Is f <= -1?
True
Let w = -12 - -11. Which is smaller: -2/37 or w?
w
Let y = 3.57 + -0.07. Let z = y - -0.5. Are z and 0.1 non-equal?
True
Let j be 14/8 - (-12)/(-16). Are j and -2/11 nonequal?
True
Let m = 92 + -140. Does m = -48?
True
Suppose -282 - 102 = 8*g. Is g at most -50?
False
Let q(l) = -l**3 + 4*l**2 - 3*l + 2. Let d be q(3). Suppose d*m - 24 = 5*m. Let z be (2/(-5))/(m/10). Which is smaller: 0 or z?
0
Let h = -80 + 81. Are h and 1/95 non-equal?
True
Let a be 3*(0 + -2 + 3). Suppose a*m + 0 = -4*z + 31, -2*m + 26 = 4*z. Suppose -z*u = -7*u. Is u at most as big as -1?
False
Suppose -8 = -2*i + 5*p, -5*i + p - 3 = -0*p. Which is smaller: i or 1/36?
i
Let i be (4/2 + -3)*1. Let g be 0/(0 - (i - -3)). Which is smaller: g or -1/20?
-1/20
Let g = 73/105 + -1/35. Let f = 0.3 - 0.1. Let l = f - 0. Is l smaller than g?
True
Let h = 8.5 - 0.5. Let v = -12 + h. Which is greater: -1 or v?
-1
Let k(n) = -2*n**3 + 4*n**2. Let w be k(3). Let g be w/33*(-2)/(-3). Which is smaller: g or -1?
-1
Let u be (2895/(-50))/((-3)/(-4)). Let w = 77 + u. Let x be 1/(-2 + 4 + -3). Which is bigger: w or x?
w
Let t = -8 - -9.1. Let c = 0.5 - 0.6. Let i = t + c. Is 1 != i?
False
Suppose -22*l = -17*l. Let i be 2 + 1*(-1 + -4). Let v be ((-3)/9)/(1/i). Which is bigger: v or l?
v
Let j = -17 + -4. Let k be 24/26*7/j. Is k < 1?
True
Suppose -a = v + 2, 2*a - v + 1 - 12 = 0. Let t = a + -1. Suppose 4*p + 9 = -4*f - 3, t*p + 6 = 5*f. Which is smaller: f or -1/3?
-1/3
Let q be (-60)/42 - 2/(-2). Which is bigger: 1 or q?
1
Suppose 4 = 5*j - 11. Suppose -3*n + 2*y + y - 9 = 0, 14 = -4*n + j*y. Which is smaller: -6 or n?
-6
Suppose v = -5*g - 12, g - 18 = 3*g - 4*v. Let x be (-2)/g*(-1 - -4). Suppose -2*a = -3*a + 3. Which is greater: x or a?
a
Let g = 5 + -8. Let p = 7 + g. Which is greater: p or -1?
p
Let k(y) = -y**2 + 6*y - 6. Let h be k(5). Which is smaller: h or -2/43?
h
Let i be 1/(2 - (-25)/(-12)). Let t = -7 - i. Suppose 5 = -5*p - w, -5*p + w = t*w + 5. Is p less than -1?
False
Let o = -91/15 - -32/5. Which is smaller: o or -1?
-1
Suppose 130 = -v + 14*v. Which is bigger: v or 3?
v
Let u = -18/11 + 32/33. Let j be -1 + (0 - 1) 