w be (u - -2)*(-14)/28. Suppose -w*z - 8*m = -3*m - 29, -4*z - 2*m = -38. Is z at least as big as 12?
False
Let s = 3.1545 + -1346.1545. Is s != 2/9?
True
Suppose 4*l + 4*l = -48. Let v be l/(-18) + (-11)/(-3). Suppose 2*m - 8 = -2*g, 2*m - v*g = 8 - 0. Which is smaller: m or 3?
3
Let i = -3259 - 620. Which is greater: i or -3881?
i
Suppose -2030 - 2039 = 15*q - 799. Which is bigger: -1092/5 or q?
q
Let p = -452.1 - -479. Let z = p - 26. Let g = -0.9 + z. Which is greater: g or -1?
g
Suppose 16*o - 2530 - 1374 = 0. Which is greater: 242 or o?
o
Suppose 5*m + 4*u + 445 = -u, u = 2*m + 181. Let f = m - -164. Let g be (-10 - -13) + (-218)/f. Is -1 at least as big as g?
False
Let s = 7423 - 7393. Which is smaller: s or -55?
-55
Let a = -4 - -4. Suppose -2*o = -a*o - 5*o. Suppose 0 = 5*h - q + 32, 5*h = -o*q - 4*q - 22. Is -21/4 > h?
True
Let n(j) = j**2 + 30*j - 17. Let g be n(-30). Let m be 5 + (6 - 3)*g/10. Which is greater: m or -1/4?
m
Let z = -152 + 152.181. Let h = z + -12.781. Are h and -2/3 equal?
False
Suppose -334*s + 20196 = -331*s. Suppose 30*y + 672 - s = 0. Is 201 less than or equal to y?
True
Let t = -561.427 + 561. Let m = 0.45 + t. Let s = 0.137 + m. Is s at most 0.2?
True
Let l be (-4 + 116/24)*1. Let s = 13/60 + -1/20. Let i = l - s. Is 1/14 less than or equal to i?
True
Let b be (122/10)/((-972)/(-60) + -16). Suppose -42 = 54*d - b*d. Which is greater: d or -1?
d
Suppose -20*p + 30*p = -4174 - 266. Which is smaller: -3549/8 or p?
p
Let i(k) = -2*k - 95. Let s = -713 + 665. Let n be i(s). Are n and -217 equal?
False
Let u be (-2)/(-517)*(4 - 2). Let p = -1124/517 - u. Let c(r) = -9*r + 42. Let k be c(5). Is p greater than k?
True
Let f be ((-1)/1)/1*-1. Suppose -8*v - 11 = -27. Suppose a - 3*j = -4*j + v, -a - 2*j = -5. Which is smaller: f or a?
a
Let q be 1*-373 + 301/(-43). Let w = 371 + q. Which is greater: w or -7?
-7
Let v = 18160 - 21172. Which is bigger: -3009 or v?
-3009
Let f be (-3)/2 + 79/(-2) + -30. Which is smaller: -0.07 or f?
f
Let k be (-14)/10 + 6/15. Let x = 1049/2508 + -279/209. Which is smaller: k or x?
k
Let b = 21/5617 - 16733085/11234. Is -1491 >= b?
False
Suppose 5*c + 15 = -10*c. Let q be 1*(-3 - 0) + 3 + c. Which is smaller: 7/29 or q?
q
Let n be (-8 - -6)*171/(-24)*-4. Are n and -52 unequal?
True
Let m(p) = p**2 - 7*p - 3. Let d be m(8). Let v = 6 - d. Let g be 42/1540*(16/(-18))/2. Which is smaller: g or v?
g
Let k(x) = 3*x**2 + x. Let g be k(1). Suppose w = p + 2, -3*w - 6 = g*p - 5*w. Let a(i) = i**2 + 9*i - 10. Let d be a(-10). Which is bigger: p or d?
d
Let n be 3/21 + (-5 - 139/(-7)). Suppose -5*k - n*k + 5940 = 0. Is k at least 297?
True
Let b = -285.348 + 0.348. Let q = 281 + b. Is 17 equal to q?
False
Let d(a) = -212*a + 213. Let u be d(1). Do -31 and u have the same value?
False
Suppose -6*t - 3*t - 135 = 0. Let j be (t/6)/((-15)/(-12) - 2). Is j greater than or equal to 2?
True
Suppose -d = -2*d + i, -16 = -5*d - 3*i. Let p(t) = -t**3 + 3*t**2 - 12*t + 2. Let z be p(0). Suppose -3 = r + d*x, -z*r + 0*r = -x + 21. Is r < 2?
True
Let p = 4588/3 - 1506. Let x be 519/8304 - 2202/(-16)*(-3)/(-18). Which is greater: p or x?
p
Let m be (-21)/49 - 6366/(-7). Suppose -5*q + 14*q + m = 0. Which is smaller: q or 1?
q
Let w = -302 + 298.31. Suppose -112 = -16*z - 128. Are z and w non-equal?
True
Suppose 0 = 25*j - 5538 + 513. Suppose -3*t = -7*t + 804. Is j at least t?
True
Let c = 166.781 - -1.219. Is -9/5 bigger than c?
False
Let z = 140 + -130. Let k be 34/(-5) + 8/z. Let c be 15/k*(-18)/(-45). Is c >= -3/32?
False
Let q = -31 - -28. Let v = -1116 - -131689/118. Let d = v - -115/354. Which is smaller: d or q?
q
Let n = -0.2582 + 281.4582. Let s = n - 287. Which is bigger: s or 0?
0
Let r be (((-270)/(-4))/9)/((-2)/484). Let s be 545/r + (-3)/(-9). Is s bigger than -1?
True
Let p = 18942 - 34014. Which is bigger: -15070 or p?
-15070
Let v(l) = -l - 1. Let f be v(0). Let m = 4/1369 - -8122/31487. Which is greater: f or m?
m
Let v = 60 - 76. Let w = 0 - v. Let x be 2/12*(-24)/w. Is 0.3 > x?
True
Let a be ((-1)/(-4)*(-16)/(-6))/(742/(-1113)). Which is smaller: -15/656 or a?
a
Let i = -879 - -866. Suppose 0*u - 2 = u + l, 4*l + 26 = 5*u. Suppose 0 = 3*h - u*r + 44, -3*h - 2*r = 2*r + 38. Which is bigger: h or i?
i
Let q = 15514 + -15514. Which is smaller: q or 1836?
q
Let y(w) = w**2 + 6*w - 1306. Let a be y(-30). Is -587 less than or equal to a?
True
Let y be 1*(-17)/(-2)*24/2. Suppose 14*n = 136 - 1312. Let j = y + n. Which is smaller: -3 or j?
-3
Let q be (-1 + (-127)/10)/((-30)/12 + 3). Which is greater: q or -2/3?
-2/3
Let n = -601 + 1879/3. Which is greater: 24 or n?
n
Let c = -407289/169 + 2410. Let u(r) = -r - 4. Let k be u(-5). Which is bigger: c or k?
k
Suppose 270 = 8*r + 7*r. Let o(c) = 7*c - 49. Let v be o(r). Are 77 and v non-equal?
False
Suppose 3*d + 66 = -2*h - 30, 3*d + h = -93. Let s be (-25)/d - 1*-1. Let l be ((-8)/12)/((-52)/78). Which is bigger: s or l?
s
Let t(d) = -10*d**2 + 11*d - 88. Let c be t(0). Is c at least -61?
False
Let u = 6285 - 6284.187. Which is greater: u or -1/4?
u
Suppose 5*f + 3*a = -92 - 99, 4*a + 68 = -2*f. Let v be -23 + 2*511/(-56). Is v smaller than f?
True
Let q = 3237.87 + -3237.67. Let b = 0.099 + 9.701. Is q less than or equal to b?
True
Let k = 2787.25 + -51.25. Which is greater: k or -0.1?
k
Let y(u) = 4*u**2 + 59*u + 81. Let r be y(-13). Are r and 849 non-equal?
True
Let m(i) be the first derivative of 3*i**2/2 - 24*i - 15. Let h be m(11). Suppose -f - 2*u + 5 = u, -h = -f - 5*u. Is f less than or equal to -2/43?
True
Let z be 15/(-30) + (-106)/(-244). Let s = z + -94/427. Which is smaller: 2.8 or s?
s
Let i(a) = a**2 + 52*a + 318. Let l be i(-7). Which is smaller: l or -2/7?
-2/7
Suppose 0 = -10*l + 10 + 20. Suppose 4*k = 3*z + 10, 5*k + z - 4 = -1. Suppose l = -4*n - k. Are n and 13 nonequal?
True
Let q = 77 - 55. Let f = q + -26. Let j(b) = b**2 + 8*b + 11. Let d be j(f). Does d = -6?
False
Let z be 154/56 + 3/(-4). Suppose z*c - 11*c - 2061 = 0. Let q = c - -1151/5. Which is greater: q or 0?
q
Suppose -4*z + 1612 = -4*a, 0 = 4*a - 8*z + 7*z + 1609. Is a less than or equal to -396?
True
Let r(v) = 6*v + 87. Let t be r(-8). Suppose t*q = 27*q - 1476. Which is greater: q or -124?
q
Let h be 2940/210 + 520/(-82). Is 7 less than h?
True
Let k = 1604062/249 + -6442. Is k > 0?
True
Let c be 7/(-189)*3 + (-78)/27 - -2. Is c != 3/7322?
True
Let r = 8 - 27. Let s be 6 + (2 - (-369)/(-45)) + (-202)/10. Which is smaller: s or r?
s
Let q = 28 - 26. Suppose -7 = -u + q*u + 3*p, -5*p - 25 = -u. Suppose 4*t + 208 = 228. Is t <= u?
True
Let f(w) = -w**2 + w + 321. Let r be f(0). Suppose 12 = -3*s, 4*y + 0*y - 28 = 2*s. Suppose -y*l - 66 = -r. Is l > 50?
True
Let b = 323.53 + -320. Let t = b + -0.33. Let w = -4.2 + t. Is -1 not equal to w?
False
Let x = 0.7 - -0.3. Let c = 703.0671 + -703. Let w = c + 0.1929. Which is greater: w or x?
x
Let y be (26 - 31)/((-10)/36). Let o be y/8 - 22/88. Is o bigger than -55?
True
Let s = -203 - -51. Let m = s - -153. Which is smaller: 7/3 or m?
m
Suppose -g - 4*g = -4*h + 36, -2*h - g = -4. Suppose -5*m = 15, -3*v - 61 = h*m - 22. Let t be 3/v - 7/(-21). Which is greater: t or 3/5?
3/5
Let v = -8.5 - 2.5. Let h = -97 - -22. Let l = 75 + h. Which is greater: l or v?
l
Let t be 16/2*(-2397)/510. Is t < -37?
True
Suppose o + 92 = -2*t + 5*o, -2*t = -2*o + 90. Let v(n) = -n**3 + 8*n**2 + 17*n - 15. Suppose -22*c = -13*c - 90. Let q be v(c). Which is smaller: t or q?
q
Suppose -293*v = -331*v + 38. Which is smaller: 60/179 or v?
60/179
Suppose 72788 = -155*l + 31*l. Which is smaller: -590 or l?
-590
Let o = -5.533 + -0.167. Let j = 2.3 - o. Let k = 125 - 873/7. Do j and k have the same value?
False
Suppose 4*w + 3*c = 828, -27 + 7 = 5*c. Suppose 3*h + 132 + w = 0. Is -114 less than h?
False
Suppose h - 55 = 143. Suppose -v - h = -12*v. Suppose -v*o + 14*o - 24 = 0. Is -5 smaller than o?
False
Let n = -6828 + 7359. Which is bigger: 533 or n?
533
Suppose -8*y - 20 = -3*y. Let t be (-85)/(-10) - (-2)/y. Suppose 0*v - 210 = -3*v - 195. Is v less than t?
True
Suppose 4*d + 3*d - 6084 = 5*d. Which is smaller: 3043 or d?
d
Let v = 189286/37 + -5117. Do -1/4 and v have the same value?
False
Suppose 3*b - 5*s = 1467, 45*s - 1921 = -4*b + 4