3*m = 0. Which is smaller: m or u?
u
Let l(g) = -g**3 + 6*g**2 - 6*g - 1. Let j be l(3). Suppose 0*b - b = -5. Are j and b nonequal?
True
Let o(x) = 84*x - 457. Let d be o(6). Suppose 8 = -2*w + 102. Is d equal to w?
True
Let f = -13 + 13. Let l = -7004.949 + 7011. Let b = -0.051 + l. Are b and f nonequal?
True
Suppose 0 = -a - 3*n + 44, -2*a + 4*a - 110 = 5*n. Let j be 1/(-4) - a/120. Do -4/3 and j have different values?
True
Let p(y) = -7*y - 63. Let k be p(-1). Which is bigger: k or -78?
k
Suppose 5*d = 5*x + 65, 0*x - 18 = -3*d - 4*x. Suppose -2*m = d*m - 192. Is 16 less than or equal to m?
True
Suppose -20 = -31*v + 27*v. Suppose 2*a + 0*x + x = -15, -5*a - 75 = -v*x. Is -10 at least as big as a?
True
Let s be -3*(0 + 8/12) + 10. Let v(i) = i**2 + 2*i. Let z be v(-5). Suppose -3*k + z = -3*r, 2*k - 3*r + 30 = 4*k. Which is bigger: k or s?
k
Let k be 1*(-1 - 48/(-2)). Is 21 greater than k?
False
Let i be (15*-3)/1 - (106 + -105). Is i smaller than -50?
False
Let g(b) = b - 7. Let k be g(5). Let x(o) = o**3 + 5*o**2 + o + 5. Let q be x(-5). Let j be (q + 0)*(1 + 0). Do j and k have the same value?
False
Let g(s) = -s**3 - 4*s**2 + s + 4. Let z = 8 - 12. Let n be g(z). Let c be 63/(-138) + 2/4. Which is greater: c or n?
c
Let f be 9*10/(-15) - -6. Which is greater: 1/5 or f?
1/5
Let r be (-4)/18 + -2 + (-1680)/(-27). Let v = -61 + r. Is v at least as big as -24/17?
True
Suppose 238 - 234 = 2*f. Let d be (-10)/26*(-12)/5. Which is smaller: f or d?
d
Suppose -4*h = 5*m + 63 + 49, 128 = -5*m + 4*h. Let d be (-27)/180*m/(-225). Is 0 != d?
True
Let s(w) = -16*w**2 - 95*w + 6. Let g be s(-6). Which is smaller: -4/699 or g?
-4/699
Let r be ((-815)/20)/(1/(1 + 0)). Let k = -41 - r. Is k >= -1/2?
True
Let i = 2.5 - -63.5. Let d = i - 65. Let k be (2/4 + -1)*-1. Is k less than d?
True
Let p = 0.3 - -19.8. Let f = 20 - p. Which is bigger: 7/6 or f?
7/6
Let w be (-1 + -4)/(19/(-133)). Suppose 0 = 5*a + 5*l - w, 31 = 3*a + 2*l + 9. Let o be 12/a + 70/(-52). Are 1 and o unequal?
True
Let u be (-2)/6 + ((-8)/12 - -1). Are -3/283 and u unequal?
True
Let g = -115949/7 + 16537. Is g != -28?
True
Let c be -2 - -7 - -4 - 82. Is -72 <= c?
False
Let u = 55 - 55.2. Is u <= -9?
False
Let k = -3479/1046615 - 3/2395. Let u = -3937/874 - k. Let i = -0.3 - -0.4. Which is smaller: i or u?
u
Let d = 74 + 127. Is 202 > d?
True
Let o be (-4)/(-14) - (-80)/14. Suppose 178 = -9*t + 637. Suppose -54*z = -t*z - 12. Which is greater: z or o?
o
Let t be (-3 - 1) + (10 - 20). Let p = -11 - t. Is p less than or equal to 1/9?
False
Let h(j) = 2*j**2 - 14*j + 19. Let i be h(3). Is 5 < i?
False
Let r(x) = 3*x**3 - 26*x**2 - 8*x - 13. Let q be r(9). Let z(w) = 2*w**3 + 3*w**3 - w + w**3. Let b be z(-1). Which is smaller: b or q?
b
Let d be -5 - (-4 + -1) - -2. Let t be (3/d)/(7 - (-185)/(-20)). Is t greater than -0.24?
False
Let k be ((-84)/18)/(4/(-18)). Let o be ((-17)/k + 1)/(-2). Let q = -13 + 12. Which is smaller: q or o?
q
Let i(r) = r**2 - 10*r - 4. Let v be i(12). Let c = v + -18. Which is smaller: c or 0?
0
Let i = 498 + -498. Are -7/108 and i equal?
False
Let u(t) = -3*t**2 + 15*t - 1. Let x be u(5). Let s be (x - (-18)/4)*1*2. Are 4 and s equal?
False
Let r = 24 + -24.15. Let t = 8.7 + -8.6. Is t > r?
True
Suppose 2*g = 3*p + 20 - 2, -18 = 3*p - 5*g. Let j = -4 - p. Suppose 2*u + x = -6, -3*u + j = 5*x + 25. Is 2 bigger than u?
True
Suppose 0 = q + 209 + 67. Let k be q/(-44) - 3 - 2. Let r = -79/88 + k. Are r and -1 equal?
False
Let w = 113 + -80. Let l = w - 32.97. Does l = 4?
False
Let w = -234 + 234.1. Is w at most 0.1?
True
Suppose -5*k - 3*t + 0*t = 0, 4*k + t - 7 = 0. Suppose -2 = -h + k*h. Let w = 64 + -326/5. Which is smaller: h or w?
w
Let l = 92/9 - 442/45. Which is greater: l or -7.3?
l
Let i = -1795 - -1828. Suppose -f + 3*b - 2*b + 30 = 0, -5*f + 156 = -2*b. Is i bigger than f?
True
Let w(r) = 2*r**2 + 4*r - 183. Let i be w(0). Is i smaller than -185?
False
Suppose -5*j = -7*j. Suppose 12 = 4*a - j*a. Let v be ((-6)/75)/(1/(-5)). Is v smaller than a?
True
Suppose r + 1 = 6. Suppose -4*x + 91 = 2*s - 3*s, 47 = 3*x - r*s. Suppose -2*i = -b - 14, -4*i - 4 = -x. Which is greater: -5 or b?
b
Let i be -4 - (-4 + 1)/(-2 + 3). Which is smaller: i or -6/37?
i
Let n be 4/22 - (-424)/88. Suppose 0 = -2*j + 4*i - 12, -n*j - 28 - 38 = -i. Let z be 1 + (-4 - j/2). Which is smaller: 11/3 or z?
11/3
Let u(p) = -24*p**2 + 262*p + 20. Let w be u(11). Let r = -1/133 - 927/532. Which is smaller: w or r?
w
Let y = 0 + 0.2. Let c = y - 0. Let w = -43 - -45. Which is bigger: c or w?
w
Let w = 23 + -23. Suppose 0 = -o - w*o - 2. Which is smaller: o or -5/6?
o
Let u be (4 - 10)/(-2 + 1). Suppose -4*g = 2*x - u - 4, -x - 3*g + 8 = 0. Which is bigger: 2 or x?
2
Let y = 116 + -112. Suppose y*j + 37 = 37. Which is greater: 2/187 or j?
2/187
Let s = -6 - -6.3. Let j = 23.4 + -3.4. Let n = 20 - j. Is s less than or equal to n?
False
Let m be 0/(1 - (2 - -1)). Let x be 3/(1*(-4)/156). Let d = x + 1293/11. Which is smaller: d or m?
m
Let n(d) = -4*d - 26. Let a be n(-7). Is 0 smaller than a?
True
Let k be 7410/(-12825) - 2/(-18)*-2. Suppose -2*r + 4*p - 2 = 2, -3*r - 6 = 4*p. Is k less than r?
False
Let m = -4.048 + 4. Let r = m - -2.448. Which is smaller: -0.1 or r?
-0.1
Let i = 25.2 + -24.2. Does i = -186?
False
Let r = -68.45 - 0.55. Let z = r - -77. Do -2 and z have the same value?
False
Let r(m) = -11*m + 54. Let o be r(5). Which is greater: o or -0.106?
-0.106
Let y(m) be the third derivative of m**4/12 - 8*m**3/3 - 11*m**2. Let v be y(8). Which is smaller: v or 11?
v
Let g = -72 + 214/3. Let d(q) = -q**2 + 12*q - 1. Let w be d(11). Let k be (-34)/70 - (-2)/w. Which is smaller: k or g?
g
Suppose -4*p - 806 - 1398 = 3*r, 0 = -r - 4. Is -548 bigger than p?
False
Let f be (-2)/3 + 52/6. Suppose 406 = -f*o - 10. Let x be (3 - o/(-16))*-4. Is 3 < x?
False
Let i = -217/5 - -1509/35. Which is bigger: -3.9 or i?
i
Let r = -292 - -196. Is -94 != r?
True
Let o = -31 + 43. Let i be 2/(-8) - (-3)/o. Let a be (-5 - -1) + ((-116)/(-18) - 2). Is a > i?
True
Suppose 5*w + 5 = -0. Let y = -7/5 - -9/5. Let l = -21/65 + y. Which is bigger: w or l?
l
Let t = -1/4891 - -10301/2538429. Do t and 1 have the same value?
False
Let b = 25.2 - 28. Let c = -8.8 + 8. Let m = b - c. Which is greater: -1/2 or m?
-1/2
Suppose 9*p + 68 = -4*a + 6*p, a + 18 = -p. Is a > -16?
True
Let t = -0.08 - 10.92. Let g = t - -24. Let j = g + -12.91. Which is greater: j or -2/5?
j
Let h be (6/35)/(25/(-35)). Is h > 0.1?
False
Suppose 0 = -l + 2*l - 2*m + 20, 110 = -4*l - 2*m. Let d = 11 + -36. Is l smaller than d?
True
Let i(a) = -a**2 - 1. Let l(x) = x**2 - 11*x + 12. Let u(p) = -2*i(p) - l(p). Let f be (-20)/(-3)*486/(-270). Let t be u(f). Are t and 2 equal?
True
Suppose 132 = -9*r - 345. Which is bigger: -55 or r?
r
Let h = -185 - -186. Let d be 16/(-4) - (-127)/31. Is d != h?
True
Let u = 0.34 + 0.06. Let a(l) = -l - 12. Let v be a(-2). Let m = v - -12. Which is greater: m or u?
m
Let k = 62 + -52. Let o(f) = f**2 - 9*f - 20. Let s be o(k). Is s at least -7?
False
Let r = 5 - 5. Let m be 0 + 3 - (1 - r). Is m bigger than -7?
True
Let f be (-10)/(-85) + (-1380)/170 + 8. Is f bigger than -156?
True
Let k = -60126/65 - -925. Do -1.4 and k have different values?
True
Let u be (-189)/168 + (-40)/64. Let n be 2/3 - 11/3. Let c be (-6)/9*n/8. Which is smaller: u or c?
u
Let i = 559 - 3938/7. Are i and 0 equal?
False
Let a = -41 - -33. Let y = a - 4. Do y and -12 have different values?
False
Let x = 930 + -610. Let a be 4/(-10) + x/925. Which is greater: a or -1?
a
Suppose -5*f - 7 = 93. Let h be (-33)/f + 22/(-55). Let p(t) = t**3 + 2*t**2 - 4*t - 2. Let s be p(-3). Is h at least as big as s?
True
Suppose -d - d - 10 = l, -3*l + 14 = -5*d. Is -6/7 bigger than l?
True
Suppose -5 - 345 = 5*p. Is p less than -63?
True
Let u(d) = 146*d - 2. Suppose -g + 1 - 2 = 0. Let o be u(g). Let b = o - -289/2. Is -4 less than or equal to b?
True
Let d = -60 - -42. Let y = d + 15. Let f = -1 - 0. Which is smaller: f or y?
y
Let q = -15 + 14. Let u be (((-10)/52)/(-5))/((-2)/(-6)). Are q and u unequal?
True
Let m = 1846.9 - 1847. Which is greater: -2.95 or m?
m
Let b = 10 - 7. Let p = b - 28. Does -24 = p?
False
Let w = 43/78 - -3/26. Is w < 1/317?
