 s be m(1). Do -0.01 and s have different values?
True
Let q be (-785)/471 - (2 - 9460/(-3)). Which is bigger: q or -3158?
q
Let f(l) = l**3 + 11*l**2 + 4*l - 57. Let y be f(-10). Which is smaller: 48 or y?
y
Suppose -22*x = 5*x. Suppose -3*w + 0*v = -5*v - 220, -5*w + 2*v + 354 = x. Is w >= 70?
True
Suppose 4*x + 13 = 25. Let v(a) = 21 - 4 + 17 + 10 + x*a. Let j be v(-10). Is j at most as big as 15?
True
Let h be (8/(-12))/(4/2202). Let u be h*((-6400)/2135 - -3). Let x = 1/427 + u. Which is smaller: -1 or x?
-1
Suppose -3*q - 12*q = 90. Let u be (23 + -7)/(21/32). Let s = -222/7 + u. Do q and s have the same value?
False
Let x = -0.176 + 0.129. Let a = x - -0.091. Which is smaller: a or -0.2?
-0.2
Let q be (-80 - 8)*(-9)/(-9). Is -42 at most as big as q?
False
Let l(z) = -680*z - 5059. Let r be l(-6). Which is smaller: r or -982?
-982
Let t be ((-693)/(-3276))/((-1)/(-232)). Which is smaller: t or 48?
48
Let d(j) = j**3 - 15*j**2 + 27*j + 38. Let g be d(12). Let z = 76 + g. Is 45/8 < z?
True
Suppose -4*s - 89 = -21. Let g be (-58)/16 - s/68. Which is greater: g or -4?
g
Let p be 8/(-9)*-717*88/(-96). Is -584 at least as big as p?
True
Suppose -11*g + 14*g - 33 = 4*m, 2*g + 4*m = 22. Which is greater: 292 or g?
292
Suppose -3*z = -2*g - 2*g - 14, -3*g - 8 = -z. Suppose -4*a - 10 = -z*a + 3*r, 5*a = -5*r - 15. Is a at most 1/8?
False
Let k(n) = n**2 + 24*n - 164. Let j be k(-32). Suppose -12*c - j = -20. Is 1/7 <= c?
False
Let p be 8*(-5)/9450*(11/(-8) + 1). Is -2/7 > p?
False
Let m be (-46)/(-391)*44999/2. Which is smaller: 1 or m?
1
Suppose -26 = -14*g - 110. Let o be g/15 - (-33)/(-5). Is -6 smaller than o?
False
Suppose 10664 = -48*r + 7843 + 35941. Is 691 < r?
False
Suppose 21*h = -6 - 38 - 19. Let r be (58/4)/(14/(-4)). Which is smaller: h or r?
r
Let y = -68 + 444. Let w = 18425/49 - y. Suppose -4 = 5*h + 2*u, -2*h + 5*h - u = 2. Are w and h non-equal?
True
Let m be -4*2/(-12) - (-176)/6. Suppose 23*x + 266 = 1002. Which is bigger: m or x?
x
Let n be 6/2 + (-122)/42. Let t = 1540864/105 + -14675. Let p = n - t. Which is smaller: -1/4 or p?
-1/4
Suppose 0 = -137*l + 140*l - 36. Suppose 2*a + 3*k = a, 3*k - l = 0. Is a smaller than -144/11?
False
Let f(i) = 9*i**3 + i**2 + 25*i - 12. Let u be f(0). Suppose 5*v + 18 = -4*l, v = -3*l - 2 + 5. Which is greater: v or u?
v
Suppose 18*f - 54 = 3*a + 16*f, 5*f = -4*a - 95. Let i(x) = -x**3 - x**2 + x + 3. Let d be i(0). Let h = a - d. Is h less than -23?
False
Let t = 5 - 19. Let o = t + 43. Let c = 1018 - 1018. Which is smaller: c or o?
c
Suppose -3*f + 138 = 54. Let t(q) = 2*q - 8. Let j be t(f). Let k be 5*12/150 + j/(-70). Which is greater: 7 or k?
7
Let z = -128 - -143. Suppose -z + 13 = -p. Suppose -104 = -2*f - p*f. Which is smaller: f or 24?
24
Let g = -55 + 63. Let n(y) = 10*y - 87. Let i be n(g). Which is bigger: 1 or i?
1
Let d(i) = 91*i - 816. Let s be d(9). Let l(a) = a - 5. Let c be l(5). Which is greater: c or s?
s
Suppose 5*o - 5*h = -90, -2*h - 2*h = -5*o - 86. Suppose -2874 = 41*u - 2136. Which is smaller: u or o?
u
Let j be (96160/(-408))/10 + (-2)/3. Let i = j - -24. Suppose 0 = q + 1 - 2. Which is greater: i or q?
q
Let w = 6.373 - -0.027. Let h = 1.4 - w. Let m = h + 5. Is m at most 5/4?
True
Let d = 8139 - 8126. Let j be ((-3)/(-6))/(2/48). Is j <= d?
True
Let r be 5/((-45)/(-6))*3. Suppose -r*k - 7 = -23. Let q = -23 + k. Is -15 bigger than q?
False
Let c be 188/470 - (1 + (-3)/5). Is 11/480 <= c?
False
Let m(b) = -b**3 + b**2 + 188. Let n be m(0). Let d be (-3)/(-2)*(-8)/n. Let y = -73/329 + d. Which is bigger: 0.18 or y?
0.18
Suppose 10*o + 81605 = 67105. Which is bigger: -1444 or o?
-1444
Let x = 3287 - 23007/7. Is -88 less than or equal to x?
True
Let x be ((-28484)/(-8))/(12/8). Let r = 2345 - x. Which is greater: -28 or r?
-28
Let k be 42/36 - 632693/(-870). Is 728 less than k?
True
Let j be ((-1992)/(-1162))/(2/91). Let m = 186 - 109. Do m and j have the same value?
False
Suppose 0 = 38*i - 74*i + 3852. Which is greater: 108 or i?
108
Suppose 4*f - 48 = -4*q, 3*q - 16 = 11*f - 10*f. Is 225/29 less than q?
False
Suppose 14 - 50 = -36*z. Let l(b) = -b**3 - 5*b**2 + 4*b + 2. Let k be l(-6). Let w be z*-41 - (-42)/k. Do -38 and w have the same value?
True
Let s be -1 - (11/(-44) - (-1187)/(-4)). Which is smaller: 292 or s?
292
Suppose -3*f = 3, -4*f + 182 = 2*t + 184. Which is greater: t or 3/1543?
t
Let l = -101087/108 - -936. Let w be 15/45 - (5 + -4). Which is bigger: w or l?
l
Suppose -h + 3*h = 2*t, 2*h = -3*t - 5. Let i be (h + 0 - -2)*3. Suppose 4*d - 42 = -5*b - 5, -d = 3*b - 18. Is i smaller than d?
False
Let z(y) = -y**3 - 3*y**2 - y - 3. Let g(p) = 1. Let c(j) = 5*g(j) + z(j). Let n be c(-2). Let d be 3 - (n + 3) - -1. Are d and 0.12 unequal?
True
Let m be 370/350 - 12/210. Which is greater: 4/3427 or m?
m
Let c = 6250 + -6257.9. Is c at least as big as 0.029?
False
Let p(c) = c**2 - 25*c - 155. Let t be p(-5). Let o(w) = w**2 + 7*w - 13. Let m be o(-9). Suppose -n = -g - 9, m*g - 2*g = 5*n - 33. Which is greater: t or g?
t
Suppose -55037 - 25845 = 996*y - 206. Let v(a) = -a**3 - 9*a**2 - 5*a - 3. Let o be v(-6). Is y at most as big as o?
True
Let x = 404 - 377. Let t(g) = g**3 - 28*g**2 + 39*g - 67. Let u be t(x). Is 256 at most as big as u?
True
Suppose 0 = c + 2, -2*r = -47*c + 45*c - 88. Which is smaller: r or 64?
r
Let w be ((-2)/6)/((-11)/(-22902)). Let l = 1387/2 + w. Is l bigger than 0.07?
False
Let q = 1 + -59. Let h = q + 12. Let z = h + 46. Is z <= 1/13?
True
Let s = -0.2 - -0.1. Let a = -33.997 - -34.41. Is s less than or equal to a?
True
Suppose -114 = 2*z + z. Let h = z + 39. Suppose -2*t + 33 = 9. Are h and t equal?
False
Suppose -123*c - 8572 = -539*c - 129212. Is c greater than or equal to -289?
False
Let c be -1 + (-2 - (-46)/22). Let o be 10*(4/(-26) + 147/26). Let f = o + -57. Which is smaller: c or f?
f
Let u = -24 + -96. Let d = u - -107. Let q = 13.35 + d. Which is bigger: 1 or q?
1
Let a be (144/(-45))/((-8403)/1200 + 7). Which is bigger: 1281 or a?
1281
Suppose 0 = -t - 3*t. Let f = -19 - t. Suppose -151*q + 150*q + 3*a - 30 = 0, 0 = 4*q - 3*a + 84. Do f and q have the same value?
False
Let k = -0.3453 - -0.0583. Let r = k - -0.357. Is r at most as big as 0?
False
Let x(c) = c**2 - 2*c - 37. Let z = -292 + 299. Let p be x(z). Does p = -3?
False
Let o = -94708/3 - -31570. Are -3.1 and o equal?
False
Suppose 12 = -x + 2*x. Let f be (-9)/(-12)*8/x. Let r(q) = -q**2 + q + 56. Let p be r(8). Which is bigger: p or f?
f
Let s(v) = 38*v - 46. Let a be s(8). Suppose -a*u + 16 = -266*u. Is 4.6 < u?
False
Let k(x) = -9*x**3 - 12*x**2 - 95*x - 283. Let z be k(-7). Is z equal to 2881?
True
Suppose -2*v + 190 - 180 = 0. Let o be v/(-45) - (112/(-36) + 3). Which is bigger: o or 1/199?
1/199
Let d be (13 - (-9730)/(-742))*31. Is -4 greater than d?
False
Let a(l) = -l**2 - l + 11. Let n be a(0). Let c be -1 - 4*n/(-2). Suppose -5*k + 5*p = -70, 287*k - 282*k + 2*p = 119. Is k > c?
False
Let w be 7*(-7 + 6) - -6. Let r be (w*(-4)/(-3))/((-4)/96). Is r less than 31?
False
Let d(i) = 68*i + 1225. Let p be d(-18). Which is greater: p or -36/73?
p
Let p = 443/2453 - 20/223. Suppose 5*o - 28 = o. Let z(h) = -h + 8. Let l be z(o). Are p and l unequal?
True
Let h(l) = 14*l - 222. Let z be h(16). Let j be 0/1 - 20/5. Which is smaller: z or j?
j
Let g be 1/(-2)*(-8008)/(-156). Let m = -845/33 - g. Is m smaller than 3/4?
True
Let h be 22/6 + 4/12. Suppose -11*z = -15*z + h. Is 2/31 > z?
False
Let k be -944 + (-33)/((-528)/128). Which is greater: -933 or k?
-933
Let n be 7 + (-2 + 1)*1. Let k be ((-4)/n)/(4/(-54)). Let u be (-23 - -13) + 57/6. Which is greater: k or u?
k
Let x = 1951829/15 - 130254. Let k(q) = 5*q**3 + q**2 + 3*q + 3. Let a be k(-3). Let w = a - x. Is w <= 1?
True
Suppose -m = 2*m. Let i be ((-6)/8)/(m - 14/(-8)). Let s = 0.2 + 0.8. Is s less than or equal to i?
False
Suppose -2*c - c + g = -64, g = -4*c + 97. Suppose -v - 22*v = c. Which is bigger: v or 3/59?
3/59
Let h(s) = -s**3 - 4*s**2 + s + 5. Let g = 184 + -190. Let l be h(g). Is l at most as big as 72?
True
Let a = 2319 + -2318. Which is smaller: 124/159 or a?
124/159
Let b(c) = 12 + 3*c - 6*c - 50 - 25*c - c. Let t be b(-3). Is t equal to 299/6?
False
Let p be ((-1080)/900)/(1/(-5)