Let m = 1262.6 - 1264. Which is smaller: -135 or m?
-135
Let h = 4130 + -4131. Is h equal to -8.95?
False
Let r = -9 - -8.64. Let t = -55447 - -55448. Which is greater: t or r?
t
Let t be ((-290)/(-40) - 7)*(-1)/(-5). Let c be (-114)/(-266) - 3/7. Which is bigger: c or t?
t
Suppose 4*b + 122 = -3*x, -8*x = -7*x + b + 41. Let c be 8/x*5/((-280)/(-12)). Is 1 <= c?
False
Suppose 16*c + 7*c = 115. Suppose c*m - 4 = 4*m. Which is bigger: m or 53/11?
53/11
Suppose 0 = -28*p + 24*p + 72. Suppose 3*y = p*y - 9*y. Which is greater: 1/184 or y?
1/184
Let a be (-2 + (-128)/(-44))*-2. Let x be 1575/11 - 3 - (-4)/(-22). Let q = x + -141. Is a != q?
True
Let d(p) = 214*p - 9733. Let r be d(44). Does -317 = r?
True
Let a = -15554 + 3748502/241. Is 0 less than or equal to a?
False
Let p = 196951/103731 + -135/71. Is p equal to 0?
False
Let r = -518 - -506. Let h(k) = -k**2 - 6*k - 11. Let g be h(0). Which is smaller: g or r?
r
Let g = -5308 + 5602.9. Let z = g + -295. Which is smaller: z or -12?
-12
Let l = 301989 - 63719811/211. Do l and 0 have different values?
True
Suppose v + 12 - 22 = -3*r, 20 = -4*v + 3*r. Does 2342 = v?
False
Let b(o) = -132*o**2 - 1187*o + 5. Let c be b(-9). Is c less than or equal to -38/11?
True
Let f = -0.035 + -23.965. Let s = 55 + f. Let c = s + -31.04. Does -1/2 = c?
False
Let c(z) = -1530*z**2 - 19*z - 22. Let p be c(-2). Which is greater: -6103 or p?
-6103
Let b = 0.2986 + -0.1986. Is b at most 398?
True
Let w(p) = -p**2 + 116*p - 864. Let h be w(8). Which is bigger: -13/40 or h?
h
Let s be 1/3*(-11)/(11/(-12)). Let l = -88 + 88. Suppose y + s*y - 20 = l. Is 8 equal to y?
False
Let m be (1116/434)/(-9) + (-2)/(-56). Let d(w) = w**3 - 2*w**2 + 3*w - 2. Let k be d(2). Suppose 0 = 5*i - k*l + 17, -i + 2*l = 3*i + 10. Is m smaller than i?
False
Suppose 196*y - 194*y - 10 = 0. Suppose k + 18 = 2*s - 2*k, y*k - 27 = -3*s. Is s equal to -2?
False
Suppose 220*b - 89*b + 1179 = 0. Which is greater: 430 or b?
430
Let i(w) = 4*w**2 + 23*w - 6. Let m be i(-7). Let z be (29 - m)/((-6)/(-2)). Which is smaller: z or -2/41?
-2/41
Let b(n) = 81*n - 2. Let c be b(-1). Let g = -368 - -286. Which is greater: c or g?
g
Let r(n) = -n**2 - 7*n - 8. Let v be r(-9). Let h = -290 - -264. Are h and v equal?
True
Let a = -8.126 + 50.126. Which is bigger: a or -48?
a
Let p = 0.164 - -4.316. Let y = -4.68 + p. Let v = -4.4 - -4. Which is smaller: y or v?
v
Let a = 721.8 + -722.8. Is a >= -12534?
True
Suppose 0 = 9*u - 6*u. Suppose 4*n + 29 - 157 = u. Is n >= 30?
True
Let q be 2*(-474 + 8 + 2). Which is smaller: q or -8362/9?
-8362/9
Let f = -50 - -50. Suppose 5*d + 3*y - 29 = f, -5*d + 35 = -y + 6*y. Suppose -2*q = -j - 2*j + 5, d*j - 1 = -3*q. Which is smaller: q or -13?
-13
Suppose -4*m + 195 = m. Let i = m + -18. Let s = 1565 - 1545. Is s smaller than i?
True
Suppose -2*n + 5*a = 50, 3*a - 66 = -0*n + 3*n. Let r be 75/((-5)/n*4). Let l be (2/(-10))/((-360)/r). Which is bigger: l or -1?
l
Let t be (-2 - -3)/(12/(-972)). Let r = 81 + t. Let k be (-3)/6 + 5/10. Is r equal to k?
True
Let p = 8668/7 + -1236. Is 2 less than p?
True
Let o(b) = -b**2 - 5*b + 22. Let p be o(3). Let i(f) = -f**2 - 14*f - 6. Let w be i(-11). Is p at most w?
True
Let l = 44/27 - -4907/54. Let g = -231656 + 231748. Is l >= g?
True
Suppose 24*b - 6328 = -252156 + 4844. Is -10040 smaller than b?
False
Let k = 16866633/130645 - 3744/29. Is 0 equal to k?
False
Let t = 145/214 - 87623/139742. Is t > 1?
False
Let a = 2675 + -2616. Which is smaller: a or 62?
a
Suppose -4*z = f + 25 + 11, -5*z + 20 = 0. Let d be (3 - f/(-12))/((-40)/330). Is 12 smaller than d?
False
Suppose 4*y + 50 = 5*h, 2*y + 39 = 4*h - y. Let k be (3 + -1)/(5 + (-19 - -22) - (-15)/(-2)). Which is bigger: h or k?
h
Let d be (-21402)/(-26) + (44/(-117) - (-26)/117). Which is smaller: d or 828?
d
Suppose 68*b = 14*b + 40608. Which is smaller: -0.1 or b?
-0.1
Suppose -10*a - 2*f + 170 = -14*a, a + 4*f + 29 = 0. Let b(d) = 3*d**3 + 3*d**2 - 3*d - 3. Let l be b(-3). Which is smaller: a or l?
l
Let c(u) = u**3 + 26*u**2 + 48*u + 93. Let d be c(-16). Is 1885 at least d?
True
Suppose -477 = 14*o + 39*o. Let v be (-40)/(-984)*o/(-15). Are -1 and v equal?
False
Let t = -4205 + 4250. Let r = 0.37 - 46.17. Let b = t + r. Which is greater: b or 4/7?
4/7
Let n = -0.0724 + 0.1024. Which is smaller: 0.078 or n?
n
Let u = 419 + -418.9. Let f = -20.9 - u. Which is greater: f or 8/7?
8/7
Let u be 53/((-37895)/(-11466)) + -16. Is 0 at most as big as u?
True
Suppose -o - 2*v = 13, 4*o - 4*v = v. Let j be 4*(-4 + 21/6). Let q be 5 + j/1 + -2. Is o not equal to q?
True
Suppose -j + 0*y = 3*y - 12, j = 5*y - 20. Let a = -3990 + 51924/13. Let k = a + -2687/650. Are j and k non-equal?
True
Let k(q) = 7*q + 1. Let j be k(0). Let o(a) = 2460*a**3 + 4*a**2 - 2*a - 1. Let l be o(j). Let t = l - 410986/167. Which is bigger: 0 or t?
t
Suppose -7*z + 31 = -4. Let f be (-19)/(-5) + 1/z. Suppose f*k + 16 = -2*c, -c = -2*k + 3*c - 18. Which is smaller: -6 or k?
-6
Let s = -175712/204981 - -2/29283. Suppose 2*z = -0*z + 8. Suppose 0*v - 3*v - z*l = 7, 3*l = 3*v. Which is smaller: v or s?
v
Suppose -2*f = 4, 0 = -3*n - 3*f - 0*f + 42. Let j be (-7)/(-21) - (n/(-6) + 2). Is 3/197 smaller than j?
True
Suppose -21*i = 74*i + 7030. Are i and 1/10 unequal?
True
Let o be 12 + -10 + 378 - (-2)/(-2). Which is greater: 1894/5 or o?
o
Let n be (-10)/4*(-56)/70. Let o be n/1 + (-25)/30 + 1. Suppose 3*h - 10 = -b + h, 5*h = 5*b + 10. Is b equal to o?
False
Let a be (51/68)/((-3)/(-76)). Is 23 bigger than a?
True
Let d = -6302408/174625 - -3/15875. Which is bigger: d or -36?
-36
Let d = 279 + -279.341. Let u = 0.741 + d. Which is greater: 3 or u?
3
Let b = -1.883 - -0.683. Let h = -110 + 111. Which is bigger: h or b?
h
Suppose 2*p - 40 = -34*x + 38*x, -3*p - 4*x + 40 = 0. Which is greater: -60 or p?
p
Let x = 121.3 + -131. Let s = x + 9.9. Let r = s + -0.3. Is 32 at most as big as r?
False
Let c(m) = -m - 18. Let k be c(-20). Suppose -3*t - 6 = -k*l, -10*t = 2*l - 7*t + 18. Let g(b) = b + 2. Let n be g(-6). Which is bigger: n or l?
l
Suppose 17*t + 45 = 12*t. Let w be t/(-6)*4 - 15. Is -12 < w?
True
Let t be 17/(-119)*7 - 193*(-1)/(-3). Suppose -314 = 5*p + 3*c, 118 = -2*p - c - 4*c. Which is smaller: t or p?
t
Let b = 533/5 - 3741/35. Let k be 2372/(-12)*1 - (-2)/(-6). Which is smaller: k or b?
k
Let u = -5470 + 5491. Let n(d) = 6*d**2 - 1. Let s be n(-1). Is u smaller than s?
False
Suppose 2*k = 5*m - 170, -4*k - 3*m - 316 = -m. Let u = k - -82. Suppose 10 = 6*q - q + 3*f, u*f - 11 = q. Is q smaller than -7/9?
True
Suppose 3*q = -4*u + 7914, -37*q + 5287 = -35*q - u. Is 2645 >= q?
True
Let o = -94 - -61. Let m = o + 17. Let c = -16.9 - m. Which is smaller: c or -3?
-3
Let q = -8.3 + 8. Let a(g) = -2*g - 15. Let v be a(-10). Suppose 0 = v*o + 23 + 7. Is q greater than or equal to o?
True
Let s = 21/2 + -353/34. Let u = 0.2784 - 0.3464. Is u greater than s?
False
Let l = 2401561/119 - 20181. Which is smaller: l or -1?
-1
Let c be (-17 - 5 - 2) + (105 - -65). Suppose 2*v = 5*y + 6 + 4, 2*v + y = -2. Are v and c non-equal?
True
Let j be 6/4 - 340997/(-82). Is j bigger than 4161?
False
Let c(m) = m**3 - 14*m**2 + 13*m. Let i be c(13). Let h = 578 + -2269/4. Let d = h + -299/28. Which is smaller: i or d?
i
Let y(k) = 40*k + 107. Let c be y(-3). Let s = 97 - c. Is s at least 110?
True
Suppose -280*v = -278*v - 784. Let u = 395 - v. Is 1 equal to u?
False
Let d be (12004/170 - -1) + (-120)/(-150). Let u = 217/3 - d. Is u greater than 0?
False
Let p be ((-68598)/(-740))/((-6)/(-5)). Which is bigger: 76 or p?
p
Suppose 0 = -316*t + 318*t - 4. Suppose 0 = 5*v - 5*c + 1345, -2*v - 537 = -t*c - c. Are -270 and v unequal?
False
Let o be (-1758687)/(-48555) - (-3)/(-45). Is 35 > o?
False
Let i be (201 - 200) + 1*(0 + 4). Suppose d - 2 - 9 = i*v, -9 = 3*v. Are d and -10/7 non-equal?
True
Let b = 1 + 25. Suppose 2 = -4*w + b. Suppose -5*v - 5*j + 15 = 0, 0*j = -v - 2*j + w. Which is smaller: v or -38?
-38
Suppose 368*m + 890 = 457*m. Let g = -0.98 + 1. Which is smaller: g or m?
g
Let x = 3847 + -4001. Which is greater: -19 or x?
-19
Let c be 7956/(-91) - 12 - (-21)/49. Which is smaller: c or -214?
-214
Let c = -916 + 94349/103. Which is greater: 0.6 or c?
0.6
Suppose -2*x = k + 3*