he same value?
False
Let i(c) = -4*c - 6. Let y be i(-2). Let d = -3 + 7. Is d bigger than y?
True
Suppose 3*l = 3*n + 2*n - 1132, l = 4*n - 900. Let g be n/10 + 12/(-30). Let o be (-109)/(-5) - 20/(-100). Does o = g?
True
Let v(p) = -p**3 + 8*p**2 - p + 11. Let x be v(8). Let y be -1*(21 - x) - -1. Let j = 17 + y. Which is smaller: j or -20?
-20
Let j be (-1235)/4 + (-3 - (-30)/8). Let y = j + 1531/5. Which is greater: y or -0.2?
-0.2
Suppose -17*x = -16*x + 123. Is x not equal to -123?
False
Let i = -773 - -959. Which is greater: 185 or i?
i
Let t be 2/(-7) + 16/56. Let y = -3/1187 - 8240/27301. Which is smaller: y or t?
y
Suppose 4*m - 4*w + 9*w - 18 = 0, -10 = -5*w. Let o be -2 - (7/(266/(-232)) - -4). Let t = o - -15/38. Is t > m?
False
Suppose 27*g - 3 = 26*g. Suppose 0 = g*u - t + 6 + 5, 3*u + 3*t - 9 = 0. Is u >= -4/5?
False
Let v(x) = x**3 + 3*x**2 - 4*x + 4. Let b = 0 - 4. Let m be v(b). Let c = m - 11. Which is smaller: c or -6?
c
Let k = -13 + 18. Suppose k*y = c - 0*y + 28, 3*y = 9. Suppose 2*p = -2*n + 6, 2*n + 2*n + 2*p - 4 = 0. Is c at most as big as n?
True
Suppose 7*l - 45 = -5*o + 3*l, 2*o = -2*l + 20. Let w(g) = -7*g - g**2 + 13*g - o*g + 4 - 5. Let p be w(2). Which is bigger: p or 1?
1
Let b = 1.5 - -0.5. Let x = 51.64 + 0.36. Let w = x - 48. Is w smaller than b?
False
Let r(b) = -b**3 + 5*b**2 - 4*b + 4. Let l be r(3). Let c(o) = o**3 - 4*o**2 - 3*o + 1. Let f be c(5). Is l less than f?
True
Suppose -5*u = 2*o - o - 17, 2*u - 14 = -4*o. Suppose 2*v = 3*y - 15, -4*v + 4*y = 16 + 4. Do v and u have the same value?
False
Let w be 2 - (4 - 1 - 6). Suppose -5*m - w*a = -20, 5*m = 3*a + 3 + 33. Let y be (m/33)/(2/3). Are -1 and y unequal?
True
Let s(h) = 3*h**3 + 16*h**2 - 2*h + 7. Let j be s(-5). Is 8 less than j?
True
Let s = -0.0405 + 0.2405. Which is greater: 49/4 or s?
49/4
Suppose -r = -2*h + 4, -4*h + 2*r + 16 = -2*r. Suppose x + 5 + h = 0. Let z be 3 + (x + -1 - 0). Is z > -3?
False
Let u be (-20)/8 + 1 - -1. Which is greater: -0.0345 or u?
-0.0345
Let l = -329 - -332. Which is greater: 6 or l?
6
Suppose -4*b + 53 = 5*m + 40, 5*m = 3*b - 1. Let s = -232783957/355 - -655730. Let u = s - -4/71. Which is smaller: u or m?
u
Suppose 3*o + 548031 = -155496. Let q = o + 4218911/18. Let p = q + 125. Which is smaller: p or -1?
-1
Let y(s) = -7*s - 23*s - s**2 + 2 + 7*s - 6*s. Let j be y(-29). Which is smaller: j or 21/11?
21/11
Let f = 7 - 5. Let t be (2295/(-18))/(-5)*8/(-6). Is f bigger than t?
True
Let u = -960619/5364 + -81/596. Let q = -179 - u. Which is smaller: q or -1?
-1
Let q be 783/(-44) - 126/(-231). Is q > -18?
True
Let x be -3 - -1 - (6072/649)/(-6). Which is greater: x or 1?
1
Let f be (-1)/(-3) + 14/(-6). Let l = -4.08 + -0.32. Let c = 4 + l. Is f at most as big as c?
True
Let y = 93 + -7904/85. Let o = -417/680 - y. Which is bigger: o or -0.3?
-0.3
Suppose 0 = -2*s - 8, 4*d + 254 = -d - s. Which is greater: d or -47?
-47
Let u(a) be the third derivative of 1/8*a**4 + 1/2*a**3 - 2*a**2 - 1/120*a**6 + 0 + 0*a + 0*a**5. Let g be u(-2). Is g at least as big as 4?
True
Let c be (-3 - -2)/((-405)/195). Which is smaller: c or -1?
-1
Let v = 145 + -98. Suppose v*x = 43*x - 4. Is x smaller than 23?
True
Let j = 21 + -16. Let i be (-5)/(-2)*(-4)/j. Let v be 0/(i/6*3). Which is bigger: v or 4/3?
4/3
Suppose 56 = -5*g - 409. Let u = -61 - g. Is u smaller than 33?
True
Let d = 34310/11 + -3120. Let w be (1/1 + -1)/(-2). Which is greater: d or w?
w
Let v = -19.56 - -19.2. Which is bigger: v or -0.1?
-0.1
Suppose 15 = 2*a - 89. Suppose -v + a = 3*v - 3*l, l = 5*v - 76. Let z = -249 - -263. Is v smaller than z?
False
Let z(g) = -3*g - 2. Let q be z(6). Let r be (3 + (q - -4))/(-1). Which is smaller: 14 or r?
r
Let a = 1371 - 2509. Is -1137 greater than a?
True
Let h be 20/6*12*15/(-50). Let o = -17 - h. Which is bigger: -1 or o?
-1
Suppose -9*y - 1200 = -24*y. Suppose -8*x - y = -12*x. Is x >= 23?
False
Suppose 0 = 5*g - 2 + 7. Let n = 3 + g. Let l = n + -13. Is l less than or equal to -11?
True
Suppose 12 = 10*t - 12*t - 2*u, 3*t = 2*u + 7. Do 16/79 and t have the same value?
False
Let x = 2.93 - 3.014. Is 0 less than or equal to x?
False
Suppose 2*d + 2*p + 18 = -64, -76 = 2*d + 5*p. Suppose -r - 57 = -3*s, 4*s + 0*s + 64 = -2*r. Is d >= r?
False
Let d be ((-45)/2)/((-7)/70). Let a be 22/90 + (-100)/d. Which is bigger: a or -36?
a
Let m(z) = z**3 - 27*z**2 + 24*z + 53. Let u be m(26). Which is smaller: -4/89 or u?
-4/89
Suppose -2005 = 19*g - 314. Is g smaller than -88?
True
Let o(q) = -2*q**3 - q**2 + 5*q - 2. Let j be o(2). Let c be (j/(-30))/((-4)/10). Is -4 > c?
False
Let d be ((-1)/(-10))/(5/(-730)). Is -16 > d?
False
Let r = 8 + -5. Let c = 15 - 14.87. Let f = -3.13 + c. Which is smaller: r or f?
f
Let r = 1 + -10. Let z = -30 + 27. Which is smaller: z or r?
r
Let c = -6.253 + 0.153. Let p = 6.3 + c. Is p > 0.25?
False
Let b be ((-3)/(-2))/(495/(-44)). Suppose -2 = -13*g + 11*g. Suppose 4*w = 3*w - g. Is b greater than or equal to w?
True
Let k = -53 + -99. Does k = 1/3?
False
Let d = 127 - 127.01. Is -0.1 > d?
False
Suppose 0 = -4*c - 42 + 234. Let t be (2/4)/(12/c). Let q = 3 + t. Which is smaller: 7 or q?
q
Suppose -2 = 6*l - 4*l, -5*t = -4*l - 4. Is t at most as big as 2/151?
True
Suppose j = -0*r + 4*r + 21, -5*r = 20. Suppose 2*s = -2*k - 38, -7 + 22 = j*k. Is -21 at least as big as s?
True
Let k = 1388 + -1387. Let m = 6 - 31/5. Is m <= k?
True
Let l = 2 - 19. Let i = l - -17.2. Is i smaller than -2?
False
Let f be 12 - 3132/24 - 2/(-4). Is f != -119?
True
Let d = 243 + -173. Which is smaller: d or 71?
d
Let n = 109 + -130. Which is smaller: 9 or n?
n
Let x be (-46 - (4 + -2)) + 1*-1. Let g = x - -53. Which is smaller: -2/11 or g?
-2/11
Let x = -17.71 + 18. Let u = x + -0.48. Let a = -0.29 - u. Is -9 smaller than a?
True
Suppose 2*f + 4 = 0, 4*f - 50 = 5*z + 22. Which is smaller: -47/3 or z?
z
Let i be 178 - (0 + 3 + -1). Suppose 56 = 3*k + i. Let w be (-64)/k + (-2 - 0). Which is smaller: w or -1?
-1
Let x = 3087 - 2102. Do x and 986 have different values?
True
Let x = -0.24 - -8.24. Which is bigger: -5/6 or x?
x
Suppose -2*o + 0*o = -34. Suppose -4*u = -5*l + 2 + o, 4*u = 4*l - 16. Let g be (-2)/(l + -2) - -3. Is 1/5 less than g?
True
Let f = -188 + 184. Is f greater than 0.07?
False
Let t be (-1)/(-1*(-3)/(-15)). Suppose -2 = 3*r - t*r. Let q = -413 - -5370/13. Is q at most as big as r?
True
Let x = -509.21 - -509. Which is smaller: 3 or x?
x
Let o = -2.8 + 2.7. Which is greater: o or 2/157?
2/157
Let y be 40/60 - (23/(-11) - -2). Which is smaller: y or 0?
0
Suppose 41*f - 29*f = -432. Which is smaller: f or -37?
-37
Suppose 39 = 2*t + 2*q - 7, -5*q - 105 = -5*t. Let o = t + -19. Let m be o/(-2)*(-4)/51. Which is smaller: m or 1?
m
Suppose -5*p + 0 = -4*i - 17, 5*p + 10 = -5*i. Is 2/171 not equal to p?
True
Let p = -75 - -66. Suppose -38 = 5*j + 12. Is j at most as big as p?
True
Suppose 0 = 4*l + 2*m - 26 + 10, 3*l + m = 10. Suppose -l*u + 6*u - 16 = 0. Suppose -u*x + 8 + 4 = 0. Do 1 and x have different values?
True
Let f be ((-2)/6 + 1)/(22/33). Which is smaller: f or -4?
-4
Let z = 62.4 - 62. Let r = z + -7.4. Which is smaller: r or 2/7?
r
Suppose 2*b = -3*b + 115. Let k = 53 - b. Suppose 3*q - 2*f = -23, -3*q + k = -5*q + 5*f. Which is greater: -6 or q?
q
Let t be 4/(-12) - (-2747)/123. Which is bigger: 144/7 or t?
t
Let m(n) = n**2 + 3*n - 209. Let w be m(13). Let b = 1873 - 320285/171. Is w <= b?
True
Suppose -4*w = -3*w + 26. Suppose 158*o + 522 + 110 = 0. Does o = w?
False
Suppose 0 = -r - 0*t + 3*t + 14, r - 4 = t. Which is smaller: 2/373 or r?
r
Let b = 73102399/2240 - 32635. Which is bigger: b or 0?
0
Let f(k) = k**3 - 3*k**2 - 5*k + 6. Let i be f(4). Let u be (-7 - -5) + i/(-2). Let c = u + 5. Is c greater than 1?
True
Suppose -3 = -r + 3*p, 4*r - 3*r - p = 5. Suppose 3*q - 2 = -2*g, -r*q + 4*q + g = -13. Suppose 5*f + i + 13 = -q, f - 3*i - 3 = 0. Does -1 = f?
False
Let r be 10 + 0/(12/3). Which is greater: r or 154/15?
154/15
Let w be (182/(-3))/(11 - (-96)/(-9)). Are -179 and w nonequal?
True
Let w(o) = -30*o**2 - 2. Let n be w(-1). Let f = -44 - n. Do -12 and f have the same value?
True
Suppose -42 = -4*v - 102. Let a = v - -12. Is a at least 1?
False
Let i = -0.17 + 0.27. Let n = 5.2 + 4