h is smaller: 0.1 or g?
g
Suppose 0 = -2*p + 3 + 3. Let j = 195 + -191. Which is greater: j or p?
j
Suppose 0 - 3 = y. Suppose -78 = 5*p - 4*b, 0 = 4*p + 2*b - 8 + 86. Does p = y?
False
Let x(f) = f**3 - 14*f**2 + 8*f - 113. Let r be x(14). Do r and -65 have the same value?
False
Let h = -17 + 365. Let z be (-8)/7*(-29)/h. Which is smaller: z or 0?
0
Let p = -2 - 0. Let k = 2 - -6. Let z(b) = -b + 6. Let l be z(k). Do p and l have the same value?
True
Let c be (-1)/((-6)/(-9))*12/(-9). Let p be (-9)/6*c - (-15)/10. Which is bigger: p or 3?
3
Suppose 0 = -4*p + 2 + 6. Suppose 7 = p*q + 1. Suppose -4*j - 4 = -7*z + 3*z, -5*j + 3 = q*z. Which is smaller: -2/13 or z?
-2/13
Let w(d) = 3*d**2 - 3*d - 3. Let x be w(3). Let n be (x/75)/(16/(-25)). Is -0.1 bigger than n?
True
Let h be ((-4)/6)/(-6 - (-451)/(-33)). Which is smaller: 4/5 or h?
h
Let o = 37 - 35. Suppose -t + 1 = 0, -o*g - 4*t + 34 = -5*g. Let h be ((-6)/(-9))/(g/(-15)). Are -1/3 and h nonequal?
True
Let q = -34 + 34.2. Let k = -0.3 + q. Is -1 <= k?
True
Let f(a) = a**2 + 2*a. Let y be f(0). Let m(l) = l**3 - 5*l**2 + 4*l + 1. Let b be 7 + (-1 - 3 - -1). Let c be m(b). Is c > y?
True
Let t be 2/((306/15)/(-3)). Let n = 1254941/4206225 - -74/3299. Let h = n + t. Are 1 and h nonequal?
True
Let x = 324.5 + -324. Let d = 283 + -3681/13. Is d smaller than x?
True
Let z(d) = -d**3 + 11*d**2 - 9*d - 12. Let b = 32 + -22. Let t be z(b). Let u be 105/91 + t/13. Are u and 1 unequal?
False
Let f = -0.6 - -0.65. Let y = f - 1.45. Let d = y + 1.3. Which is greater: 2/3 or d?
2/3
Let h(o) = -o**3 + 16*o**2 - o + 17. Let q be h(16). Let i be 2/(-3) + 87/63. Which is smaller: q or i?
i
Suppose 14*a + 0*a + 2898 = 0. Which is bigger: -206 or a?
-206
Let x = 0.1 - -10.9. Let k = x + -12. Let f = 1 - k. Which is smaller: 3 or f?
f
Let d = -319 + 320. Is d less than 6.1?
True
Let v = -59833/5064 + 283/24. Which is smaller: v or -1?
-1
Let t(i) = -i**3 - 56*i**2 + 115*i + 160. Let j be t(-58). Which is smaller: 222 or j?
j
Let g = -2 - 0.2. Let i = 10.9 - g. Let a = i + -13. Which is smaller: a or 6?
a
Suppose -s + 5*g - 32 = 0, 2*s + g - 17 = -26. Is -1 at most as big as s?
False
Let j = 0.326 + -30.226. Let y = j + 30. Is y bigger than -0.06?
True
Suppose -240*w + 232*w - 248 = 0. Is w smaller than -8?
True
Let u(s) = -2*s - 1. Let j be u(1). Let i be j/(-12) - (-21)/(-36). Suppose -2*n + 1 = 3. Which is smaller: i or n?
n
Let w = -17/63 + 2203/8631. Suppose -3*p + 10 = -3*j - 2, -3*j - p = 0. Is w equal to j?
False
Let y(u) = u**2 - 4*u + 3. Let h be y(6). Let p be (-4 + 55/h)*0. Suppose p = -0*k - 2*k - 10. Which is greater: k or -4?
-4
Suppose 4*j - 88 = 2*j + 4*a, -5*a = 3*j - 77. Suppose 5*l = -j - 6. Let f(x) = 12*x + 508. Let g be f(-43). Do g and l have the same value?
True
Let w = -30 - -92/3. Let j(t) = t**2 + 3*t - 2. Let y be j(-5). Which is greater: y or w?
y
Let c(p) = p**3 - 2*p**2 - 3*p + 6. Let l be c(7). Suppose -175 = 2*y + y - a, 0 = -4*y + 3*a - l. Which is greater: -60 or y?
y
Suppose -z + 9 = 3*d - 5*z, -d - z = -3. Suppose -d*m - 33 = -93. Suppose -4*v - 8 + 28 = 2*o, 0 = 5*o - 4*v + m. Which is greater: -8/9 or o?
o
Let x = 1.205 + -1.227. Which is greater: x or -2?
x
Let r(u) = u**3 + 2*u**2 + 2*u + 2. Let f be r(-2). Let p be -3 + f + (-8)/(-2). Do p and -1/60 have different values?
True
Let r = 45 - 82. Let f = -46.3 - r. Let n = -9 - f. Which is greater: n or 1?
1
Let c be ((-2982)/738 - -1) + 3. Which is greater: c or 1?
1
Let b be (-255)/(-45) + 20/(-4). Which is bigger: b or -67?
b
Let y = -89 + 110. Which is bigger: y or 0?
y
Let f = 670 - 833. Is f greater than or equal to -161?
False
Let c be (-86)/344*(2 + -1 - 1). Let b = -767878/243 - -3160. Are b and c equal?
False
Suppose 6*l = -3 - 3. Let q be (l*(7 + -4))/((-54)/44). Which is smaller: q or 2?
2
Suppose 0 = -2*s - 2, 0 = 96*d - 94*d - 5*s + 2637. Does d = -1321?
True
Let k = 7633 - 259501/34. Which is greater: 1 or k?
1
Suppose -u = -x + 5*x, 5*x + 9 = u. Let f(a) = 4*a - 3. Let b be f(2). Suppose b*o - 40 = -4*w, 2*o - 5*o - 3 = -3*w. Is u at most w?
True
Let c = 2499 - 2552. Is -56 not equal to c?
True
Let o = 19 + -23. Let t = 5.1 + o. Let x = t - 2.1. Which is bigger: -13 or x?
x
Let p be 37/38 + 0 - 1. Let s(o) = -3*o + 19. Let b be s(6). Which is bigger: b or p?
b
Let v = 398 - 400. Which is greater: v or 39?
39
Let d = 230 + -2532/11. Suppose 5*r + 412 = 407. Is d bigger than r?
True
Let w = -244 + 342. Let n = 92 - w. Is -1 greater than n?
True
Let h be 2*(-45)/(-8 - -13). Is h < -177/10?
True
Suppose -5*a = -h + 22 + 27, -9 = a - h. Let p be (-30)/(-4)*a/(-50). Do p and 11 have the same value?
False
Let w = 16 + -11. Suppose 3*t + 16 = 6*t - 2*v, -15 = w*t + 5*v. Let o be t/(-10) - (-276)/1680. Which is greater: o or -1?
o
Let g = 0.918 - 0.998. Which is greater: g or 8/17?
8/17
Suppose 2*f - 160 = -8*f. Which is greater: f or 33/2?
33/2
Let u = -1 + 2. Let d = 20.5 - 20.59. Are u and d unequal?
True
Suppose -3*t - 2*t = -4*o + 1, 0 = -3*t + o + 5. Let g be t/(-3) + 138*(-1)/(-4). Is 33 < g?
True
Let w = -0.0513 - 0.2487. Do w and -0.15 have the same value?
False
Suppose -2*b - 224 = -4*w, 4*w - 4*b - 224 = -b. Which is greater: w or 219/4?
w
Suppose -2*j + 4 = 2. Suppose -q + j = -4. Do q and -0.5 have different values?
True
Suppose -o - x + 10 = 0, 24*x - 21*x - 44 = -4*o. Is -3 at least as big as o?
False
Let b(n) = 13*n**2 - 3*n - 2. Let z be b(-1). Suppose -c = c - z. Is 9 less than c?
False
Let g = -210 - -1049/5. Which is bigger: 98 or g?
98
Suppose 0 = 6*k - k + 2*m - 20, 5*m - 15 = 5*k. Suppose 0 = -3*w + 4*p - 23, 9*w - k*p + 15 = 4*w. Is 5/37 > w?
True
Let s(w) = 15*w**3 + 6*w**2 + w + 7. Let q be s(-3). Which is smaller: -1 or q?
q
Let i = 336636/11011 - 214/7. Are i and 1 non-equal?
True
Suppose 14 = 3*s - k - 110, 3*k = -s + 48. Does 41 = s?
False
Let s be 2*1 - (-44)/(-18). Let q = -9 + 19. Let b be 2/(-9) - q/(-45). Is b less than or equal to s?
False
Let d(i) = 60*i - 591. Let r be d(40). Is r at least 1810?
False
Suppose 3*b = 5*q, 0*b - b = 5*q - 20. Suppose -4*z + 9*z = 3*l, 0 = -q*z. Which is smaller: l or -11?
-11
Let f(a) = -2*a**2 + a - 2. Let h be f(-2). Which is smaller: h or -63/5?
-63/5
Let i = 2.41 - 2.41. Which is smaller: i or -71?
-71
Let b = 243 + -237. Which is bigger: 57/8 or b?
57/8
Let t(r) be the second derivative of r**5/20 + r**4/3 - r**3/6 - 3*r**2/2 - 15*r. Let j be t(-5). Which is greater: j or -25?
j
Let w be 12/(-66)*1/16. Let l = -388072349/440 + 881983. Let j = l - w. Which is smaller: j or 0?
0
Suppose 5*b = 9*b - 5*a + 244, b + 68 = 3*a. Is -56 >= b?
True
Let l be (3/3)/((-8 + 6)/34). Let j be 1265/(-75) + 2/(-15). Is j bigger than l?
False
Let c = 172 + -1894/11. Let m = 6477/25 + -259. Are m and c equal?
False
Let r(g) = -6*g**2 + 2*g + 2*g**3 + 3 - 3*g**3 + 2*g**3 + 2*g. Let j be r(5). Let o = 798 - 5598/7. Is j equal to o?
False
Suppose -256 = -60*q + 1484. Which is smaller: q or 39?
q
Suppose 2*d = 9*d - 28. Suppose 2*o + x = -17, -5*o - x - d*x - 55 = 0. Which is smaller: -38/7 or o?
o
Let a = -289468/6984318999 + 2/378903. Let q = a + 16976803/276495. Let n = q + -61. Does 1 = n?
False
Let x = -125681/23384 + -1/2923. Is x less than -4?
True
Let y(q) = -3*q**2 + 14*q + 2. Let f(u) = 5*u**2 - 27*u - 4. Let a(z) = -4*f(z) - 7*y(z). Let h be a(-10). Suppose 0 = -h*t - 3 - 1. Is -2 less than t?
False
Let b(u) = 3*u**2 + 6*u - 2. Let j(g) = -4*g**2 - 6*g + 1. Let l(z) = -5*b(z) - 4*j(z). Let r be l(3). Is -5 greater than r?
False
Suppose 2*n = -3*q + q + 6, 3*q = -5*n + 11. Let t(f) = -9 - 6*f + 2*f**q - 2*f**2 + f**2. Let j be t(7). Do 6 and j have different values?
True
Let l(w) = -16*w**2 - 8*w + 6. Let f be l(6). Let v = -996002/1661 + -2690/151. Let i = f - v. Which is smaller: 0 or i?
i
Let w = -262 - -226. Which is greater: w or -34?
-34
Let a = -678 - -636.1. Let d = a + 42. Which is greater: -2 or d?
d
Let s be 4*(-4)/240*(-4)/(-1). Is s at least 0?
False
Suppose 0 = -4*a + 6*a - 3*a. Which is smaller: -3/29 or a?
-3/29
Let g = -2/5661 - 503779/141525. Which is smaller: -4 or g?
-4
Let c be (-9)/2*6/(-3). Let f be 374/66 + (-4)/6. Suppose 0 = -f*b + b - 2*m + 20, 5*m = 2*b - 22. Is b at least c?
False
Let p be 3/2*(55/15 - -3). Suppose 8*w = 5*