= b + -95/2. Is z less than or equal to 0.1?
False
Let k = 584 - 541. Do 2/7 and k have different values?
True
Let o = 2/121 - 125/242. Which is smaller: -4 or o?
-4
Let g = 248/139797 - 2/317. Is 0 less than g?
False
Let z be (-16)/(-20)*(-10)/(-4). Suppose 3*s = -1 - z. Which is smaller: s or 0?
s
Let n = 3 - 5. Suppose -4*d + 0*d - m + 1 = 0, -3*m = -d + 10. Let v be (-95)/(-76) + -1*d. Is n smaller than v?
True
Let q(d) = -d - 5. Let m be q(-8). Suppose 2*b = -3*r - 8, m*r - 5 = 5*b + 15. Let w be (-1)/3*2*(-1 + -2). Which is greater: r or w?
w
Let h = 9/184 - 739/22632. Which is greater: -1 or h?
h
Let c = -0.0853 + -3.9147. Let g = 5.03 + -5. Let z = 1.97 + g. Is c at most as big as z?
True
Suppose -5*c - 6*p + 10*p = -2774, 2*c + p - 1107 = 0. Which is greater: 553 or c?
c
Let o(k) be the third derivative of -k**6/120 - k**5/10 + k**4/3 + 5*k**3/3 - 3*k**2. Suppose -5*g - 7 - 28 = 0. Let y be o(g). Are 5 and y equal?
False
Let x = 1099 + -983. Is x smaller than 117?
True
Let f = -132661753/186 - -713237. Let b be (-66)/108*(2 - -1). Let z = b + f. Which is bigger: z or -1?
z
Let m(z) = -z**2 - 31*z - 83. Let u be m(-28). Let k = 1220 + -809. Let h = 6161/15 - k. Do u and h have different values?
True
Let l(f) = 3*f - 53. Let j be l(22). Is j at most as big as 5?
False
Suppose -28 = 14*r + 28. Let f be 26/(-7) - r/(-28)*2. Which is bigger: f or -13/3?
f
Let q be 2/(-7) - (-1162)/(-49). Let m be (-4 + 6)/(q/(-9)). Is m smaller than 0.03?
False
Suppose 25*u + 108 = 13*u. Let x(d) = -d**2 - 3*d + 1. Let h be x(2). Is u not equal to h?
False
Let d = 17 - 17. Suppose -6*a + 42 + 192 = d. Is a at most 40?
True
Let c = -6 + 16. Suppose 0*f - f = -c. Suppose -3*n + 11 + f = 0. Is -1 greater than or equal to n?
False
Let r be (14/22)/7 + 830/(-3685). Which is greater: -1 or r?
r
Let p be ((-87)/(-21))/(-6*7/(-294)). Which is bigger: 1/4 or p?
p
Let c(a) = a**2 - 12*a - 2. Let j be c(12). Suppose 0 = 3*p - 6 - 21. Let w = p + -11. Is w less than or equal to j?
True
Let r = -8.33 - -8.23. Are -3/356 and r non-equal?
True
Let i = 7093/9 + -786. Let l = -14516/3717 + 89/59. Let d = i + l. Is d smaller than 1?
True
Suppose -5*p = 5*j + 40, 3*j + 4*p + 21 - 2 = 0. Is -18 > j?
False
Suppose 20*p = -12*p + 160. Which is greater: 13 or p?
13
Let d(p) = p - 75 - 4*p + 7*p. Let h be d(27). Which is smaller: 34 or h?
h
Let g = 196 + -125. Let y = -63 + g. Is 1 > y?
False
Let a(k) be the third derivative of -1/3*k**3 - 1/60*k**5 + 0*k - 1/120*k**6 - 5*k**2 + 0 + 1/24*k**4. Let i be a(-2). Which is smaller: -2/5 or i?
-2/5
Let z = -1390.09 + 1377. Let d = -7 - 6. Let o = d - z. Which is bigger: 0.1 or o?
0.1
Let f = -64.3 - -64.9. Let c be 117/564 - 2/(-8). Let h = c - -2/47. Which is bigger: h or f?
f
Suppose 3*x - 40 = -25. Suppose 2*m - 13 = -4*q + 1, -x*m + 2*q + 11 = 0. Which is smaller: 16/9 or m?
16/9
Suppose -3*l - 272 = 4*d - 56, -l + 5*d - 91 = 0. Let k be 1 + (l/12)/((-11)/(-3)). Is k < 0?
True
Let l = 7 + -8. Which is greater: l or -2/149?
-2/149
Suppose 4 = 2*r - 3*q, -3*q + q = 0. Suppose i + 7 = c + 1, i = -r. Let n be ((-6)/4)/(15/c). Is n at most as big as -4?
False
Let g(k) = k**2 + 67*k + 453. Let p be g(-8). Is 1 < p?
False
Suppose 4*l - p = -4, 0*p - 4*p - 6 = -5*l. Let b be (-2)/(-10)*-18 + (-3)/(-5). Which is smaller: l or b?
b
Let x = 45.2 + -40. Let d = 3.2 - x. Are -1 and d non-equal?
True
Let a be 8/12 + (-1096)/6. Let u be 1 - 4/(-12)*(-4893)/(-9). Let m = u + a. Are m and 1/4 nonequal?
True
Let l(n) = 8 - n + 0*n + 8. Let p be l(20). Is p at most as big as -18/7?
True
Suppose 5*k + 8 = 2*j, -8*k - 4*j + 16 = -4*k. Let b be (25/5)/5*-30. Let i = b + 30. Is i not equal to k?
False
Suppose 3*n = -3*k - 12, 10*n - k - 5 = 12*n. Let m = -11855/38 + 312. Is m smaller than n?
False
Let d = 637 - 19745/31. Let b = d - -56/93. Let k be 2/((-2)/(-3)) - 1. Which is greater: k or b?
k
Let s(u) = -7*u - 4. Let t = 16 + -17. Let k be s(t). Which is smaller: k or 2?
2
Suppose q + 8 = -3*q, q = 3*d - 23. Suppose 0 = -d*c + 9*c - 2. Which is greater: c or 3/4?
c
Suppose 5 = p - 6*p. Suppose 20*q - 9*q + 836 = 0. Let n be 14/q*(30/21 - 1). Is n less than p?
False
Let b = -780371/365 - -2138. Which is greater: 0 or b?
0
Suppose 2*m = -m + 3*w + 3, -m + 9 = -3*w. Let t be 2/(-3)*m - 4. Let z be (-72)/6*t/(-6). Which is smaller: z or -3?
z
Suppose 0 = -h - 1, 0*z + z + 205 = -2*h. Let s = z - -292. Is s <= 90?
True
Let p = -0.01 - 0.09. Let w(i) = 11*i**2 + 3*i - 2. Let b be w(-1). Is p bigger than b?
False
Let o(r) = 564*r - 1. Let g be o(-1). Let a be 50/g*(0 - 1). Let i = a + -436/2373. Which is greater: i or -1?
i
Let w = -1335/7 + 190. Suppose -5 = 2*x + a, 7 = x - 3*a - 8. Which is bigger: w or x?
x
Let p = -457/1914 + 5/22. Let u(x) = -2*x**3 + 2*x - 1. Let o be u(1). Is p smaller than o?
False
Let l = 70.7 - 73.3. Is -15 <= l?
True
Let s be (-3224)/(-845) + (-4)/(-5). Is s < 5?
True
Let x = 364995/127 - 2874. Is x at most as big as 0?
True
Let j = -11603 + 127478/11. Is j > -15?
True
Suppose 22 = 9*o + 13*o - 11*o. Let z(x) = x**3 - 4*x**2 + 2*x - 5. Let r be z(4). Let q = r + -2. Is q at most as big as o?
True
Suppose -10*q = -25*q + 2370. Which is greater: 159 or q?
159
Let p(g) = 7*g**2 + 11*g - 9. Let w be p(-4). Let d = w + -58. Let v = -62 + 184/3. Is v greater than d?
False
Let o = 416 + -13313/32. Let c = -3021 - -3021. Which is smaller: o or c?
o
Suppose 4 = 7*h - 11*h. Let g be (-1519)/6045 + 1/5. Is g greater than or equal to h?
True
Let g = 0.041 + -1.041. Which is greater: 2/125 or g?
2/125
Let x be 2315*14/105*(-6)/(-4). Which is smaller: 1 or x?
1
Let g(r) = -r**2 - 16*r - 23. Let d be g(-14). Suppose 2*z + d*n = 36, 2*z - 18 = -0*n + 4*n. Which is greater: 11 or z?
z
Let z(d) = -d**3 + 10*d**2 + 12*d - 26. Let y(s) = -s**3 + 10*s**2 + 12*s - 27. Let g(a) = 5*y(a) - 6*z(a). Let i be g(11). Which is smaller: 9 or i?
9
Let w = 324 - 238. Is 86 equal to w?
True
Let w be 12 + 3834/(-222) - (-6 - -1). Is 0 < w?
False
Let l be 0/(((-1)/(-1))/(2/(-4))). Which is smaller: 5/66 or l?
l
Suppose 2*o - o = 0, 5*d = o - 575. Let c be d*((-18)/(-15))/3. Which is greater: c or -0.1?
-0.1
Suppose -4*m - 8 = -6*m. Let s be -4 + -38*m/(-32). Let q = -0.03 + -5.97. Which is bigger: s or q?
s
Let t(l) = -2*l + 6. Let r be (-4 + 12/(-4))/(-1). Let o be t(r). Let x be o/6*(-3)/(-2). Is x at most -5?
False
Let q = -44 - -45. Is -26 less than q?
True
Let w(o) = -o - 1. Let z(j) = 8*j + 11. Let y(v) = 18*w(v) + 2*z(v). Let q be y(-6). Let n be 1/((-4)/q*-4). Which is smaller: n or 6/11?
6/11
Let i = -28 + 64. Let m be ((-2)/(-6))/(12/i). Is m smaller than -2/29?
False
Let g = -4 - -7. Suppose 2*n = 3*s - 2, -4*s + g = -2*n - n. Which is bigger: -4/17 or n?
-4/17
Let r = 11 - 10. Let b = -116 + 2089/18. Which is smaller: b or r?
b
Let l = -0.03 - 0.139. Do -1/2 and l have the same value?
False
Let m = -406/15 - -14992/555. Suppose -5*u = -3*t + 13, 0*t - 3 = -5*t - u. Which is bigger: t or m?
t
Suppose 0 = -w - 12*w + 26. Let l be (w/(-24))/(4 + -3)*-5. Do l and 0 have the same value?
False
Let j(k) = 7*k - 4. Let c be j(-6). Let l = c - -33. Let m = l + 24. Does 11 = m?
True
Let d be 3/(-12) + (-802)/(-8). Let n be (28/(-126))/(2/(-18)) - -98. Are d and n equal?
True
Suppose 0 = 2*m + 5*a + 42, -2*m + 2*a - 105 = 3*m. Is m greater than -21?
False
Suppose 4*z + 4*n = 6*n + 14, -3*z + 5*n = -14. Let f be ((-54)/z)/(-24 + 5). Is f smaller than 0?
False
Let w(t) = t + 5. Let h be w(-7). Let m = 35 + -31. Let c be (-2)/m + 7/(-6). Are c and h nonequal?
True
Let p(n) = 4*n**2 + 14*n - 30. Let f be p(3). Are -9 and f equal?
False
Let g be 4/(-34) + -7 + 242/34. Which is bigger: -318 or g?
g
Suppose -4*l = -4*q - 0*q - 20, -5*l = 4*q - 43. Let z be (-14)/56 + l/(-4) - -1. Is -2/9 greater than z?
True
Let j = -2888 - -3118. Which is greater: j or 231?
231
Let s = -1030 - -1053. Is 26 less than or equal to s?
False
Suppose -26*q = -25*q - 8. Let k be (-8)/10*(-15)/2. Suppose -2*w = -k*w + q. Which is greater: w or -2?
w
Let l be 16/6*(-27)/(-18). Suppose 5*f + 12 = -m, 0*m = -l*f - 5*m - 18. Suppose 7*y - 4*y = -3. Which is smaller: f or y?
f
Let i = -142 + 79. Let h = -72 - i. Which is smaller: h or 3/2?
h
Suppose 12*z - 5*z = -154. Let w(t) = -t**2 - 23*t -