
Let x be ((24999/25)/(-13))/((-2)/10). Is 385 > x?
True
Let f(a) = a**2 - 7*a**2 - 5 - 12*a + a**3 - 4*a**2. Let s be f(11). Suppose 36 - 6 = -2*z. Which is smaller: s or z?
s
Let q = -1781 + 1781. Which is smaller: q or 0.15?
q
Let m be (-21 - -8)/39*0. Which is smaller: m or 2/16069?
m
Let q(u) = -u**3 + 6*u**2 + 3*u + 6. Let g be q(7). Let t = g + 21. Is 1/23 at most as big as t?
False
Let z be 184/(-14) + 2/14. Are z and -2/73 non-equal?
True
Let f be (3/(-13) + 2)/((-1668)/(-6672)). Suppose 1 - 25 = -3*i. Is f not equal to i?
True
Suppose -53*q + 75 = -48*q. Suppose 0 = 3*z + 3*t + q, 4*z - 2 = 5*z - 2*t. Which is bigger: z or -6?
z
Let t = 41.69 + 1.31. Let p = 37 - t. Which is smaller: -1 or p?
p
Let u be (56/308)/(4/(-22)) + 87/90. Let r = -6.14 + 0.14. Is u >= r?
True
Suppose 6*c - 10 - 44 = 0. Suppose -24 = -3*g - c. Suppose -3*u - 106 = -n - g, -u - n - 31 = 0. Is u != -33?
False
Let k be (-33)/(-187) - 10/(-714). Is -2 at most k?
True
Let o = 1353.09 + -53.09. Is o not equal to 0?
True
Suppose 675 = 4*z + 5*z. Suppose -z = 3*y - 12. Which is smaller: 1/7 or y?
y
Let c = 5228 - 5228. Which is greater: -35/61 or c?
c
Suppose 2*z - 3*f = -38 + 39, -3*z - f = -7. Suppose 5 = 4*i - 11. Suppose -z*c = -i*c - 6. Is -1 at most as big as c?
False
Suppose 2267*l - 392 = 2323*l. Is -97 bigger than l?
False
Let n(l) = 7*l + 3. Let p be n(7). Let w be (-2 - 9)/(-11) - -292. Suppose -289*a = -w*a - p. Which is smaller: a or 2/3?
a
Let g = 256.551 + -269.49. Let t = g - 0.061. Let y = t + 11. Which is bigger: y or -1?
-1
Let d = 25 + -26. Let n be d/1 + (-242)/(-22). Suppose -w - 5*m - 22 = 0, -w + n = -5*m + 2*m. Is 0 greater than w?
True
Suppose -8 = 3*t - 23. Let c be 1*(t + -4 + -1). Suppose c = l + 4*x + 11, 5*x - 2*x = -3. Is 3 < l?
False
Let j = 1/1371 + 1480673/9597. Let h = -154 + j. Are h and 7 nonequal?
True
Suppose -l = 3*h + 1354, 2*h - 5 = -3*h. Which is bigger: l or -1359?
l
Let z be (-70)/12*(1518/154 - 11). Which is smaller: 7 or z?
z
Let i be (-13)/(-1)*(-280)/((-45)/(-9)). Let a be 1/((-3647)/i - 5). Which is smaller: a or 105?
a
Suppose 0 = -a + 4*y + 4, 6*y - 3 = 9*y. Is 2/1849 less than a?
False
Let h(l) = -3*l**2 - 128*l - 37. Let t be h(-11). Which is smaller: 1007 or t?
1007
Let u(y) = y**2 + 61*y + 457. Let c be u(-70). Is 1090 != c?
True
Let q = 185 - 112. Let h = -62 + q. Is 41/4 < h?
True
Suppose -4*v + 342 = 4*f - 462, f = 4*v - 799. Let n be ((-4)/v)/(2/15*-69). Which is smaller: 1 or n?
n
Let t be (154/(-121))/(10/(-110)). Let m(h) = -h**2 + h - 4. Let b be m(0). Let r be t/b*2 + 12/3. Is r at most as big as -4?
False
Let o be (-3 - (-2384)/796)*(5 + (-372)/78). Is 1 greater than o?
True
Let x = 239/56 + -1/56. Let i be (-154)/(-72)*-11*54/(-198). Let l = x - i. Do -3 and l have different values?
True
Let f = 2.88 - -1.2. Let y = -0.08 + f. Let h = -253 + 242. Is h at most y?
True
Let y(r) = 12*r + 144. Let c be y(-12). Let z = -64943/8 - -8075. Let g = 43 + z. Is g at least as big as c?
True
Suppose u + 2*u = 0. Let x = -148087/5 - -29618. Is x >= u?
True
Let h = 11 + -37. Let r = -12 - h. Let p = 5345/3 - 1782. Is p equal to r?
False
Suppose 20 = 9*m - 34. Let o be (3 + 1)*(105/m + 1). Let k = -75 + o. Do k and -1/2 have the same value?
False
Let x be (3/(24/(-13712)))/(22/18 + -3). Which is smaller: x or 963?
963
Let l = -0.94 + -80.06. Let g = l + 131. Let c = -49 + g. Is c < 20?
True
Let m = 307.6 + -308.6. Are -1382 and m unequal?
True
Let s = 58 - 56. Let j = -5085539/8 + 634636. Let f = 1058 + j. Is s bigger than f?
True
Let s = 47 - 47.67. Let m = 0.98 + s. Let t = m + -0.11. Is 0.8 at least as big as t?
True
Let t(g) = g**2 - 7*g - 3. Let m be t(7). Let y = 52/147 + -6910/19257. Let w = y - 5492/1965. Which is greater: w or m?
w
Let y be -2*(-36)/(-156) + 20052/43953. Is 0 != y?
True
Let r = 7624 - 7621. Let w = 21 + -15. Is r >= w?
False
Let j be (-15)/(-3) + 0 - (-8 + 8). Suppose v - 5*o = 24, j*v - 17 + 1 = -o. Which is bigger: v or 46/17?
v
Suppose 2*s = -5*t + 124, -t - 4*s + 40 = t. Suppose i - 32 = -g, -5*i - 43 = -2*g - 4*i. Which is smaller: t or g?
g
Suppose -12 = 105*d - 99*d. Let u be (d - 2193/(-1098))*4/(-3). Which is smaller: u or -1?
-1
Let j = 5 - 0. Suppose -5*z + 4*c = -25, -3*c - 14 = j*z - 4*z. Suppose -m = -3*b + 3 + 3, -3*b + 6 = -4*m. Which is bigger: b or z?
b
Let r be (-37)/((-6113954)/43824) - 4/14. Which is smaller: 0 or r?
r
Let z = -0.43 - -16.43. Suppose -5*i - 68 = -3*m, -4*i - 3 = m - 20. Let x = m - 22. Is z smaller than x?
False
Let z = -46/7 - -152/21. Let k(w) = -w**3 + 34*w**2 + 34*w - 36. Let i be k(35). Which is smaller: z or i?
i
Let h = 216096 + -1503595971/6958. Do 1 and h have the same value?
False
Suppose -11*n + 237 = 28. Suppose z - n*z + 90 = 0. Does z = 5?
True
Suppose -z = 4*g - 363, -2*z - 124 = 4*g - 846. Are 364 and z unequal?
True
Let s = 49 + 4. Let t be (14/((-840)/(-972)))/(27/90). Is s at most as big as t?
True
Let f = -1369/11475 + -28/425. Let v = -25881 - -7686706/297. Let h = v + f. Is h not equal to -1?
True
Let g = -647/10 + 1961/30. Which is greater: -24/7 or g?
g
Suppose 1932*s - 1935*s = 411. Is s >= -139?
True
Let o = -1636/1105 + 58/65. Let m = -123/238 - o. Suppose -2*j + 10 = 4*r, -4*j = -j + 5*r - 12. Which is smaller: m or j?
j
Let k(h) = -2*h**3 + 81*h**2 - 61*h + 872. Let f be k(40). Which is greater: f or 28?
f
Let f(x) = -7*x**3 - 2*x**2 - x - 1. Let o(l) = 6*l**3 + 2*l**2 + 2*l + 2. Let i(j) = -2*f(j) - 3*o(j). Let y be i(-1). Which is smaller: -5/4 or y?
-5/4
Let s = 35311 - 35311. Which is bigger: s or 21869?
21869
Let h be (151464/27)/(9 - 11). Let a = h + 2808. Do -1 and a have different values?
True
Suppose -4*f = 2*z + 8, -2*f = -3*z - 7*f - 13. Let w be 476/(-24) - (1 + 5/z). Let n = w + 14. Is -27/4 <= n?
True
Suppose 13*v - 10*v = 12. Suppose v*r + 49 = 5*u, u = -2*u + 15. Suppose 2*m + 21 = -5*i, -3*i + 2*m + 0*m = 19. Which is smaller: i or r?
r
Let v = 11.67 - -0.33. Let q = v - 12.35. Let k = 0.45 + q. Is -2/7 <= k?
True
Let t be 4/(-3)*8844/88. Do -129 and t have the same value?
False
Suppose 0 = 1376*d - 1437*d + 61. Is d < -6/241?
False
Let m(p) = -p**3 - 10*p**2 - 6*p - 1. Let f be m(-11). Let a = f + -187. Is -1/50 equal to a?
False
Suppose 4*x + 0*x = 3*y + 8, x - 3*y - 2 = 0. Suppose 0 = -x*b + b + 12. Suppose 0 = -7*i + 10*i - 33. Is b equal to i?
False
Let o = -1139024/204795 + 4/4995. Which is smaller: -5 or o?
o
Suppose -48*p - 10190 = 9293 - 283. Which is smaller: -407 or p?
-407
Let t be (24/90)/((-200)/(-1500)). Let x = 17 + -7. Suppose x = t*n - 44. Which is bigger: 28 or n?
28
Suppose 2*z = a + 14, -2*a + 1 = -a + z. Let n be 49/(-10) + ((-42)/35)/(-3). Which is bigger: n or a?
a
Let u = 10836 - 10630117/981. Is 3 at most u?
False
Suppose y + 4*y + 5 = 0. Let t be ((-2)/74)/((25 - 14)/66). Which is greater: y or t?
t
Let r = 117 + -117.159. Let y = r - -0.319. Are 0.2 and y non-equal?
True
Let r be (-240)/(-66) - (8 - 4). Which is smaller: -78 or r?
-78
Let b = 10.1522 + 1.2478. Which is smaller: b or 6.4?
6.4
Suppose s + 2 = -2*x + 1, -x = 4*s + 4. Let i = x + 3. Suppose -51 = -3*r - 3*b, -4*r + 2379 - 2386 = -b. Which is smaller: r or i?
r
Suppose 0 = 3*b + 109 - 1. Let w be (-162)/b*8/(-12). Are w and -13/5 non-equal?
True
Suppose 2*u = 12*u - 70. Suppose -32 = -5*w + 4*x, -5*w + u + 16 = -x. Suppose w*t - 5*a - 1 = 0, t = -0*t + 2*a - 2. Which is bigger: 2 or t?
t
Suppose 81*i - 6 = 75*i. Let j = 1278 + -324615/254. Let w = j - -783/1778. Is i <= w?
False
Let z = 191505 + -191512. Let a = -0.21 + -9.79. Is a greater than z?
False
Suppose -3*i = 4*t - 4*i + 860, 5*i = t + 196. Let d be 133 + 43/(-8) + (-81)/t. Which is smaller: 129 or d?
d
Let n(a) = -2*a**3 - 22*a**2 + 3*a + 33. Let g be n(-11). Suppose 3*q + 5*r + 79 = g, 0 = 5*q - 5*r + 79 - 14. Suppose -4*j + 17 = -5*j. Is j less than q?
False
Suppose -531*w + 382 - 21 + 170 = 0. Which is bigger: -32/317 or w?
w
Let n = 107 + -101. Let b(i) = 2*i**3 - 9*i**2 + 7*i - 15. Let w be b(6). Let j be n/220*w/(-162). Is j >= 1?
False
Let g(f) = f**2 + 17*f + 48. Let r be (180/50)/(15/(-50)). Let j be g(r). Is -13 <= j?
True
Suppose 1364 = 5*c - a + 224, 4*c = -4*a + 912. Let r = 220 - c. Let k be (-40)/(-6)*12/(-10). Is k at most as big as r?
Tr