h is smaller: 1 or g?
g
Let k(c) = 25*c**2 + 3*c + 9. Let t be k(-2). Are t and 101 equal?
False
Let f be 1 + 1 + (-380)/(-5). Let x be (f/10)/((-20)/(-100)). Do 39 and x have different values?
False
Suppose 4*l + 12 = 0, 8*u - 3*u - 39 = 3*l. Suppose u*t - 2*t - 16 = 0. Let p = 5 + t. Which is smaller: 11 or p?
p
Suppose -3*l + 5 = 14. Let t be (20/6)/(2/(-6)*2). Which is greater: l or t?
l
Let n = -238 - -247. Let l = 46 - 28. Suppose -h + 3*h = l. Are n and h non-equal?
False
Suppose -3*r = 6 - 27. Let o be ((42/(-4))/r)/4. Is -0.1 at most as big as o?
False
Suppose 0 = 2*i - 6, 3*d + 2 = -i - 31. Let a be ((-16)/d)/((-10)/(-3)). Which is bigger: 0.2 or a?
a
Let g = 20/27 - 2/27. Let f = 1/2 - g. Is -1 not equal to f?
True
Let j = -17778128/1081 + 16446. Is j less than 2/5?
True
Let x = -363 - -15. Is x at most -1?
True
Let m = 0.0647 - 0.0647. Which is bigger: m or 1/19?
1/19
Let s(n) = -3*n - 21. Let c be s(-43). Is 326/3 less than or equal to c?
False
Let o = 766/9 + -10111/117. Which is smaller: -2 or o?
-2
Suppose 16 = -2*v + 4. Let o(q) = -q**2 - 11*q - 7. Let k be o(-9). Suppose -b - 3*d + 4 = 0, -k + 55 = -5*b + d. Which is greater: v or b?
v
Suppose -23*b - 100 = 77*b. Does -3/769 = b?
False
Suppose 2*z - 2*k + 4 = 0, 3*k + 2*k = -5*z + 40. Suppose 0 = -p + 6*p + 5, 35 = z*c - 5*p. Suppose 5*n = -c - 10. Which is greater: -3 or n?
-3
Let o(h) = -3. Let r(a) = -a - 10. Let j(f) = 7*o(f) - 2*r(f). Let n be j(-2). Which is smaller: -23/6 or n?
n
Let z = 1235 + -1233. Which is smaller: 51/20 or z?
z
Let c = -59.1 - -59. Suppose -x + 14 - 35 = 0. Let z be (3/x)/(2/(-4)). Is z bigger than c?
True
Suppose 6*n - 89 = -17. Suppose -10 = -3*x - 2*x. Suppose -3*c = -2*i - 45, -3*c - x*i = -5*i - 48. Which is smaller: c or n?
n
Let b(k) = 45*k + 161. Let a be b(21). Which is greater: 1105 or a?
a
Let z be (-8)/20 + 892/(-20). Let t = -60 - z. Is t greater than -14?
False
Let i be (-328)/(-7)*84/336. Is 12 less than i?
False
Suppose 0 = 308*j - 324*j - 128. Is j >= -9?
True
Let h be (90 - -3)/(24/(-64)). Is -248 > h?
False
Suppose -5*o + 2*b + 3 = 0, 5 - 3 = 5*o - 3*b. Which is bigger: 46 or o?
46
Let p be (-2)/(-3)*21/14. Let d be (p/(-4))/(25/(-40)). Is d >= -2?
True
Suppose -3*f = -9*s + 13*s + 269, -4*f - 264 = 4*s. Are s and -71 equal?
True
Suppose -h + 4*i + 24 = 0, -4*i + 4 + 12 = 4*h. Suppose 6*d - h = -2. Let a = 256/17 - 15. Which is smaller: d or a?
a
Let b be -1 - (-8)/(-128)*-22. Are 0 and b nonequal?
True
Let f(t) = 38*t + 43. Let c be f(10). Let s be 3/(-5) - -1 - c/270. Which is smaller: s or -2?
-2
Let p be 5/10 + (70/(-124))/1. Is -4/9 greater than p?
False
Let y = 10.92 - 10.92. Which is smaller: y or -299?
-299
Let x = 288 - 151. Is x != 138?
True
Let n be ((-7)/(-3) - 2)*6. Let x(k) = -k**2 + 3*k + 1. Let t be x(n). Let j be (3/(-10))/(54/(-585)). Does t = j?
False
Let l = -2724 - -1487. Is -1237 greater than or equal to l?
True
Let d = -147 - -234. Which is bigger: -2 or d?
d
Suppose -11*j - 2*g = -10*j - 5, 5*g = -5*j + 15. Which is smaller: j or 1/267?
1/267
Let b be (-28)/7 + (-222)/(-55). Let f = b - 621/440. Which is bigger: f or 0?
0
Let h = 7/127 + -13243/635. Let w = -21 - h. Let t be 0 + 1/(-1) + 1. Which is smaller: w or t?
w
Let b be ((-102)/21 - -4) + (-12)/(-14). Is 286 < b?
False
Let i = -3 - -2. Let j = 11 + -14. Let k = j + 3.2. Is k at most i?
False
Suppose w + 0*w = 46. Suppose 0 = -4*h + w + 18. Let f be ((-4)/(-10))/(h/30). Which is bigger: 2 or f?
2
Suppose 0*c - 2*u + 8 = 3*c, -5*u - 10 = 0. Suppose c*g = -0*g + 12. Suppose -g*i = 4 - 1. Is i less than -2/39?
True
Suppose a - 68 = -67, 0 = -2*b - 4*a + 80. Is -7 at least as big as b?
False
Let j be 48/20*(-330)/4. Let y = j - -405/2. Suppose -4*t = t - 25. Which is greater: y or t?
t
Let s = 273 - 820/3. Which is smaller: s or 83?
s
Suppose -2*b - 2*k + 3*k + 8 = 0, 0 = -k. Let u be -4 + (b - (1 - -4)). Is u less than -6?
False
Let x be (-2)/((-30)/33) - 2. Let g(u) = -u + 1. Let b(q) = -2*q + 2. Let m(d) = 4*b(d) - 9*g(d). Let p be m(0). Is p at most as big as x?
True
Suppose 29*n + 17 = 365. Which is smaller: n or 18?
n
Let f = 77 + -76.3. Let q be (14/(-21))/(2/(-36)). Let h = -11 + q. Is f smaller than h?
True
Let l be 6/6*(-1 + 5) - -4. Suppose l*n + 16 = 16. Let o = 43541/69 - 631. Which is greater: n or o?
o
Let f = -1406.82 - -1387. Let n = 2.82 - 3. Let u = n + f. Which is greater: 0 or u?
0
Let y = 559 - 764. Is 1 greater than or equal to y?
True
Suppose 0 = 2*d + 2, -n - d - 13 = -9. Which is smaller: n or 1/19?
n
Let d be 12/1 - (-5 + 1). Let y = d + -47/3. Which is smaller: 3.2 or y?
y
Let v = 7.7 + 1.8. Let t = v + 0.5. Let i = -10.1 + t. Which is bigger: 1/2 or i?
1/2
Let w be -1 - ((-20)/(-5))/1. Let n = -48 + w. Which is smaller: 1 or n?
n
Let t(z) = z**3 + 12*z**2 + 12*z + 9. Let d be t(-11). Suppose -5*f = 6 + 4. Is d greater than f?
False
Let c = 0.1053 - -0.8947. Is -19.9 greater than c?
False
Let x = -7 + 5. Let r = -2 - -4. Suppose -r*i = -2 - 0. Is i less than x?
False
Let l be 1 + 4*1/(-2). Let p be -2*((-57)/78 - l). Let h = p + 89/117. Is -1 >= h?
False
Let t be (60/368)/(5/(-40)). Which is greater: t or 0?
0
Let m = -23.5 - -23.3. Let g = -7 - -25/4. Is g < m?
True
Let q = 17.5 - -0.5. Let h(o) = -28*o + 2325. Let g be h(83). Is g greater than or equal to q?
False
Suppose 0 = -2*v + 5*j - 6, 3*v + 4*j - j = 12. Let p be (-12)/3 + 20/2. Is p less than or equal to v?
False
Suppose -5*w = 3*m - 4, w + w + m - 1 = 0. Which is smaller: 1/1812 or w?
w
Suppose 0 = -3*x, -5*d - 4*x + 5 + 20 = 0. Is d not equal to 7?
True
Let g be (-2)/(-4) - (-5)/(-10). Suppose g = -5*n - 2*i - 3, -10 = 4*n + n - 5*i. Which is greater: n or 2?
2
Let k(i) = 22*i - 276. Let j be k(12). Is -5 < j?
False
Let y(q) = q - 1. Let d(g) = g**2 + g - 21. Let v(k) = d(k) - 3*y(k). Let t be v(-6). Which is smaller: t or 31?
t
Suppose -2*r + h + 0*h + 87 = 0, -3*r = 3*h - 153. Suppose p = -r + 11. Is p > -34?
False
Let a = -69/25 + 9/25. Which is greater: 12 or a?
12
Let h = -2 + 1. Let s(r) = -2*r**2 + 7*r - 2. Let f be s(3). Let j be f/((-8)/2 - -3). Do j and h have the same value?
True
Suppose -k - 4*k + 20 = 0, -18 = -5*d - 2*k. Let b be -12*6/(-9)*d. Suppose -40 = 5*t + 4*s, 2*t = 4*t - 5*s + b. Is t < -9?
False
Let t be (2 + -1 + 1)/1. Suppose 0 = -p + 4*s + 10, -2*p + 21 = -3*s + 11. Suppose 2*i - 3*z = -14, -t*i - p*z + 14 = 2*z. Is -1/11 greater than or equal to i?
True
Let k = -0.035 - -30.035. Let h = k - 29. Is h smaller than 0.19?
False
Suppose -4*b - 5*j = -40, -6*b - 4*j + 41 = -b. Let x = b + 0. Suppose -3*y = x*a - 3, 2*a - 8 = -5*y - 3. Which is bigger: y or 1/9?
y
Let d = 208 - 436. Let g = 113 + d. Is g at least as big as -116?
True
Let i(l) = l**3 + 29*l**2 + 25*l - 83. Let a be i(-28). Is a less than or equal to 40?
True
Let y = 211/27 - -6818/27. Is y smaller than 261?
True
Suppose -3*b + 106 = 4*a - b, 0 = a + 2*b - 19. Let i = a + -25. Suppose -i*t + 28 = y - 3*y, 15 = 3*t. Which is bigger: -2 or y?
-2
Suppose -l = -0*m - m + 5, -3*m = -5*l - 17. Suppose -2*r + 22 + 3 = 5*k, 5*k - m*r = 55. Let n be 33/4 + 7/(-28). Which is greater: n or k?
n
Suppose -3259*c + 3261*c = 666. Is 2/7 at least c?
False
Let q = 20 - 32. Let g be 4 - (-12)/(-1)*q/9. Is -0.2 at most g?
True
Let z(u) = 7*u + 21. Let l be z(-11). Let o be (3 + 170/l)*2. Is 2 >= o?
True
Let d be 8/6*3/2. Let b = 137 - 29. Let c be b/(-231) - d/(-11). Is 0 less than or equal to c?
False
Suppose 2*b - 2*j - 49 + 9 = 0, -2*b - 3*j = -25. Let i be 3 + b/(-5) - 408/5. Which is smaller: -83 or i?
-83
Let y = 13/267 - 34/89. Which is smaller: -4.2 or y?
-4.2
Let j be 16/((4/(-15))/(10/(-3))). Suppose j = -6*m + m. Is m greater than -40?
False
Let w(l) = -2*l**3 + 8*l**2 - 7*l. Let s be w(1). Is s > -23?
True
Suppose 0 = -5*p + o - 0*o + 15, -4*p = 3*o + 7. Suppose -2*q - 2 = 4*j, q = -p*j + 6*j - 13. Suppose -j*d - 2*d = -72. Is d < 18?
False
Suppose -13*c = -4*c + 9. Do -8/77 and c have the same value?
False
Let s(f) = -f**2 - 53*f + 108. Let p be s(-40). Is p greater than or equal to 628?
True
Let u(p) = -2*p**3 - 5*p**2 + 39*p + 125. Let k be u(-3). Is k at most as big as 17?
True
Suppose 3*o = 5*s + 39, -s - 1 = 2. Let b = -5 + 4. Let p = b - -1. Do o and p have different values