(248738/189 - -4) + 4/(-54). Which is greater: m or 1319?
m
Let h = -12 + 45. Let c = 15 - h. Let p = 18 + c. Is 1/4 less than p?
False
Let p = 90.1 + -97. Let m = 6.8 + p. Which is bigger: m or 2.9?
2.9
Let m be (2/5)/((-2)/16). Let o = m - -37/10. Which is smaller: o or 5/6?
o
Let l = 195967/22 + -85733654/9625. Let o = l + 2/125. Which is greater: 2 or o?
2
Suppose 0 = 5*q - q - 5*r + 39, r = 3. Let c = q - -2. Is c greater than 1?
False
Suppose -4*l = -3*l - 146. Suppose -141*o = -l*o. Which is smaller: 5/34 or o?
o
Let n(m) = m**3 + 6*m**2 + 5*m + 3. Let w(z) = -z - 14. Let t be w(-9). Let g be n(t). Which is bigger: g or -3?
g
Let x(l) = 4*l**2 + 2*l - 1. Let m be x(1). Let u be 7/(105/48)*m. Is u not equal to -2?
True
Let m = 18319 + -18324.6. Let k be 14/6*(-4)/(-14). Which is greater: k or m?
k
Suppose 17*q - 7 = 16*q. Let h = 30 - 25. Is h greater than q?
False
Let t = -1.301 + 1.24. Let d = 0.081 + t. Which is smaller: d or 1?
d
Let y = 114 - 46. Which is bigger: 69 or y?
69
Let x be 477/6 - (-30)/(-20). Which is smaller: x or 2?
2
Let r = -13 - -11. Let v be 5/r - (-12)/8. Let a(l) = 2*l**2 - l. Let b be a(v). Which is bigger: -1 or b?
b
Let y be 4/(-6)*42/76. Let d be -14 + 17 - (0 + 4). Is d != y?
True
Let a(z) = -z**2 - 45*z + 18. Let p be a(-41). Is 182 bigger than p?
False
Let y = 1.7 + 0.3. Let a = -8090 - -8102. Which is smaller: a or y?
y
Let b be (0 - (-4 - (2 + -6))) + 192. Is b greater than or equal to 192?
True
Let d = 2.92 - 3.02. Which is greater: 9/23 or d?
9/23
Let b = 15.814 + -15.7. Let k = 0.814 - b. Which is greater: k or 1?
1
Let i be (2/3)/(154/(-3465)). Let h = 33 - 49. Which is bigger: i or h?
i
Let u = -2 - -1.95. Let q = 0.05 - u. Let z = 36.5 + -38.5. Which is smaller: z or q?
z
Let r = -2015 + 2018. Do r and -426 have the same value?
False
Suppose 5*t - 4*v = -86, 23*t - 19*t + 73 = -v. Which is bigger: -42 or t?
t
Let v(a) = -a - 19 - 12 + 22. Let z be v(-11). Are z and 4/5 non-equal?
True
Let s = 14 + -49. Let m be (-1)/2*5*(-7)/s. Let x = 11/2 + -5. Do x and m have different values?
True
Let x be ((-546)/65 + 8)/((-4)/10). Which is bigger: -2/27 or x?
x
Let v be -4*(-3)/(-6)*-14. Suppose -27*y = -v*y. Let l(f) = f**2 - 4*f - 4. Let q be l(5). Is y > q?
False
Suppose -6*v - 42 = -6. Let t be v/14 - (-30)/(-70). Which is greater: t or -1?
t
Let j(n) = -n**3 + n**2 + 7. Let b be j(0). Suppose b*m + 9 = 2. Is 1/40 < m?
False
Let n be (15 - 0)*((-80)/24 + 6). Are 49 and n equal?
False
Let t = -0.3 - 0.7. Let d = t + -13. Is d less than -1?
True
Let t = 24 + -24. Let u(v) = -v. Let o be u(t). Let f = -1632/19775 - -2/791. Which is smaller: f or o?
f
Let q be (96/112)/(-2*11). Let l(c) = -2*c**3 - 19*c**2 + 7*c - 30. Let k be l(-10). Is q less than or equal to k?
True
Let r be 16/24 - (-16)/3. Suppose -y = -5*f + 2*y + 5, -f = -2*y - 8. Let x = r + f. Which is greater: x or 5?
5
Let o = -35 + 35.037. Let y = 9.963 + o. Is y bigger than -1/3?
True
Let p(h) = h**2 - 33*h - 36. Let l be p(26). Which is smaller: -217 or l?
l
Let j = 17/18 + -13/9. Which is smaller: 2/7 or j?
j
Let i be 18/(((-45)/10)/3). Which is smaller: -10 or i?
i
Let n = -234 + 444. Let j = n - 1882/9. Which is bigger: j or 0?
j
Let x = 14 + -11. Let r be (x - (-57)/(-21))*-7. Let m(g) = -g**3 - 4*g**2 - g. Let w be m(r). Which is bigger: -7 or w?
w
Let w be -8 - ((-447)/15 - -4). Is w greater than 18?
False
Let c = -1.7 + 1.9. Let v = -0.053 - -0.553. Is v at most c?
False
Let q be 1/(-3) - (7 - (-416)/(-60)). Is 286 greater than q?
True
Let p be 62/310 - (1 + 8/(-10)). Is p >= 6/67?
False
Let m = -33 + 31. Let r be 2/4*(m - -2). Which is smaller: r or -2?
-2
Let y = -2.21 + 1.35. Let b = 1.74 - 1.6. Let q = y - b. Is 4/5 < q?
False
Let o be -4 + -24 + (3 - 4). Let q = o + 23. Let d = -7 + 1. Is d at least q?
True
Suppose 0 = -21*h + 20*h. Suppose -3*s = -h*s + 3*c + 9, -2*s + c = 0. Which is smaller: s or -2/89?
s
Suppose 0 = -0*o - 2*o + 16. Let m = -31 - -30. Let n = m - -3. Which is greater: o or n?
o
Suppose -5 = 2*v + 3*s, -3*s - s + 1 = -5*v. Which is greater: v or -54/31?
v
Suppose 4*a + 11 = 3*l, 5*l - 3 = -5*a - 8. Let d be 5304/5796 - 18/21. Are d and l non-equal?
True
Let o = 54.81 - -0.19. Let a = -57 + o. Do 1/7 and a have the same value?
False
Let w = 44 - 32. Let b be (-2)/w*-3*4. Which is bigger: b or 4?
4
Suppose -3*n = n. Let j(y) = 2*y**2 - 3*y. Let b be j(1). Let a be (-231)/209 - (b - n). Which is bigger: -2/9 or a?
a
Let z(v) = v**2 - 4. Let l be z(3). Suppose -3*u + 29 = -2*m + 2*u, -23 = 4*m - 3*u. Let a = 3 - m. Is l less than a?
False
Let b = -30 + 30. Is b greater than or equal to -0.174?
True
Let c = -2077 + 2075. Is c not equal to -312?
True
Let c = -238 - -238. Which is greater: c or -4/93?
c
Suppose 0 = -3*q - m + 10, -3*q + 2*m + 1 = -2*q. Suppose -3*j = q*j. Is -48 greater than j?
False
Suppose -1194 = 5*h - 5*q - 4934, -5*h + 3*q = -3742. Let a = h + -5231/7. Is 2 < a?
False
Suppose v + 8 = 3*v. Suppose 0 = -5*y - 4*q - 137, -v*q = 4*y + 122 - 10. Let a be ((-24)/(-10))/((-10)/y). Is a smaller than 9?
True
Let u be 10/(21 - (7 - 0)). Which is smaller: 9 or u?
u
Suppose 20*f - 11043 = -11023. Let s be (2/549)/((-2)/(-6)). Which is greater: f or s?
f
Let c = -13 + 17. Suppose -c + 26 = -2*t. Is -49/5 at least as big as t?
True
Let k = 177 - 237. Is k < -60?
False
Let z be (-44)/(-55)*25*1. Let j be (-9)/2*z/(-6). Let n be (-4)/(-3)*j/(-10). Is -5/2 > n?
False
Let v = -2010 - -1958.049. Let g = v - -52. Which is smaller: -1 or g?
-1
Let h(p) = -118*p**2 + 21*p - 7. Let g be h(3). Which is smaller: -1005 or g?
g
Let v = -2/449 + -892/1347. Let g be 0*(-6 - -3 - -2). Which is greater: g or v?
g
Suppose -2 = -2*b - 2*z, 5*b - 7*b - 3*z = -5. Which is smaller: b or -6/95?
b
Let m = -14655 + 131755/9. Let p = m - -142/9. Which is greater: 0 or p?
p
Suppose b = -0*b + 2. Let l be (204/152)/(1/b). Let u = l - 471/133. Is -0.1 < u?
False
Let d(u) = -u**2 - 28*u - 46. Let f be d(-19). Suppose 9*t - 35 = -f. Do t and -9 have different values?
True
Let w = -167/5 + 3188/95. Suppose 3*d - 18 = -5*h + 1, -h + 4*d + 13 = 0. Suppose -h*k = -q - 15, 5*q - 9 = -0*q - 3*k. Is w not equal to q?
True
Let o = 106 - 55. Let s = 362/7 - o. Let g be (3/(-6))/((-11)/22). Are s and g equal?
False
Let r(n) = -3*n**3 + 4*n**2 - 2*n - 2. Let h(w) = -w**2 + 6*w - 2. Let k be h(5). Let j be r(k). Let z = j + 691/13. Which is smaller: z or 1?
z
Let m = 152 - 100. Let k = 48 - m. Which is bigger: k or 0.3?
0.3
Let u(n) = 25*n - 177. Let h be u(-31). Which is bigger: -953 or h?
h
Let h(d) = d**3 + d**2 + d + 4. Let f be h(3). Suppose x - 4*x - 5*i = -72, -151 = -5*x + 2*i. Let w = f - x. Is w < 14?
False
Let d be 2 + 1 + (-1 - -2). Suppose d*t + 2*u = 10, -u = -t + 6 - 2. Let k = -215 - -218. Are t and k equal?
True
Let s(b) = -b**3 - 2*b**2. Let x(k) = k + 3. Let i be x(-5). Let r be s(i). Let y be (-2 - -1) + 16/40. Are r and y equal?
False
Let b be (2/4)/(3/(-78)). Let d = -12 - b. Suppose -k + d = -0. Is k greater than 0?
True
Let f = 382 - 5345/14. Let l = 1 - 2. Let b = -1 - l. Is f at least as big as b?
True
Let i be 55/(-6) + -3 + 3. Let o = 31/2 + i. Does o = 7?
False
Suppose -10*t + 84 = -9*t. Suppose -4*y - 4*a + t = 0, -3*y - 5*a = -58 + 5. Which is smaller: 27 or y?
y
Let j = 8919/40 - 223. Is j smaller than -0.4?
False
Let f be 0 + 0 + (2 - -3). Suppose 4*v - 8 = 2*v + f*j, -5*v + 20 = -2*j. Suppose -i = 2*q - 4, -v*q - 4*i + 12 + 4 = 0. Is q bigger than 1?
False
Let j(s) = -s + 1. Let o be j(-5). Let l be o - 6 - 2*3. Suppose 4*i - 42 = 5*v, 6*v - 3*v + 30 = 4*i. Do l and v have the same value?
True
Suppose -2*d + 237 = -5. Suppose -3*i + d - 103 = 0. Are i and 8 non-equal?
True
Let z = -1010/11 + 92. Suppose 5*d + j = -44, 3*j + 0*j = 3. Let x be 3 + d/((-9)/(-2)). Is z smaller than x?
True
Let q(a) = -a**3 - 3*a**2 - a + 2. Suppose 0 = w - 5*d + 3*d + 13, w - 3*d + 18 = 0. Let n be q(w). Let g be (n/10)/((-1)/2). Is 5/7 < g?
False
Let d = 24.7 + -27. Let l = -0.1 + d. Let y = l - -2.3. Which is smaller: y or -1/5?
-1/5
Let k = -4 - -127/32. Does k = 0?
False
Let i(a) = -a**3 - 5*a**2 + 3*a + 12. Let y be i(6). Let m = y - -1449/4. Is m less than -4?
False
Let o = -117.5 + 117.2. Is o at most as big as -9/5?
False
Suppose