Which is smaller: m or 1?
m
Suppose 3*u = -4*u + 49. Suppose 2*o + 2*y + 4 = 0, 3*y - u*y = -5*o - 37. Let f be (-25)/o + -4 - 36. Is f > -35?
False
Suppose -b - 4*o + 2 = 0, -2*b + 3*o = 3*b - 33. Suppose -5*c - 5*u = -3*c - 23, -2*c + 5*u - 7 = 0. Let t = c + 2. Is t < b?
False
Let q = -75 - -102. Let n = q + -12. Let u = n - -1. Is u >= 0.1?
True
Suppose 11*o = -790 + 2088. Let c be (-20 - -24) + 113/1. Does c = o?
False
Let v = 138045/715616 + -81/418. Is v greater than -1?
True
Let g = 2.086 + -2.286. Is g at least as big as 1836?
False
Let v(j) = -4*j + 3. Let m be v(-1). Let s(c) = 2 + m*c - c - c + 2. Let o be s(0). Are 9 and o equal?
False
Let h = 24519 + -24519. Which is smaller: h or 28/1483?
h
Suppose 4 = -4*h - 0. Let u = h - 8. Let n be -6*(9 + u - (-1)/3). Is 3 at most as big as n?
False
Suppose -2*s = -2*y + 92, 8*y - 2*s - 50 = 7*y. Suppose -22*a = -y*a - 1980. Which is smaller: -2/5 or a?
a
Let y = -212/39 - -8302/1599. Suppose i = -3*i. Is i bigger than y?
True
Suppose 14*v + 4680 = -2250. Let u be v/27 - ((-6)/(-9) - 1). Is u at most as big as -17?
True
Let j be 2*(-38)/12*-3. Suppose i + 4*x - 19 = 0, -4*i - x - 3 = -j. Which is smaller: i or 11/4?
11/4
Let m = -33.46 + -0.54. Suppose -4*z = 2*f + 12, -114*z = -3*f - 111*z. Is f != m?
True
Suppose 2*q - 2*w - 15 = 7, -21 = -2*q + w. Let o(z) = 2*z**2 - 17*z - 11. Let h be o(q). Let g = h + -22. Do g and -1 have different values?
True
Let u = 2750 + -2796. Let p = 0.8 + 0.2. Which is bigger: p or u?
p
Let s(i) = -i**3 + 3*i**2 + 5*i - 11. Let b = 61 + -59. Let f be s(b). Suppose 0 = -f*w - 12, -3*g + 8*g + 276 = w. Is g greater than -55?
False
Let r = 13.923 + -13.723. Is r bigger than -2995?
True
Let x be (-38)/(-2204)*(-163)/(-1). Which is greater: x or 3?
3
Let b = -817.52 + 5.52. Is b equal to 2?
False
Let o = -28066 + 28073. Which is greater: o or -30/47?
o
Let l be 27*(-10 - 201/(-9)). Let f = -4486484/13 - -344781. Let k = f + l. Which is smaller: -1/3 or k?
-1/3
Let j(r) = -r**2 + 5*r - 9. Let o be j(3). Let n(h) = h**2 - 23*h - 22. Let k be n(24). Let x be k/(-6)*(-3 + 0). Are x and o non-equal?
True
Suppose 2*d = 491 + 7. Are d and 226 unequal?
True
Let i be 6*(-3 + 1600/(-12)) + 10. Is -2425/3 not equal to i?
True
Let r = 2735 + -2734.9. Is 0.094 at least as big as r?
False
Let q = 16449 - 16834. Are -383 and q nonequal?
True
Let c(a) = 7*a + 171. Let v be c(34). Let w = v - 967. Which is smaller: -559 or w?
-559
Let o = 900 + -897. Suppose -3*q - 4 = -7*q + x, 3*q + o*x = 3. Which is greater: 1/465 or q?
q
Let g be 17/85*2/(-46). Suppose -5 = 17*w - 90. Let c(s) = -11*s**2 + 54*s + 5. Let t be c(w). Which is smaller: g or t?
g
Suppose -3*j + 4*i = 15, -3*j = 2*i - i. Let m be (11*(-13)/14729)/((-2)/(-4)). Is j greater than m?
False
Let w be 58/18 + (-34)/153. Suppose -w*z - z + 12 = 0. Let r(a) = -6*a + 47. Let x be r(8). Is x not equal to z?
True
Suppose 5155*s + 1073 + 1311 = 5151*s. Which is bigger: s or -2?
-2
Let m be (2/4)/(175/(-60) + 3). Let g be ((-3)/m*-13)/((-9)/18). Let y be g/(26/(-15))*(-8)/110. Which is smaller: y or -1?
-1
Let i = -1775.3 - 371.7. Is i <= -2/7?
True
Let f = -39.8 + 36.9. Let t = -5.1 + f. Which is smaller: t or -1.9?
t
Let d = 18810 - 18824. Is d at most as big as -39?
False
Let t = 2750 + -2751. Is t at least as big as 899?
False
Let q(v) = 4*v**2 + v + 1. Let l be q(-1). Let x be (-16)/(-136) + (4 - 257/17). Let w be x/3 + l/(-30). Which is smaller: -4 or w?
-4
Let x = 3533.1 - 9.1. Which is smaller: x or 0?
0
Let u = -1313 - -1253.07. Let j = 87 + -147. Let v = j - u. Which is greater: 6 or v?
6
Let l be 5 - (2/(-5))/(6/(-30)). Suppose 4*u + 2 - 6 = 4*q, -l*q = 3. Which is smaller: 1/52 or u?
u
Let w(p) be the second derivative of -p**4/12 + p**3/2 + 12*p**2 + p. Let s be (-23)/(-4) - (-8)/(288/9). Let j be w(s). Is j >= 6?
True
Suppose 4*i + 23 = -s + 39, 33 = 5*i - 2*s. Let a be 2/(-6) - 116/(-6). Suppose 0 = 5*u + 2*p - 26, u + 3*u = -p + a. Do i and u have different values?
True
Let b be (((-462)/(-146503))/22)/(-3). Which is bigger: b or 1?
1
Let v = -55.5773 + 1.0873. Let q = 1.51 - v. Which is bigger: q or 0.1?
q
Let u be ((-16)/(-2))/(13 - (-7 + 18)). Suppose 0 = 4*h + 2*q + 76, -36*q + 52 = -u*h - 32*q. Is -12 less than or equal to h?
False
Suppose -2*o - 417 = -2*k - 611, -2*k + 261 = 3*o. Is -23 > o?
False
Let o be 765/33 - (-6)/(-33). Let n = o + -990/43. Which is smaller: 0 or n?
n
Suppose 35*q - 41073 = -13388. Which is bigger: 792 or q?
792
Let a = 0.04547 + 0.25553. Is a less than 2?
True
Let o be (-5997)/(-72)*-1 - (8/24 + 1). Are o and -85 non-equal?
True
Suppose -p - 5*w = -31, 2*p + 3*w - 33 = -p. Let t(c) = c**2 + 14*c - 25. Let h be t(p). Which is greater: 0.2 or h?
h
Let o(a) = 2*a**2 + 13*a - 74. Let q be o(-9). Is 10 greater than or equal to q?
True
Let a = 13.6 + -10.24. Let k = a + 176.64. Let z = 124 - k. Are 0.1 and z equal?
False
Let r(i) = i**3 + 2*i**2 - 17*i - 4. Let t be r(-5). Is t < 7/26?
False
Let r = 30/61 - 752/1281. Let n(z) = z + 14. Suppose w + 4*l + 1 = 0, -3*w - 13 = l + 23. Let k be n(w). Is k at least as big as r?
True
Suppose 10*y + 13*y = 4*y + 133. Are y and 122/19 equal?
False
Let f = 1187 - 1063. Which is smaller: f or -7?
-7
Suppose -2*u = 7*p - 8*p + 507, -p - 3*u = -502. Which is greater: 500 or p?
p
Let q be ((-396)/(-8))/11*(-3 + (-4)/3). Suppose 30 = 5*s - 0*s. Let x(r) = r**3 - 6*r**2 - 4*r + 4. Let i be x(s). Is i bigger than q?
False
Let b = -1312.04 - -1312. Let y = 0.33 - 0.19. Let j = y - 0.04. Is b smaller than j?
True
Let h(g) = -14*g + 116. Let v be h(14). Let x be (-4)/(-1) + 312/v. Let r = -1 - -2. Does r = x?
False
Let b be (2/28 - -1)*(-176)/(-5). Let l = b + 15/7. Let c = l + -40. Are 2/7 and c equal?
False
Let r be 8/2*39/(312/(-28)). Which is greater: 0.38 or r?
0.38
Let o be 2*(155/525 - 6/63). Is o >= -13.4?
True
Let h = -476 - -482. Let t be ((-3)/h)/((-6)/(-84)). Which is smaller: -32/5 or t?
t
Let b be (-14)/14*8/(-12). Let g = -2.8 - 3.2. Let v = g + 6.16. Which is smaller: v or b?
v
Let x be 2/(3*4/(-6)). Let z = 3313918/49 + -67631. Which is bigger: z or x?
z
Suppose -t + 47 = 191*k - 188*k, 4*t = 3*k - 52. Suppose -a - s = -1002, 4*s - 1280 = -2*a + 716. Let p = a + -120721/120. Does p = t?
False
Let q = 21383 + -21381. Which is greater: q or 137.9?
137.9
Let a = 2/136689 - 1504529/64927275. Is 0 at least a?
True
Let t = 7964 - 7129. Which is smaller: t or 832?
832
Suppose -5*z + 3317 = 3*j, -117*z + 2025 = -114*z - 4*j. Is 662 greater than or equal to z?
False
Let p = 7 - -3. Let m(a) = a**3 - 5*a**2 + 3*a - 13. Let v(c) = c**2 + c - 1. Let f(z) = m(z) - 5*v(z). Let n be f(p). Which is greater: -27 or n?
-27
Let d(f) = -4*f**3 - 15*f**2 - 40*f + 15. Let l be d(-8). Is l equal to 1421?
False
Suppose -1336 = -15*v + 869. Which is smaller: 738/5 or v?
v
Let v = 8/415 - -742/4565. Let i = 5 - 4. Let n(w) = 5*w**3 - w**2. Let y be n(i). Which is smaller: v or y?
v
Let a be (416/273)/16 - (-12)/63. Which is greater: a or -2/501?
a
Let p = 0.43 + -0.27. Let j = -0.29 + p. Let q = j + 1.13. Is 1/9 > q?
False
Let t = 51 - 38. Suppose 2*v = 4*v + 6, 0 = 2*r + 3*v + 9. Suppose -i - n + 12 = r, 4*i + 4*n - 49 = n. Is t != i?
False
Let z(g) = -43*g**2 + 8*g - 64. Let q be z(13). Let s be q/135 - (2 - (-33)/(-15)). Are s and -53 nonequal?
True
Let l = 4223 + -4111. Which is smaller: 0.3 or l?
0.3
Let d = -0.08 - 5.92. Let g = 10.7 + -24.7. Let k = d - g. Which is greater: -2/13 or k?
k
Let l(r) = 4*r**3 - 4*r + 3. Let f be l(1). Let j(g) = -8 - 3*g - g**f + g - g - 2*g + 7*g**2. Let n be j(6). Is n equal to 0?
False
Suppose -4*l + 4 = -8. Let o(z) = -z**3 + 13*z**2 + 11*z - 278. Let n be o(12). Let g be n/l*105/77. Which is smaller: -0.1 or g?
g
Suppose 0 = 5*z - r - 14, 0 = z - 2*r - 2*r - 18. Suppose 4*m = -i + z*i - 18, 5*i = -4*m - 30. Let p be ((-216)/30 + -2)/(6/m). Which is smaller: 8 or p?
p
Let f = 1.97 + 7.23. Let z = 11.2 - f. Which is bigger: 5.3 or z?
5.3
Let a be ((-3)/(-3))/(41/82). Let b(w) = w - 1. Let p(u) = -4*u**2 + 5*u - 9. Let y(c) = 6*b(c) - p(c). Let i be y(a). Which is smaller: i or 41/2?
41/2
Let u = -0.003 - -0.003. Let c = 33.7 + 14.3. Is u at most c?
True
Let t = 741 + -5789/4. Do t and -1/4 have the same value?
False
Let a =