 104 - v. Let m = -7 - -5. Which is bigger: m or l?
l
Let l = -75 - -75. Let g be l - 9 - (6 + -1 + -4). Suppose 0 = 5*b + 4*y + 10 + 53, -4*b = -3*y + 38. Is g at least as big as b?
True
Suppose -396 = 3*q - 3*f, -4*q - q = 5*f + 640. Is q > -129?
False
Let d = -0.167 + 0.047. Do d and 0.4 have the same value?
False
Let w be (-50)/(-10) - 2*2. Let g = -129 + 1421/11. Which is smaller: g or w?
g
Let z = 15 - 11. Suppose 0 = 18*b - z + 22. Which is bigger: b or -4/9?
-4/9
Let a = -277.23 - -275. Let u = 2.2 + a. Let w = u + -0.17. Which is bigger: -3 or w?
w
Let b(g) = -61*g + 370. Let z be b(6). Is z bigger than 9?
False
Let g(y) = -y**3 - 2*y**2 + 6*y + 3. Let z be g(-4). Let j be (z - 1) + (0 - 1). Let i = -4 + j. Is i > 6?
False
Let b be (-1)/(-20)*(-13)/(-221). Which is smaller: 0 or b?
0
Let d = 1404 + -1405. Let r be 2/(-8) + 321/1380. Which is smaller: r or d?
d
Let k be 1 - ((-36)/(-4))/(-3). Suppose -5*c + k*h - 8 = 0, -3*c + 3*h = -0*c + 3. Let o be (32/180)/(c/10). Which is smaller: o or -1?
-1
Let s = 37 - 33. Suppose -2*m + 37 = 3*k, -s*m - 3*k + 51 = -m. Is m < 25/2?
False
Suppose -c + 2*k = 3 + 3, k = 4. Let h be (c/1)/(-1)*(-15)/(-135). Does h = -1/8?
False
Let j = -529021/7 + 75385. Let a = -189 - j. Let i = -23/21 + a. Which is smaller: 3/4 or i?
i
Let z(m) = m**2 + 1. Let o be z(2). Suppose 4*w + i - 4*i = o, -3*i = 5*w + 14. Let g = -98 + 783/8. Is g at least as big as w?
True
Let g = 4 - 3. Let p be (-174)/1 + (10 - 10). Let k be p/(-630) - (-1)/(-3). Do k and g have the same value?
False
Let j(i) = 18*i - 1. Let a be j(0). Is a bigger than -39/32?
True
Let p = 0.05 - -0.25. Let c = -4.2 - -4. Let w = p + c. Is w not equal to 1/3?
True
Let i = 11 + 26. Is 39 not equal to i?
True
Suppose 18 = -13*z + 19*z. Suppose -z*c + 67 = 214. Is -50 not equal to c?
True
Let g(o) = -o**2 - 4*o - 14. Let d be g(-3). Which is smaller: 0 or d?
d
Suppose -u - 3 = -0*u + o, o + 7 = 3*u. Are 1/90 and u equal?
False
Let j(p) = -20*p - 578. Let q be j(-29). Which is smaller: 0.0307 or q?
0.0307
Let p be 9*12/81 - (-10)/(-6). Which is greater: 0.079 or p?
0.079
Let c = -0.081 - -2.081. Let s = 489649/15 - 32623. Let a = s - 108/5. Which is smaller: a or c?
a
Let b = 3.5 + -3.45. Let n(m) = m**2 - 3*m. Suppose 4*o - 14 + 2 = 0. Let f be n(o). Which is smaller: b or f?
f
Let f = -12 - -12. Suppose f = 5*s - 3*q - 9, -5*s + 3*q + 7 = -q. Suppose 0 = 3*j - n - s*n + 10, -4*j = 5*n + 3. Is j at least as big as -1?
False
Let u = 0.1 + 0. Suppose 65 + 75 = 14*h. Let l be ((-35)/25)/(2/h). Which is smaller: u or l?
l
Let y = 123314/19 - 6488. Which is greater: y or 3?
3
Let p = 0.23 - 0.13. Which is greater: p or -39?
p
Let p = -244 - -321. Is 81 at least p?
True
Let w = -42 - -42. Suppose 0 = 4*b - 1 - 11. Is w bigger than b?
False
Suppose -527 + 287 = -8*m. Is m >= 23?
True
Let l = 1.1 + -2.2. Let m = -27.1 - l. Let z = 29 + m. Is z bigger than -1?
True
Let l(b) = -4*b**2 + 28*b - 41. Let u be l(9). Is u greater than -113?
False
Let x = 340 - 311. Which is smaller: 25 or x?
25
Let w be ((25 - 6) + 0)*1. Which is smaller: -4/5 or w?
-4/5
Suppose 5*y + 39*k - 2280 = 37*k, k = -5. Which is smaller: 456 or y?
456
Suppose -28 = 2*o + 3*l, 5*l = o + 37 + 3. Let d = o + 18. Which is smaller: 2 or d?
d
Suppose -3*k + 52 = 4*z, -44 = -4*k - 5*z + 6*z. Let y be ((-76)/k - -4) + 2. Is y < -12?
False
Let i be 1/((-75)/35 - -2). Let f be (1/37)/(i - -6). Are -1 and f non-equal?
True
Let l(h) = -82*h + 185*h - 89*h. Let a be l(4). Is a not equal to 54?
True
Let d = -77 - -70. Let w(b) = -b**2 - 4*b + 20. Let k be w(d). Which is greater: k or -4/7?
-4/7
Suppose -6*l - 18 - 24 = 0. Suppose 0 = t - 0 + 4. Which is smaller: l or t?
l
Let h(m) = -m**3 + 4*m**2 - 2*m + 1. Let j be h(3). Suppose p = -j*p. Is 8/7 smaller than p?
False
Let j be 13/26 + 0 + 1/6. Let c = -4.6 + -16.4. Is c greater than j?
False
Let f = -494 + 494.071. Which is smaller: 1 or f?
f
Let s be (-5)/(7/(-2)*(-3)/21). Let d = s - 48. Do -57 and d have the same value?
False
Suppose 5*t = -3*r - 355, 4*r + 2*t = 6*t - 484. Is r at least -606/5?
True
Let d = -1.3 + 2.1. Do d and -3 have different values?
True
Let b be 3/15*((-63)/(-9) - 44/12). Let a = 2 - 6. Is a at most b?
True
Let b = -33 + 13. Let j = b + 14. Let n = -6.1 - j. Which is greater: -0.4 or n?
n
Let g(t) = -2*t + 8 + t - 2. Let o be g(7). Let d be 3*(30/(-9))/5 + -2. Is o less than d?
False
Let i = 48 - 64. Which is smaller: -14 or i?
i
Let x be 8/6 - (-94)/6. Suppose x = h - 43. Let p = -239/4 + h. Which is smaller: p or -3/8?
-3/8
Let w = 2663/499 + 3407527/142714. Let b = 378/13 - w. Let r be ((0 - 4) + (-91)/(-21))*-3. Is r greater than b?
False
Let a(h) = -h + 8. Let i be a(-7). Suppose b = -2*b + i. Is b at least 6?
False
Suppose -2*y + 2*v = y - 66, -5*y + 4*v = -112. Suppose 5*a - 5*c = -y, 3*a + 0*c + 8 = 5*c. Let d be 70/150 + a/10. Which is bigger: d or -1?
d
Let u be (-4)/(-26) - (-8050)/(-13455). Which is smaller: -2/5 or u?
u
Suppose 0 = 4*i - 3*c + 5 - 16, 3*i + 23 = -4*c. Which is greater: i or 89?
89
Let t(o) = -3*o**2 + 11*o - 5. Let p be t(8). Which is smaller: p or -106?
p
Let b = 228 + -235. Are b and -14 nonequal?
True
Let u = 6 - 3. Suppose 2*s - 6 = u*s. Suppose 36*p = -239 - 13. Which is greater: p or s?
s
Suppose -2*x = -3*l - 6*x - 17, -2*x + 8 = -4*l. Let b be (-9)/((-18)/(-4)) - l/3. Is -10 greater than b?
False
Let c be 771490/275 - (-1 - (-18)/22). Let w = -2795 + c. Which is smaller: w or 12?
w
Let q be 0/(-1) + 6/(-7). Let t be (1/1*(-16 - -16))/(-2). Which is greater: q or t?
t
Suppose -487 = 4*k - 451. Let l(y) = 2*y. Let n be l(9). Suppose 0 = 4*c - 2*c + n. Is k at least as big as c?
True
Let u be 2*2/(-4)*-5. Let n = 50.24 - 50. Let c = n + -1.24. Is u <= c?
False
Let x be ((-12)/(-18))/((-14)/498). Let w = x + 2801/119. Is w bigger than 0?
False
Let y be (36/16)/((-6)/(-16)). Suppose 3*p + 9 + 0 = -3*v, -3*p - 9 = -v. Let r = y + p. Which is bigger: r or 2?
r
Suppose -4*x - 5 = -5*x - 3*z, z - 39 = -5*x. Suppose -2*n + 5*n = -p - x, 0 = -5*p + 3*n - 4. Which is smaller: p or -3?
-3
Suppose -3*m - 255 + 651 = 0. Which is bigger: 653/5 or m?
m
Let x = -1.6 - 9.4. Let s = -13 - x. Let l = s + 0. Are 1/6 and l unequal?
True
Let g = -6 - -8. Suppose i + 1 = 3. Are g and i non-equal?
False
Suppose -f - 41 = -3*c - 108, 0 = 2*f - c - 129. Do 66 and f have different values?
True
Suppose 0 = 3*r - 0*l + 3*l, -4*r - 3*l + 3 = 0. Let b be r/(-6)*(2 + 0). Is -2 > b?
False
Let n be (-1)/(-3 - 57/(-18)). Let b be (-657)/(-4524) - (n/13)/(-3). Is b less than 0?
True
Let t be ((-4)/16)/(2/(-32)*5). Is 3 less than or equal to t?
False
Suppose 0 = -6*n + 7*n - 7. Suppose n*g + 26 + 9 = 0. Suppose -2*s - 4*b + 2 = 0, -5*s - b + 5*b - 37 = 0. Are s and g nonequal?
False
Suppose -2*a + 186 = -5*a. Which is greater: a or -63?
a
Let u = -1223 + 15839/13. Which is greater: u or -4?
-4
Let u(c) = -c**3 + 7*c**2 + 2*c - 7. Suppose -2*o + 5 = p - o, 2*p + 4*o = 6. Let k be u(p). Suppose 0 = -10*q + k*q + 18. Is q less than 8?
True
Let u = 2/2673 - 1015/165726. Which is bigger: 1 or u?
1
Let m = 7144/5 + -1422. Which is smaller: 6 or m?
6
Let l = 29 + -26. Suppose l*i + 2 = 5*i. Is 1/161 >= i?
False
Suppose 1 + 9 = 2*a. Suppose a*d + s = 2*s - 23, -d - 13 = 4*s. Which is smaller: d or 2/3?
d
Let o = -3.7 - -2.4. Let t = -0.34 + 1.34. Which is bigger: o or t?
t
Suppose 0 = -3*j - 5*s + 9 - 37, -4*j = -2*s + 20. Let v be (-48)/20*20/j. Suppose -3*a + v = 3*x - 4, -3*x = -4*a - 12. Which is bigger: a or 1?
1
Let p = -52 - -60. Let i be -18*(-16)/(-30)*(-20)/p. Are i and 23 equal?
False
Let h = -0.29 - -0.01. Let b = h + 1.28. Is -1/7 not equal to b?
True
Let o(i) = i**2 - 8*i + 20. Let l be o(6). Are 5 and l nonequal?
True
Suppose 4 = -2*t, 3*d - 2*t = -5*t - 3. Are 2/1147 and d unequal?
True
Let y = -6082360968/121 + 50264950. Let p = -2496 - y. Which is bigger: p or 0?
p
Let u = 0.14 + -0.12. Let s = -0.04 - u. Is s less than 0?
True
Suppose -13 + 16 = -3*n. Let m be 5/(30/(-7)) - n. Suppose 4*k = -0*k. Is k < m?
False
Let w = -0.001 - -0.201. Let y = -0.4 + -3.6. Which is bigger: w or y?
w
Let q = -5146/262185 - -1/6810. Is q <= 0?
True
Let g = -850 - -834. Which is bigger: -152/9 or g?
g
Let h be (-26)/(-189) + 4/(-14). 