5)*((-875)/(-42))/(-25). Let c = 157/3 - t. Is -8 smaller than c?
False
Let x = 2561/8 - 318. Let w be (7/(-21))/(2/(-36)). Suppose w*i + 7*i - 26 = 0. Which is smaller: x or i?
i
Suppose 29*m - 34*m = -130. Suppose -m*z - 375 = -21*z. Let i be (-6)/9*2/((-4)/z). Is -25 at least i?
True
Let k = 844 + -98750/117. Let s = 452 - 454. Which is bigger: s or k?
k
Let a be 0*(-1)/(-5) + 3. Let n be (7/3 - 2)/(1/a). Is 1/112 > n?
False
Let x = 906 - 663. Is x greater than 245?
False
Let v = 2926 - 2569. Is 361 greater than or equal to v?
True
Suppose 13 - 2 = -z. Let t(f) = -3*f**2 + 16*f - 35 + 4 - f**2 + 5*f**2. Let x be t(-17). Are x and z equal?
False
Let f = 12476 - 12498. Suppose 0 = -0*t + t + 26. Which is greater: f or t?
f
Let t(j) = 7*j - 21. Let a(v) = -9*v + 22. Let p(l) = -4*a(l) - 5*t(l). Let o be p(-26). Let w be 2*9/2*(-87)/o. Is w less than or equal to 86?
False
Let i = -84.3 - -41.4. Let y = -36.5 + -4.5. Let d = i - y. Which is smaller: -1 or d?
d
Suppose 5*o = -5*q + 50, -5*o - 4*q + 19 = -27. Let r = o - -12. Let j be r/24 - (-1 - 0). Which is smaller: j or 3?
j
Suppose -4*t + 21 = z, 122*t - 117*t = 2*z + 23. Let y = -197/97 - -169423/83517. Which is smaller: z or y?
y
Let r(v) = v**3 + 6*v**2 - 10*v + 9. Suppose -25 - 17 = 6*s. Let t be r(s). Let l be (12/(-10))/(-2) + 297/t. Which is greater: -1 or l?
l
Let p(k) = k**3 + 2*k**2 - 2*k + 2. Let m be p(0). Suppose -2*t + 957 = 2*b - 7*b, 1408 = 3*t - m*b. Let u = t + -4190/9. Is 1 less than or equal to u?
False
Suppose 469 = -4*s - 387. Let c = 222 + s. Is c greater than 9?
False
Let k = -7.048 + 6.048. Which is greater: -894 or k?
k
Let r = -8397.8804 - 3.1196. Is -1/2 < r?
False
Let v be -9*(0 - -10)*94/(-705). Suppose 122*q - 125*q + 3*s - v = 0, 0 = -2*s + 2. Let f be (-1)/((-7)/(-29)) - -1. Which is bigger: q or f?
q
Suppose 4*d = -2*p + 15690, 2*d + 5*p - 4314 = 3543. Are d and 3920 non-equal?
True
Let c = 69 - 60. Let l = -20.4 + c. Let t = l - -11.24. Is -0.2 at most t?
True
Let t be (-3*213)/3 - 3. Let q be ((-22)/15)/(t/(-45)). Let d = 1/36 - q. Is d less than 0.1?
False
Suppose j + j = 0. Let v = 17519/108 - 18567251/114480. Let n = v + 1/80. Is n greater than or equal to j?
True
Let h(r) = r**2 - 15*r - 204. Let j be h(23). Is -12 equal to j?
False
Let o(h) = -h**2 - 9*h - 18. Let t be o(-6). Suppose t = -2*r - 32 - 26. Suppose 0*c - 2*v + 90 = -3*c, 0 = -c - 4*v - 16. Which is greater: c or r?
c
Let w be (2*86/8)/(1/(-10)). Let s = 213 - 425. Is w >= s?
False
Let m be -2*5 + ((-1323)/294 - 7/(-1)). Let c = 0.4 - 0.2. Let o = 0.2 - c. Which is smaller: m or o?
m
Let a = 485477/61 - 7958. Are a and 1 nonequal?
True
Let z(m) = m**3 + 2*m**2 + 4*m + 1. Let s be z(-3). Suppose 2*a + 24 = 2*k, 3*k = 5*a + 5 + 55. Let b be a/s + (-22)/70. Which is smaller: b or 2/3?
b
Suppose 0 = -47*y - 96*y - 84050 + 33714. Which is smaller: y or -358?
-358
Suppose 15*p - 21*p = 6. Let n be (1 - -1)/(-2)*(-2)/p. Is -0.046 at least as big as n?
True
Let a = -2592 - -2592.122. Let n = -34.8504 - 2.2716. Let x = a + n. Which is smaller: x or -2/5?
x
Suppose 0 = -o - 3*o + 112. Let q = -38 + o. Let z be -5 - -8 - (-22)/q. Is z != 0?
True
Let a = 0.0024 - 234.0024. Let m = -237 - a. Which is greater: 44 or m?
44
Let n = -10 - -10. Suppose n = -4*b + 17 - 57. Which is bigger: 1/2 or b?
1/2
Let r = -3887.82 - -3886. Are r and 1/2 unequal?
True
Suppose 159*p - 57*p = 0. Does 2/15209 = p?
False
Let s be (-80)/16 + 5/1. Suppose -3*m = 2*r - 8, -2*r - 5*m + 7*m + 28 = s. Is r at least 11?
False
Let z = -15592 + 1512439/97. Which is smaller: z or 1?
z
Let p = -155.8 - -154.09. Let a = 1.8 + p. Let w = -2/11 + 17/33. Which is smaller: w or a?
a
Suppose 5*t - 3*h = -h - 2, 4*t - 2*h = -2. Let k(w) = 12*w**2 - 35. Let c be k(t). Which is bigger: -38 or c?
c
Let f(a) = -a**3 + 7*a**2 - 2*a + 17. Let t = 53 - 46. Let i be f(t). Let x be 4 - (24/23 + i). Does x = 0?
False
Let l = 9.4 - 1.4. Let g = 1033 - 567. Let c = g + -460. Is c smaller than l?
True
Suppose -69*l = -88*l + 23028. Do 1212 and l have the same value?
True
Suppose 19*d = 18*d + 5. Suppose -2 = -3*y - d*h + 9, 0 = 4*h + 8. Suppose 4*z + 3 - y = 0. Is -2/9 greater than or equal to z?
False
Let x = 0.2 + -0.4. Let u = -14.054 - 0.166. Let n = -2.22 - u. Is n equal to x?
False
Suppose o - 6*o = -525. Suppose -25*p + 68*p = 35*p + 840. Is o > p?
False
Suppose 22*g - 2 = 24*g. Let z = 110146/13 + -8474. Is z != g?
True
Let r(z) = 941*z + 6795. Let g be r(-7). Which is greater: g or -6/7?
g
Let r = -0.9094 + 1.1094. Which is smaller: r or 1.08?
r
Let m = 0 - 5. Let l be (-9)/(3090/(-824) - (-3)/4). Is m at least as big as l?
False
Let u be (84/(-288)*18)/((-7)/8). Which is greater: -0.28 or u?
u
Let m = -7/8 + 19/40. Is m >= -153?
True
Let w be 17 + (2 + -5 - -2). Let a be 8/w + (-190)/(-4). Suppose 6*n - 2*n + a = 0. Which is bigger: -15 or n?
n
Suppose 5874 = 18*l + 28*l - 4430. Is l at most 204?
False
Suppose b - 2*b - 5*x = -59, 0 = 5*b + 2*x - 364. Let n = b + -79. Suppose 4*l + 5*w = -34, 5*l + 20 = -3*w - 16. Which is greater: l or n?
n
Let f be (-119472)/(-144)*(-60 + 0)/4. Do -12443 and f have the same value?
False
Suppose -2*b + 4*w = -4924, 13*b - 4888 = 11*b - 2*w. Is 2448 at least b?
False
Suppose 88*p + 250 = -162*p. Let x = 0.02 - -0.03. Let v = -0.06 + x. Does p = v?
False
Let a be (-80)/(-12)*(-31)/((-1395)/(-378)). Let m(d) = -d**2 - d - 10. Let p be m(-7). Which is greater: p or a?
p
Let m be (-120)/45*(-9)/1224. Which is smaller: m or -2/35?
-2/35
Suppose 63422 + 40616 = -14*h - 121138. Is h >= -16085?
True
Let o = 74 + -76.14. Let b = o - -2.151. Which is smaller: 0.1 or b?
b
Let k(y) = y**2 + 2*y - 13. Let x be k(6). Let t = 37 - x. Let n be (1 + -2)/(t/26). Is n bigger than -14?
True
Suppose 2*w = 5*w - 102. Let l(i) = -10*i - 67. Suppose -x = 2*g, 3*x + 3*g = 6*g - 45. Let z be l(x). Is w != z?
True
Let s = -143653 + 4098563741/28531. Which is bigger: s or 1?
1
Let y = 2.8 - 27.8. Let u = y - -26.4. Let b = -4 + 4.1. Which is smaller: b or u?
b
Let y = -14126 - -14275. Is -2/7 less than or equal to y?
True
Let y(m) = 7 + 9*m + 0*m - m**2 + 8*m - 5*m. Let b be y(13). Suppose -4*h - 14 = -a, 3*a + 36*h - 41*h - 14 = 0. Which is smaller: a or b?
b
Let m = 74 + -65. Suppose -m*p + 69 = -264. Let u be p/1*(-1)/(-1). Is u at least as big as 37?
True
Suppose 0 = 4*t - 2*b + 8, 17 = 5*t + 91*b - 89*b. Which is smaller: t or 6.4?
t
Let f be 6/18*3 + -6 + 5. Let t be (-1)/(-4) - 3814/(-8). Let c = -13836/29 + t. Is f at least as big as c?
True
Let r(o) = -o**3 + 6*o**2 + 12*o - 12. Let f be r(8). Let y = f + 44. Suppose v + 6*v - 84 = y. Is 12 less than v?
False
Let a be (-551 - 1) + ((-9)/(-1) + -9)/2. Which is smaller: a or -560?
-560
Suppose 0 = -5*c - x - 61, x - 3 = c + 14. Let r be (2/4)/(549/(-270) - -2). Which is greater: c or r?
c
Let c = -1/39614666 + 3320025928213/3367246610. Let r = c + -986. Suppose 0 = -4*j - 5*u + 59 - 13, 0 = -j + 5*u - 51. Which is greater: r or j?
r
Let l = -9560/13 + 736. Suppose s = 8*s - 98. Suppose -29 = -s*a - 29. Is l less than a?
False
Let o = 15/4 + -37/12. Let l be -1 + (-212)/(-24) - 4/(-24). Let b be ((3 - -5)/l)/((-2)/34). Is b smaller than o?
True
Let n = -69873.4 + 69873.3. Let p = 146 + -166.2. Which is smaller: n or p?
p
Let z = 7.605 + -9.605. Let p be (8/40)/((-8)/10). Is z < p?
True
Let k be 14*9/(-6) - 1. Suppose 2*s - 272*z + 62 = -270*z, -94 = 4*s + 2*z. Which is bigger: k or s?
k
Suppose 33*d - 36950 = -32462. Which is greater: 205 or d?
205
Let b = 5/201 + -1534/15879. Is -1 smaller than b?
True
Let s be (-15)/18*-9*(-5)/(-12). Let k = 221 - 222. Is s at most k?
False
Let u = -2857 - -2857.176. Which is smaller: u or -1/3?
-1/3
Let c(t) = -t**3 + 31*t**2 + 2*t - 57. Let u be c(31). Suppose 0 = 4*b + 4, -r - 4*r - u*b - 450 = 0. Is r at least as big as -89?
True
Suppose -4*l = 2*z - 20 + 16, -2*l = -4*z + 18. Which is smaller: z or -1?
-1
Let f(w) = -w**2 + 24*w + 217. Let c be f(31). Which is smaller: 2.91 or c?
c
Suppose -1984 = -4*w + 15*s - 19*s, 3*s + 1984 = 4*w. Which is smaller: w or 499?
w
Let t = -11374 + 11373.4. Are t and -1590 non-equal?
True
Let s be (-92)/(-8)*-2 + (307 - 39). Suppose 3*j = 678 + 51. Are s and j nonequal?
True
Suppose -20*a - 22322 = 3*a - 1