d be t(6). Let b be (-8)/12*(-2)/(-20). Which is smaller: d or b?
b
Let h = -0.341 + 0.152. Let r = h - 0.011. Which is greater: -0.13 or r?
-0.13
Let w = 61 + -66. Suppose 9 + 105 = -19*j. Which is smaller: j or w?
j
Let p be (-12)/(-40)*6/(-18). Suppose -5 = 5*f - 0. Is f not equal to p?
True
Let n(y) = -y**3 - 9*y**2 - 12*y + 6. Suppose 3*l = 4*p - 41, l + 5*p - 7 - 11 = 0. Let q be n(l). Let v = q - -5. Which is bigger: -5 or v?
v
Let j(d) = d**2 - 26*d + 37. Let o be j(25). Is o at most -1?
False
Let m = -10 + 40. Let b = 31 - m. Which is bigger: b or -0.02?
b
Let g = 93 - 158. Let o be (-465)/g - (-2)/(-13). Let c be (6/(-2))/(1/(-2)). Which is smaller: c or o?
c
Let l = 351 - 528. Let d = 347/2 + l. Let x(f) = -f**2 + 4*f + 7. Let t be x(6). Which is smaller: t or d?
t
Let x be 2/(-1) - ((-87)/3 - 3). Let v be x*(64/12 + -5). Is 21/2 at most v?
False
Let t be 2/7 - 353/(-14). Let j be -3 - (9/18 - 216/(-10)). Let d = j + t. Is -0.2 at most d?
True
Let i = -8 - -14. Let m = 648 + -654. Let d = m + i. Is d >= -4/15?
True
Let v be ((-2)/4)/((-1)/8). Let m = 15 - 35. Let y be (-16)/20*m/8. Is y != v?
True
Suppose -213 = -4*a - 3*i, 0 = a - 0*i - i - 48. Let k(o) = 3*o**2 + 18*o + 4. Let y be k(-8). Which is smaller: y or a?
a
Let q(b) = b**2 + 19*b + 25. Suppose 0 = 2*o + 32. Let s be q(o). Is -24 bigger than s?
False
Suppose 3*i - 5 = -0*i - f, -f = -i - 1. Is -1/6 at least as big as i?
False
Let a be 222/(-1750) - (-19 - (-1584)/84). Is -1 less than a?
True
Let d = -22 + 32. Let q(h) = 19*h**2 + h - 8*h**2 + 1 + 8*h - 12*h**2. Let v be q(d). Is -9 < v?
False
Let x = -3.98 - 0.02. Let m = 7 + x. Are m and -6 nonequal?
True
Let u = 92 - 90. Let n be u/(-6)*(-5 - -8). Which is bigger: n or 1/32?
1/32
Let g = 5 + -5. Suppose g = 4*n - 5*d + 28, 3*n + d + 21 = -4*d. Let p be n/(-21) + 2/4. Which is smaller: p or 0?
0
Let g = -4 - -2. Let h(i) = 3*i**2 - 3*i - 3. Let k be h(g). Suppose 5*u + k + 0 = 0. Is -0.1 at least u?
True
Let o = 158 - 138. Is 13 less than or equal to o?
True
Let j(d) = 55*d**2 - 7. Let m be j(3). Let o = -4399/9 + m. Are o and -2 non-equal?
True
Suppose 5 = -s, -3*w - 9*s = -6*s + 18. Which is smaller: w or -4/275?
w
Let a be 475/10*16/20. Suppose 18 = -2*x - a. Which is smaller: -29 or x?
-29
Let h = 56 + -445/8. Let s = 8 - 8. Suppose 4*y - 4 = -s*y. Which is bigger: h or y?
y
Let y be (-12)/(13/(1040/210)). Is 23 less than or equal to y?
False
Let r be -2*20/(-8) - -2. Suppose -15*n = -18*n + 21. Is n less than r?
False
Suppose 2*q - 72 = -10*q. Suppose -3*g - 9 = -3*m, -4*g - g = 3*m - 17. Suppose -q*c + 2 = -m*c. Which is smaller: 0 or c?
0
Suppose -7*z = -13*z - 1008. Is z at most -168?
True
Let z = -1821420/77 + 118272/5. Let u = z - -2/385. Which is smaller: u or 0?
u
Let l be 178 - ((-13)/(-3) + (-36)/108). Do 170 and l have the same value?
False
Let l(j) = -j**3 - 4*j**2 - 3*j + 2. Let g be l(-3). Suppose 0 = -g*y - 13 - 7. Let k be ((-2)/65)/(2/y). Which is greater: k or -2/7?
k
Let j be -5 - ((-88)/154 + 1886/(-399)). Are j and 1 unequal?
True
Suppose 3 = 3*g, -5*y + 154 = g - 102. Let k be -65*3/y + 4. Which is greater: 1 or k?
1
Suppose w + 1 = -u - 3*w, 3*w = 2*u + 2. Let m be (-14)/20 - 5/(-10). Is u > m?
False
Let g be (-1162)/(-49) - (6/7)/(-3). Let l = g - 30. Are -6 and l unequal?
False
Let q(h) = 8 + 0*h + 7*h - 6*h. Let w be q(-5). Is -2 > w?
False
Let k = -35450429621/1753449852 - -1/5693019. Let d = k - -142/7. Is -1 > d?
False
Let f(u) = 9*u**2 + 18*u - 25. Let q(g) = 14*g**2 + 27*g - 37. Let m(z) = 8*f(z) - 5*q(z). Let x be m(-5). Which is greater: -8 or x?
-8
Let r = -1576 - -2389. Which is smaller: 812 or r?
812
Let c = -133.1 - -126. Let q = c - -3.1. Which is greater: q or 0.1?
0.1
Let y be 4/(-9) + (-560)/(-126) + -1676. Which is greater: y or -1/2?
-1/2
Suppose -s - c - 4 = 0, -4*s = -4*c + 2*c - 8. Let d(v) = s*v + 5*v - v - v + 16. Let b be d(-6). Is b equal to 9?
False
Let m = -221 - -220. Is -168 not equal to m?
True
Let f = 144 + -1153/8. Do 0.007 and f have different values?
True
Let h(s) = -s**3 + 2*s. Let j be h(3). Let y be j/7 + 526/2. Let c = -2083/8 + y. Which is smaller: c or -1?
-1
Let f be (16/(-86))/(-7 + (-1705)/(-265)). Let m = 1/215 + f. Which is bigger: m or 46/5?
46/5
Let m(t) = t**2 - 7*t - 4. Let k be m(7). Let f be 1/(-1) - 1 - k. Let u be (f + 1)/(1 + 0). Does 5 = u?
False
Let o = -2.5 + 3. Let m = -1 + o. Let z = -1515/1018 + -6/509. Is m != z?
True
Let r(i) = 3*i + 4. Let g be r(-3). Suppose -371*z - 2019 + 402 = -140*z. Which is smaller: z or g?
z
Let b(r) = 7*r + 110. Let s be b(-17). Suppose -2 = -n - n. Suppose 2*u + n = -2*p - u, -u + 13 = -p. Is s > p?
False
Suppose -10*x = -12*x. Let w be ((1 - 1) + x)*17/51. Is -5/6 at most w?
True
Let o = 8 + -6. Suppose -d + o = -3*d. Which is smaller: d or -3/7?
d
Let f = -2.82 - 0.38. Let n = f + 3.2. Which is smaller: n or 0.15?
n
Let j be 155/124*((-2)/(-5))/(-2). Let g be (4/(-6))/((-4)/9). Which is smaller: g or j?
j
Let t = 993.7 + -994. Let h = -0.7 - -0.67. Let f = 1.97 - h. Which is bigger: f or t?
f
Let d = 14 - -490. Which is smaller: d or 1?
1
Let p(t) = t**3 - 11*t**2 + 10*t - 1. Let y be p(10). Let a = -309 - -1537/5. Let k = a - y. Which is smaller: -2 or k?
-2
Let u be (4/(-6))/((-4)/6). Let i(f) be the second derivative of f**4/6 + f**3/6 + f**2/2 + 14*f. Let h be i(-1). Is u < h?
True
Suppose 5*b - 2156 + 2151 = 0. Which is smaller: -1/286 or b?
-1/286
Let n be (-5313)/15 - (-44)/(-55). Which is smaller: n or -354?
n
Let v(z) = 14*z - 23. Let d be v(6). Suppose -18*t + 29 = -d. Which is greater: -0.01 or t?
t
Let p(a) = 57*a + 530. Let o be p(-10). Which is bigger: -284/7 or o?
o
Suppose 7*n - 4*n + 21 = 0. Suppose -19*p - 14 = -17*p. Does p = n?
True
Let h(n) = 8*n**3 + n**2 + 4*n + 2. Let y be h(-1). Which is smaller: -67/7 or y?
-67/7
Let w = 3 - 11. Let u = -24 + 34. Let q = -18 + u. Is w greater than or equal to q?
True
Let s = -50 - -28. Let y = 8 + s. Is -14 not equal to y?
False
Let l(p) be the third derivative of -p**6/120 - 3*p**5/20 - 7*p**4/24 + 7*p**3/6 - p**2. Let y be l(-8). Let g be 56/(-32) + -1 + 3. Which is smaller: g or y?
y
Let y = 268.1129 + -0.1129. Are y and -1 non-equal?
True
Let y be 2 + 38/(-133)*(-206)/(-16). Is -3 greater than y?
False
Let w = -1164/13 + 6691/65. Let h = w - 89/10. Which is smaller: 1/3 or h?
1/3
Let q = 1.387 + -3.137. Which is bigger: -1/4 or q?
-1/4
Suppose 2*v + l - 795 = 0, -1589 = -13*v + 9*v - l. Which is greater: 398 or v?
398
Let p = -5132 - -153941/30. Is -1 bigger than p?
False
Let a = -1543 - -1547. Does a = 8/9?
False
Let x be (18/24)/((-3)/12). Let q be (x - (0 - 3))/(-3). Let n = -64 + 317/5. Which is bigger: q or n?
q
Let u(y) = -y**3 - 5*y**2 + y + 6. Let t be u(-5). Let g = -52484/25 + 2099. Let b = -147/200 - g. Is t != b?
True
Let b(i) = i**2 - 58*i + 518. Let h be b(11). Let d = 661/32 + -165/8. Which is bigger: d or h?
h
Let t = 99.01 + -99. Which is smaller: t or -6?
-6
Let g(i) = -2*i - 75. Let d be g(6). Is -87 less than or equal to d?
True
Let q(j) = -5*j + 40. Let a be q(0). Suppose -r - 2*z - 15 = 0, 0*r - 3*z - a = 4*r. Which is smaller: r or 4?
r
Let f = 1 - 1. Let s = -3041 + 3039. Is s at least f?
False
Suppose 3*r - 16 = 20. Let k be ((-1)/(r/8))/1. Let o = -57/122 - 2/61. Which is greater: o or k?
o
Let x(f) be the second derivative of f**3/3 + 11*f**2/2 + 3*f. Let d be x(-5). Let v be (-35)/(-12)*(-4)/(-14). Is d < v?
False
Let r = 1 + -3. Let y be r + -3 + 3 + 1. Is y bigger than -12?
True
Let q = 605 - 49607/82. Which is bigger: 1 or q?
1
Suppose 10 = 2*w + 5*q, -w + 0 = -q + 2. Let n be (-4)/(-14) + (-215)/(-7). Let l = 91/3 - n. Which is smaller: w or l?
l
Suppose 3*p + 9*n = 4*n + 144, -2*p + n + 83 = 0. Let k(s) = 4*s**2 + 3*s - 1. Let f be k(3). Is f greater than p?
True
Suppose 5*s - 3*u = 111, 0 = 5*s - 5*u + 58 - 173. Is 9 != s?
True
Suppose 2*l + 5*c = 241, 2*l = 3*c + 142 + 139. Is 133 >= l?
True
Let u be -1 - 162/(-130) - (-228)/(-570). Is 2/5 smaller than u?
False
Let h(v) = 2*v**2 - 15*v - 17. Let k be h(13). Suppose 7*p - 105 - k = 0. Which is smaller: p or 32?
32
Let f = -0.1856 - 26.5044. Let h = f + 27. Which is smaller: h or -0.1?
-0.1
Let r(j) = 24*j - 72. Let t be r(-2). Is t at least as big as -