or equal to m?
False
Suppose -18*q + 1534 = 400. Which is greater: q or 64?
64
Let g = 11.42 + -2.02. Let c = -10.4 + 1.4. Let b = g + c. Which is smaller: b or 1/2?
b
Let y = -25 - 145. Are -172 and y equal?
False
Let m be 20/(-3890)*(3 + 28/(-10)). Is m <= 0?
True
Let o(l) = -18*l + 196. Let p be o(15). Suppose 296 = -4*s - r, -5*s + 0*r - 385 = 5*r. Is s not equal to p?
True
Let f(s) = -11*s**2 + 32*s - 106. Let j be f(3). Which is greater: j or -108?
-108
Let f be 368/6*(-15)/10. Let m = -131 - f. Is m > -38?
False
Suppose -4*s + 4 = -4*i + 12, 2*s = 3*i - 4. Let u be (-2)/4 - 31/s. Is u not equal to 15?
False
Let t be 2/5 - 99/210. Suppose -5*r + 20 = 0, -4*r + 18 + 14 = 2*v. Suppose 22 = -2*o - v*k + 3*k, 4*k + 17 = -o. Is o at most t?
True
Suppose 0 = 4*b + 5 - 25, 2*b - 430 = 4*y. Let o = -105 - y. Is 12/13 less than o?
False
Let h be (-4)/((-1092)/(-13))*6. Which is greater: h or -3/275?
-3/275
Suppose 3*z + 42 = -4*q + 7, 4*z + 45 = -5*q. Let x = -2.98 - 0.02. Which is greater: x or q?
x
Let t(m) = -5 - 1 + 2 - 3*m + m**2. Let b be t(4). Let f be (-4)/26 + 1507/(-429) + 3. Which is smaller: f or b?
f
Suppose -5*r + 2*t = -5, -9*t - 10 = -7*t. Is 3/100 at least r?
True
Suppose 0 = -2*t + 3*t - 7. Suppose -22 = 15*y + t*y. Let i be 0 + -1 + 5/(-9). Which is greater: i or y?
y
Suppose 2*b - o = -4*o - 123, -5*o - 182 = 3*b. Let n be 2/16 + b/12. Which is smaller: n or -7?
-7
Let s = 23.171 - 1.171. Which is smaller: 0.08 or s?
0.08
Let o be (3710/3610 - 8) + 7. Is o less than or equal to 0?
False
Suppose -11*z + 10*z - 3 = 0. Which is smaller: -12/5 or z?
z
Suppose 0 = -0*b - 8*b + b. Let r = 5 - 11. Is r smaller than b?
True
Let v be (16 + -15)/(2/(-10))*43. Is -213 > v?
True
Let b(j) = j**2 + 35*j + 281. Let z be b(-19). Is -22 greater than z?
True
Let g be 8148/17472 + (-4)/26. Let v(d) = -d**3 + 6*d**2 - 6*d + 5. Let b be v(5). Is g at least as big as b?
True
Let l be 9/(-12) + (-9)/(-12). Which is smaller: -5 or l?
-5
Let u be ((-2)/7)/(5331/(-7)). Let b = u + 31916/186585. Let d = 8/35 - b. Is 1 greater than d?
True
Let q be 1*(4 - 2) - -14. Let z(i) = 30*i**2 + 1. Let s be z(1). Let v = s - 15. Is v < q?
False
Let d = 103714/7071 - 2/2357. Which is bigger: d or -0.4?
d
Suppose 0 = -0*p - 4*p + 12, 5*r + 1 = 2*p. Let g be r/(-12) + (-18)/(-54). Which is bigger: g or -8?
g
Let b(l) = l + 2. Let q(i) = 2*i - 16. Let c be q(8). Let p be b(c). Suppose -4*d + 2 = -p*d. Is d >= 6/5?
False
Let c(k) = -k**3 - 12*k**2 - 4. Let u be c(-12). Let j be 2 + 10/u - 1/2. Is j at least -8/21?
False
Let v be 10/(-4)*(-20)/(-25)*-1. Let d be 0/(1 - 5/(5/v)). Is -2/39 at least as big as d?
False
Let s(q) = 8 - 5 + 12*q + 3*q**2 + 5 - q. Let x be s(-3). Is 1 equal to x?
False
Let p = 40 - 108. Let z = p + 68. Which is smaller: z or -4/5?
-4/5
Suppose -2 = 4*s - 22. Suppose -5*r + 365 = s*y, -4*y - 107 = -3*r + 119. Are r and 73 equal?
False
Suppose 0 = 3*x + g + 1285, -8*g + 12*g - 8 = 0. Is -428 smaller than x?
False
Suppose 6*c + 26 = c - 2*i, -2*c - 4*i - 20 = 0. Let s = c + 3. Which is greater: s or 2/51?
2/51
Let r(v) = -v**2 - 6*v - 2. Let u be r(-5). Suppose -5*j - 4*z - 16 = 0, z = -7 + u. Let n = 7/20 + -7/4. Which is bigger: n or j?
j
Let c = 425.943 - 426. Is 4 smaller than c?
False
Let t = 4 - 14. Let p(l) = l**2 - 13*l + 54. Let w be p(7). Let j = w + t. Which is smaller: 3/5 or j?
3/5
Let z = -72.65 + 72. Let k = z + 0.35. Is -0.09 < k?
False
Suppose -3*w + 37 = -0*w - q, 3*w = -4*q + 17. Let g be (-9)/24 - (-13 - (-5)/8). Which is bigger: g or w?
g
Let x(f) = -f - f**3 + 50*f**2 - 50*f**2 + 2. Let h be x(4). Which is smaller: h or -65?
h
Let w(m) be the first derivative of m**4/4 + 2*m**3 + m**2/2 + 6*m - 1. Let t be w(-6). Let z = 209/204 + -16/17. Which is smaller: t or z?
t
Let c = -1335991/3145 - -2124/5. Which is smaller: c or -1?
-1
Let m = 180 + -260.1. Let u = m - -80. Is u greater than -0.4?
True
Let s(k) = 12*k - 130. Let f be s(11). Is 18/25 < f?
True
Let z(b) = -2*b + 28. Let q be z(14). Suppose q = 5*c + 53 - 8. Is -8 greater than c?
True
Let q be -42 + 20/((-40)/8). Is -45 at least q?
True
Let a = 0.234 - -2.546. Let g = 2.5 - a. Let j = g + 0.18. Is j > -15?
True
Let v be (-1 + 0)/(8/248). Do -31 and v have the same value?
True
Let d(y) = y**2 - 6*y + 9. Let v be d(2). Let g = -9/7 + 59/35. Which is smaller: g or v?
g
Suppose p - 2 = r + 4*r, 0 = -3*r - 4*p - 15. Are r and 2/307 non-equal?
True
Let i be 88/(-44)*562/(-4). Is i less than 283?
True
Let t(o) = 2*o**3 + 11*o**2 - 4*o + 13. Let h be t(-6). Is h smaller than 2/437?
False
Let j = -11085/16 + 693. Is j <= -2?
False
Let o(j) = 0*j + j**2 + 9 - 2*j - 27 + 14. Let g be (-3)/((2 - 1)/(-1)). Let s be o(g). Is s greater than -1?
False
Suppose 0 = -3*c + 6*c. Let s = 2271207/8 - 6234449959/21960. Let t = 2/549 - s. Which is greater: t or c?
c
Let x be (20/15)/((-2)/3). Let s be (1 - (x - -2))*4. Suppose -s = -d - 0*d. Which is greater: d or 2?
d
Let q = 425108/7 - 82918474/1365. Let i = -210/13 - q. Which is greater: -1 or i?
i
Let p(x) = -x**2 - 4*x - 2. Let b be p(-3). Let o(n) = -75*n. Let r be o(1). Let g = r - -77. Do b and g have the same value?
False
Let n(z) be the second derivative of z**4 - z**2/2 - 2*z. Let v be n(-1). Let x = v - 13. Is x less than or equal to -8/9?
True
Suppose -4*o - 4*n = 20, 2*n = -4*o + 3*n. Which is bigger: -3/287 or o?
-3/287
Let m be ((-24)/(-32) - 6) + (-3)/(-12). Which is smaller: m or -1.32?
m
Let g = 940 + -985. Is g < -318/7?
False
Let l = 6 - 6.4. Let z = 55 - 70. Let g = 14.9 + z. Which is smaller: l or g?
l
Let p be 6 - 10428/1566 - (-2)/3. Is p greater than 1?
False
Let k(h) = h**3 - 24*h**2 + 24*h - 25. Let b be k(23). Let i = 16 + -14. Are i and b non-equal?
True
Let b(i) = 6*i - 25. Let c be b(-9). Is c smaller than -77?
True
Let p(k) = -k**2 - 19*k + 4. Let v be p(-24). Let d = 113 + v. Is d less than or equal to 22?
True
Let m = 7 - 0. Suppose -m = 3*c + 14. Let v(j) = j**3 + 6*j**2 - 6*j + 3. Let s be v(c). Which is smaller: -1 or s?
s
Let h = 1394 - 6968/5. Is h smaller than 84?
True
Suppose -24 + 0 = 4*q. Let a be (-1 - -7)/(2 + (-150)/48). Which is smaller: q or a?
q
Let b be 1/2*(22 - (-8 + 6)). Suppose z + 12 - 4 = f, 5*z = -2*f - 68. Let p = b + z. Are p and 5/4 unequal?
True
Let g be (-261)/(-6)*14/(-21). Let x = 33 + g. Is x greater than 13/4?
True
Let c(l) = 260*l - 283. Let k be c(5). Which is smaller: k or 1018?
k
Let d = 874/101 + -100658/10605. Let l = d + 6/35. Which is smaller: l or -2?
-2
Let h = 30 - 26. Suppose 0 = -0*a - a - 3*u - 12, -a - 16 = h*u. Is 1/14 at most a?
False
Let r = 751 - 6737/9. Is r equal to 3?
False
Suppose -630 - 1350 = -10*l. Which is greater: l or 199?
199
Let b be ((-28)/35)/(4772/1590 - 3). Let o = b - -8272/13. Which is greater: o or -1?
o
Let p(n) = -n**2 + 17*n. Let x be p(17). Let y be x/((5/10)/((-3)/6)). Which is greater: -1/6 or y?
y
Suppose 5*g - 178 = -4*c, -12*g + 17*g = 3*c - 151. Is 45 less than c?
True
Let c be (2 - -11) + -12 + 0. Let m = 0.79 - -0.11. Let r = -9.9 + m. Which is smaller: r or c?
r
Suppose s + 0*r = 2*r + 52, -90 = -2*s - 3*r. Do s and 2 have different values?
True
Suppose -10*t + 33 = t. Suppose 16*o - 13 - t = 0. Which is bigger: -2/189 or o?
o
Let p = -10027/19 - -528. Is p != -1?
True
Let v(a) = 26*a + 190. Let z be v(-7). Let m be (-1)/(-3) + 23/3. Is z >= m?
True
Suppose -3*l + 27 = a, 3*a - l = -2*a + 71. Does 13 = a?
False
Let s = -280 - -2192. Which is smaller: 1911 or s?
1911
Let t be ((-14)/(-1))/(12/6). Suppose -4 = -5*i + t*i. Let m be 12/10*(-4)/6. Which is smaller: m or i?
i
Let f = 76.7 - 77. Let u = -25 - -33. Which is greater: u or f?
u
Let u = -69 + 68.9. Does 111 = u?
False
Let h = -136274/67 + 2034. Let s be 26/(-195) + 39/(-45). Which is bigger: h or s?
h
Let l = 17.4 - 21. Let p = 14.6 + l. Let w = 0.5 + 0.5. Which is greater: p or w?
p
Let t(m) = m**2 - 19*m - 5. Let f be t(19). Let l be 5/17*(2 + 2/f). Which is smaller: 0 or l?
0
Let l(i) = -i. Let v be l(0). Let o be 8*2 - (3 + 0). Let u be 5/(-30) - o/(-42). Which is smaller: u or v?
v
Let f(o) = o**2 - 2*o - 12. Let d be f(-2). Is d at most -25/8?
True
Suppose 20*b + 30 + 30 = 0. Let q(a) = a**3 + 10*a**2 + 10*a + 3. Let h be (-138)/15 - 1/(-5). Let v be q(h). Is v