e
Let o be -4 + (6/(-218))/(45/(-5826)). Let s = 4/109 + o. Which is smaller: -14 or s?
-14
Let n = -707 - -714.37. Let q = 7.17 - n. Is q at most 16?
True
Let a be (-13)/6 - (-3)/2. Let i = 799.8 - 758.8. Which is bigger: a or i?
i
Let q = -1197 + 1196.9. Which is smaller: -2/18151 or q?
q
Let c be -1 + -1 + 2 + 1. Let d be (-14)/(77 + -7) + (-38)/(-140). Which is bigger: d or c?
c
Suppose 3*j + 5*j = -93*j + 108272. Which is greater: j or 1071?
j
Let l = -2707 + 8134/3. Is l at least as big as 7?
False
Let s = 16 - -31. Suppose s*y - 45*y = 12. Is y at most as big as 8?
True
Suppose -p = -4*m - 13, 3*m = 118*p - 117*p - 8. Let s be 7/p*5*4/(-10). Which is smaller: s or -1?
-1
Let o = 240.511 - -0.489. Let v = o + -244.97. Let l = 0.23 - v. Which is greater: 2/3 or l?
l
Let s = 1.9 + -2.8. Let a = 8221 - 8221.04. Which is smaller: a or s?
s
Let a(u) be the first derivative of -u**2/2 + 6*u - 3. Let v be a(6). Suppose v = -3*p + 8*p. Do p and -1/6 have different values?
True
Suppose 3*a - 509 = -5*i + 554, 852 = 4*i + 4*a. Which is smaller: i or 213?
i
Let g = 954 + -1598. Let d = -633 - g. Is d at least as big as 75/7?
True
Let f be ((-141)/2)/((-54)/72). Let n be 704/(-3330) - f/(-423). Let v(s) = -s - 4. Let b be v(-3). Does b = n?
False
Let o = -5943 + 6218. Is o smaller than -51?
False
Let j be 10/8 - (-135)/(-540). Which is smaller: -28/131 or j?
-28/131
Suppose 2*t - 4*u + 590 = 0, 0 = -3*t - 3*u - 621 - 237. Let o = t + 1733/6. Does o = 1?
False
Let c be 1/6 + -7*(-4596)/(-186984). Is c > 0?
False
Suppose 36*d = 41*d - 30. Suppose 31 + 11 = -d*v. Let w(m) = m**3 + 8*m**2 + 8*m - 5. Let y be w(v). Is -12 less than y?
False
Suppose 2*s - 2*p - 142 = 0, 2*s + p = 25 + 114. Suppose 0 = -0*h + h. Does h = s?
False
Let t = 908 - 797. Suppose -118*n = -t*n + 21. Let x = 1/57 + -287/114. Do n and x have the same value?
False
Let r = -295.4 - -1070.4. Which is bigger: 0.3 or r?
r
Let w = 0.2 + -0.3. Let d = -1124 + 1045.7. Let r = d - -86.7. Are r and w equal?
False
Let k = 10384 - 10488.33. Let m = k + 1.33. Let f = m - -101. Which is bigger: -2.3 or f?
f
Let q = -10456 + 3147240/301. Which is smaller: q or 1?
q
Let s be -17 + -3 + 13 + 7. Let r = 3527/2850 + -45/38. Let m = 62/225 - r. Is m bigger than s?
True
Let c = -35.9 - -36.1. Suppose 3*t - 5*t = -28. Let j be 11/t + 8/16. Which is greater: c or j?
j
Let p(g) = g + 7. Let k be p(-24). Suppose -5*s + 23*s + 180 = 0. Is k smaller than s?
True
Let w = 0.11 + 0.09. Let j = -1.002 - -1. Let y = 0.002 + j. Is w > y?
True
Let l = 3320 - 139457/42. Let g = -1/6 + l. Let x = 199/336 + g. Is x at most as big as -1?
False
Let q = 165 + -169. Suppose 4*h + 16 + 4 = 0. Let j be -1*(q - 19/h). Is -0.11 at most as big as j?
True
Let c = 53 + 74. Let k = 99 - c. Is k > -25?
False
Let j(r) = 531*r**2 - 6*r - 25. Let z be j(5). Let l = 303992/23 - z. Which is bigger: -3 or l?
l
Let p be (-18)/(-4)*-45*(-1)/12. Let a = -2423.1 - -2423. Which is smaller: p or a?
a
Let u = -58532/5 + 12337. Which is smaller: u or 631?
u
Let g = 410 - 395. Suppose r = 2*s + 11, 23 = -2*s + g*r - 10*r. Is s greater than or equal to -29/10?
False
Suppose 22*u + 203 = 225. Are u and -19/98 non-equal?
True
Let m be 23 + 4 + (-1 - -2). Let t = 33 - m. Suppose -t*w - 8 = -6*w. Is 6 less than w?
True
Let i be (-1308)/8*(-2)/3 + -2. Let z = 108 - i. Suppose -z = -3*t + 2*b, 9 = -t + 6*b - 10*b. Which is greater: t or 3/91?
3/91
Let r(c) = -5*c**2 - 5*c + 6. Let b(t) = t**2 + t. Let h(a) = 4*b(a) + r(a). Let s be h(-3). Is 2/127 bigger than s?
True
Let b = 0.0893 - -0.1107. Is b less than 104/27?
True
Suppose -z = -y + 3, -y - 4*z = -24 + 6. Let b be (2*y)/((-52)/(-78)). Let x = -41 + 58. Is b less than or equal to x?
False
Suppose 0 = 9*c + 924 + 1686. Let s = 268 + c. Is s not equal to -22?
False
Let a = 16874.85 - 16873. Is 0.7 less than or equal to a?
True
Let w = 70046/27413 + -203/79. Is 0 less than w?
False
Let v = -2183/30321 + -7/3369. Which is bigger: 0.78 or v?
0.78
Let c be (-558)/806*(-8)/3. Suppose -9*d + 6*d = 0. Let p(y) = -y**2 - 3*y + 2. Let j be p(d). Which is bigger: j or c?
j
Let l be (-4 - -481) + 10 + -7 + -7. Is 471 smaller than l?
True
Suppose -2*b = -n - 9, 5*n + 0*n = -3*b - 19. Let q be ((-1246)/(-427) - 5) + b. Which is smaller: q or 1?
q
Let a(j) = -28*j - 190. Let s be a(-7). Let t be (-2)/s - (343/(-21) - -5). Are t and 5 nonequal?
True
Suppose 0 = -12*a + 2*z - 100232, -3*z = -4*a + 10637 - 44057. Is -8353 at most as big as a?
True
Suppose -2*t + 4*t = -16*t + t. Which is smaller: 2/16027 or t?
t
Let x(l) = -l**3 - 20*l**2 + 3*l + 65. Let n be x(-20). Let h be ((-6)/(-4))/(3/2). Let a be 0 + (n - 4) - (h - 2). Is a at most 1?
False
Let o = -19912/4291 - 3/1226. Let i = o - -155/14. Is i < 6?
False
Let o be -5 - 35916/(-73)*3/111. Which is smaller: 8 or o?
8
Let k = 11860 - 11783.99. Let w = -87.2 - -11.2. Let p = k + w. Which is greater: -2/3 or p?
p
Let u(j) = 600*j + 717. Let a be u(3). Is a smaller than 2518?
True
Suppose 16 = -14*w - 26. Suppose 33*m + 68 + 97 = 0. Is w greater than or equal to m?
True
Let y(p) = p**2 + 8*p - 7. Let o be y(5). Suppose 0 = -f - 2*f + 630. Let g = f + -153. Which is smaller: g or o?
g
Let v = 4922 + -4912. Which is smaller: v or -118?
-118
Suppose 5*i = -2*l + 1, -i + 3*i - 4 = -2*l. Let k be 5136/5712 - l/7. Let c = 3 - 2. Is k at least c?
False
Let w = -0.0516 - 37.9484. Is w at least 2/13?
False
Let v = -10031 + 10327. Is v greater than 2?
True
Let v = -247 + 144. Let t = v - -109. Suppose 4*k + t = 5*s, -5*k + 4*k = 4. Does 5 = s?
False
Suppose u - 2*q = 16 - 5, q = 2*u - 34. Suppose -v + 2 = 3*d - 12, v = 2*d + 24. Is u less than v?
True
Let f be 3/90*-4*-3. Let c = 20 - 16. Let y be (((-5)/c)/(-5))/(52/(-32)). Which is greater: f or y?
f
Let v = -2113/385 + -24/77. Let a = -280 - -274. Which is greater: a or v?
v
Let w = 26 - 13. Suppose 11*l - 10 = w*l. Let q be 2*l/1740*-4. Is q at most as big as 2/7?
True
Let u(w) = 2*w - 15. Let a be u(7). Let d(h) = -h**3 + 4*h**2 + 3*h - 14. Let m be d(5). Let l be 12/105*6/m. Are a and l non-equal?
True
Let x = -6463 - -14647. Let o = 2275149/278 - x. Is o != -1?
True
Let w = -1505 + 1504. Is w at least as big as 2/505?
False
Let a be (-3 - 220/(-70))*28. Is a at least 123/25?
False
Let v = 2 + -1.972. Let f = 0.158 - v. Do -4 and f have the same value?
False
Suppose 8*j = 4*p + 10*j - 18, 3*p - 26 = j. Let d be (p*12/(-126))/((-2)/345). Is 116 smaller than d?
False
Suppose 5*m = 35*m + 240. Let s = 33 + -7. Suppose 0 = -3*b + 3*p - 18, 5*b + 2*p - 3*p + s = 0. Is m <= b?
True
Let o be (1988/245)/((-2)/(-100)*(-16)/8). Are o and -204 unequal?
True
Let k = 93/172 + 9/43. Suppose -5*m + 5*v = -40, 0 = -m + 2*v + v. Let n be 22*1/m - (-17)/102. Is k < n?
True
Let x = 5.4 + -5.26. Let j be (27/96)/(-4*6/32). Is j at least as big as x?
False
Let r = -105628 - -73422. Is -32207 != r?
True
Let x = -1699 - -706. Are x and -0.01 nonequal?
True
Let q(n) = 12 + 38*n - 16*n - 21*n. Let f be q(-19). Let i be (3 + f + (-69)/(-18))*-1. Which is bigger: 0.2 or i?
0.2
Suppose -5*z - 26 + 111 = 0. Let w = 41 - 19. Suppose -w = -4*m + 50. Is z < m?
True
Let b = -0.94 + 2.03. Let f = b + -0.89. Let a = 2 - 1.85. Is a bigger than f?
False
Let o be (-38 - -9) + 12460/500. Suppose 0 = 3*n + 4*u - 0*u + 32, 3*n = 4*u + 8. Which is bigger: n or o?
n
Let u(o) = -o**3 - 5*o**2 + o + 1. Let s be u(-5). Let j = 6.12 - 6.2164. Let d = -0.0036 + j. Which is smaller: d or s?
s
Let h = -0.44 + 49.04. Let p = h - 48.3. Let q = 2357/15 - 157. Which is smaller: q or p?
q
Suppose -4*d = 2*o + 4 + 4, 0 = -5*o - 20. Suppose r + 2*l + 2 = d, -l = -5*r + l + 38. Let n be (r/7)/(99/(-63)). Which is smaller: n or -1?
-1
Let f = 122 - 112. Let x be 774/(-39) + 3 - f/65. Is x at least as big as -19?
True
Let m = 8702 + -8701.8. Is -161 at most m?
True
Let b(i) = 79*i + 2516. Let y be b(-33). Is -75 less than y?
False
Let l = 483/2 - 240. Which is greater: l or 33/4?
33/4
Let x be (-10274)/(-143) - 10/(-65). Let p be (-25)/((-100)/288) - (6 - 4). Is p greater than x?
False
Suppose -182 = -15*x - 182. Let f = -5221/11 - -474. Which is greater: f or x?
x
Let m(x) = -x + 11. Let p(b) = b**2 - 3*b - 7. Let k be p(9). Let q = k - 54. Let d be m(q). Is d at least as