ller: -29/31 or m?
-29/31
Let s = -5.95 + 6.13. Let v be (-1 + 1)*2/4. Is v not equal to s?
True
Let o = -3370 + 3260. Do o and -101 have the same value?
False
Let n = -685.09 - -685. Is 9/4 less than n?
False
Let m be (-5)/((105/6)/(-7)). Suppose -4*a + 66 = -m*v, 5*a - 4*v - 95 = v. Let h be ((-150)/a)/3 - -3. Are h and -2 non-equal?
True
Let b be ((3 + -4)*1)/2. Which is greater: -286 or b?
b
Suppose 3*l = k + 530, -l + k + 166 = 6*k. Suppose -56 = 4*t - 4*c - l, -5*c = -t + 26. Is t <= 31?
True
Let f be (-10)/(8/50*(-10)/4). Let b = f + -30. Is b bigger than -6?
True
Let h(r) = -31*r + 32*r + 19*r**2 + 12*r**2. Let j be h(-1). Which is greater: j or 32?
32
Suppose 3*d - 50 = -2*h, -3*d + 6*d + 4*h = 52. Suppose 4*o = d*o + 564. Is -47 greater than or equal to o?
True
Suppose 4*t = 4*d - 3564, t - 3552 = 5*t - d. Let v = 4414/5 + t. Which is greater: -3 or v?
-3
Let r be (42 - -2)*(-4)/(-12). Let k = r + -226/15. Let a = 370 + -370.07. Is a smaller than k?
False
Suppose -2*o + 5*m = 3352 + 469, 3*o - 2*m + 5704 = 0. Let r = o - -5623/3. Is r <= -25?
False
Let g(c) = -62*c + 8. Let s be g(-3). Is 195 less than s?
False
Let z(j) = -j + 1. Let s be z(2). Let n(f) = 17*f**2 - 7*f - 8. Let d(i) = i**2 - i - 1. Let t(y) = -6*d(y) + n(y). Let u be t(s). Which is greater: 9 or u?
u
Let r(m) be the first derivative of -m**3/3 + 13*m**2/2 + 4*m + 7. Let z = 9 - -3. Let p be r(z). Is p at least as big as 17?
False
Let s = -171265/222 - -1543/2. Is 1 smaller than s?
False
Let m = -1061722136 - -166689772784/157. Let q = m + 3838. Which is smaller: -1 or q?
-1
Suppose 1 = 5*q - 24. Let h(d) = -11*d - 3. Let g be h(-1). Let k be 1/(-2) + 52/g. Is k > q?
True
Suppose -3*v + 2*m + 19 = -7, -3*m = 3*v - 21. Suppose -g - 2*a + v = 3*g, -16 = 4*a. Suppose -4*c = -4*l - 4, g*c + 3 = -5*l - 2. Is 0 less than c?
False
Suppose 0 = -4*d - 2*y + 160, 1 = d + y - 39. Let l be 18/(-27) - d/(-66). Which is greater: l or -1?
l
Suppose 63 = -0*n + 3*n. Suppose 19*k = 75*k - 1232. Which is smaller: k or n?
n
Let s = 2 - 1. Let c = 1/175 - 27/350. Which is bigger: c or s?
s
Suppose -j = -5*a + 150 + 53, a - 388 = 2*j. Is -192 < j?
False
Let l = 24.62 - 25. Let j = 0.28 + l. Is -4/7 >= j?
False
Suppose y - 1 - 12 = -2*b, 5*y + 4*b - 41 = 0. Suppose -6*i + i + y = 0. Let r be i/(-28) - 4/(-14). Which is bigger: r or -1?
r
Let q = -9217/280 - -1224/35. Let x = -21/8 + q. Which is bigger: x or 0?
0
Suppose o = 2, 4*o = -6*d + 4*d + 20. Suppose -23 = -5*w - s - d, -s + 14 = 4*w. Suppose -3*t - 1 = -5*f - 2, -2*f + w*t + 5 = 0. Which is bigger: f or -3/4?
-3/4
Let w(g) = g**3 + 4*g**2 + 6*g. Let d be w(-4). Which is bigger: d or 5?
5
Let p = -1988 + 1989. Which is greater: p or 6/23?
p
Let w be -2 + 222 + (18 - 15). Is 227 less than w?
False
Suppose 12*o - 14*o + 26 = 0. Let d be (-2)/13 + (-76)/o. Which is smaller: -5 or d?
d
Let t = 78 - 45. Let q = -33.14 + t. Let o = q + 0.15. Are o and 0 non-equal?
True
Let w = 0 - 0. Suppose -5*h = 2*u - 541, -u + h - 12 = -265. Let q = 3352/13 - u. Which is smaller: w or q?
q
Let p = -1.4 + 1.5. Let l = 0.05 - p. Let w = l + -0.05. Which is smaller: w or 2/11?
w
Suppose -57 = -3*d + 81. Which is greater: 47 or d?
47
Let l = 9.6 + -9.8. Does -21 = l?
False
Let f(g) = -15*g + 123. Let o(q) = 23*q - 184. Let x(u) = -8*f(u) - 5*o(u). Let k be x(13). Do -7 and k have different values?
True
Let k be -1*(-8)/28 + 410/(-112). Which is bigger: -4 or k?
k
Let t = -4/19 - 4449/76. Which is smaller: t or -59?
-59
Suppose 2*s - 6*s + 8 = 0. Let u(f) = -f**2 - 12*f - 34. Let h be u(-5). Does s = h?
False
Let x(u) = -u**3 - 8*u**2 - u - 1. Let i be x(-8). Suppose 7*l - i = 3*l - g, 2*l = -3*g + 11. Let d be (2 - (0 - -1))/l. Is -2/21 greater than or equal to d?
False
Let z = -1390/9 - -34624/225. Let b = -125 + 125. Is b greater than z?
True
Let x = -32 + 54. Let r = x + -15. Is r greater than 52/7?
False
Let w be -1 + (-1 - 3/(-1)). Let v be (219/1022)/(21/8). Is v less than or equal to w?
True
Let o be ((6/(-4))/((-4819)/366))/5. Do 1 and o have the same value?
False
Let w be (-4*3/(-18))/((-7)/(-3)). Is w greater than or equal to 2/27?
True
Let k be (2 - 2) + 1 - -3. Let b be (k + 1 - -1) + -2. Are -1 and b equal?
False
Let r = -2953 - -203761/69. Which is bigger: r or 1?
1
Suppose -3*h = -h + h. Suppose 4*y - 13 = 3*p, h = 3*p + p + 5*y + 7. Is p greater than -5?
True
Let u = 882.42 - 881. Is 1 > u?
False
Let p(r) = -r + 1. Let c(k) = 2*k - 1. Let d(z) = 6*c(z) + 13*p(z). Let b be d(4). Which is smaller: b or 0.04?
0.04
Let y(k) = k**2 + 6*k + 3. Let n be y(-5). Let q be ((-24)/(-9))/n - -1. Let j = -0.22 + 0.62. Is j <= q?
False
Let b be ((-2)/4*-34)/(-1). Let r = -18 - b. Let f = 496 - 2983/6. Which is smaller: r or f?
f
Let y = 61 - 59. Let h be -4 - y*2/16*4. Is h < 3?
True
Let a = -70 - -57. Which is smaller: a or -9?
a
Let s(g) = 10*g - 267. Let f be s(27). Let t be ((-6)/(-8))/(1/(-4)). Let o = 2 + t. Is o greater than or equal to f?
False
Let y be 1*(0 + 2) - 2. Let t = -16.062 - -0.062. Let x = t + 6. Which is smaller: x or y?
x
Let g be (-256)/(-1650) - (-2)/(-11). Let s(a) = 6*a**2 + a. Let w be s(1). Suppose 0 = n + w*n. Is n >= g?
True
Suppose -8*m + 13*m - 4*v - 548 = 0, 5*v = -10. Is m greater than 104?
True
Suppose -2*v - 5*q + 3 = 8, -35 = 5*v + 5*q. Let g = 60 - 299/5. Which is greater: v or g?
g
Suppose -3*y = 4*f - 386, y = 5*y - 4*f - 468. Let k be (-3 + 365/y)/(35/(-28)). Do k and 1 have different values?
True
Suppose -5 = -5*f + 4*s, f + s = 5*s + 1. Which is bigger: f or 1/904?
f
Suppose 0 = -39*y - 4253 - 7798. Which is bigger: -307 or y?
-307
Suppose -55 = -3*d - 58. Does d = -1/492?
False
Let y(s) = -s**3 - s**2 + s + 1. Let j be y(-1). Let g be 31/(2387/(-814)) - -9. Is g at most as big as j?
True
Let v = 36 - 30. Let f(k) = -k + 6. Let z be f(v). Is z <= -3/25?
False
Let w = -2 + 11. Let x = w + -9. Let b = 0.2 + x. Is b at least 1?
False
Let l = -3145/6 - -3143/6. Let o = 287/3399 - -2/309. Which is smaller: o or l?
l
Let w(a) = 14*a**2 + a + 2. Let s be w(-1). Let r = s + -20. Suppose 2*t - 4*y - 8 = 0, 4*y = -2*t + y - 20. Do t and r have different values?
True
Let a be 2 + 0 + (-1 - -5). Let h be (-9)/a - (-63)/14. Suppose 5*d - l = -0*l - h, -4*d + 12 = 4*l. Is d smaller than 0?
False
Let o = 290/11 - 9313/352. Which is smaller: o or 2/9?
o
Let g = -104.808 + 0.808. Which is smaller: 0 or g?
g
Suppose 144 = 5*d - 241. Let o = d + -88. Is -12 at least as big as o?
False
Let h(i) = -615*i + 9. Let y be h(-1). Is 622 less than y?
True
Suppose -14 - 21 = -5*q - 5*n, -5*n + 15 = -5*q. Let d(i) = 10*i**2 - 5*i + q*i - 6*i - i**3. Let s be d(9). Is 2/7 less than s?
False
Let t = 12687910/9 - 22901687387/16245. Let h = t - -2/361. Is 0 <= h?
False
Let l be (-1983)/21 - 9/(-21). Is l at most as big as -92?
True
Let r = 28 + -40. Let q be (2 - 1) + 0 + -13. Is r less than q?
False
Let u = -29/6 - -16/3. Let o = -1.3 + 1.29. Let t = o - -0.51. Is t greater than or equal to u?
True
Let s(a) = 2*a**2 + 15*a - 10. Let b be s(-13). Let f = b - 8647/65. Is 1 greater than or equal to f?
True
Let r = -2467 + 2483. Which is bigger: r or -7.3?
r
Let n be -2 + (3 - 1201/(-600)) - 3. Which is bigger: 0 or n?
n
Let f be (15/4)/(-1 + 12/16). Let n be 6/10 + (324/f - -4). Is n smaller than -17?
False
Let i = 14 + -13.85. Let h = i + -0.29. Let u = h + 0.24. Which is smaller: 4 or u?
u
Suppose -y - 2*y - u - 7 = 0, 5*y + 5 = -3*u. Let l = -771 + 768. Which is smaller: y or l?
y
Let t(f) = -f**3 + f**2 - f. Let z be t(0). Suppose 9 = 3*k - z. Let y = 2 - k. Is 0 less than or equal to y?
False
Let n(a) = a**3 - 10*a**2 + 8*a + 11. Let x be n(9). Let d be (-30)/(-12) + 1/(x/(-3)). Is d bigger than -1/18?
True
Let y = -67.7 + 53.7. Which is smaller: 0.11 or y?
y
Let c = 267/2695 + -2/245. Suppose -2*n = -0*n + 2*w, 3*n - 4*w + 7 = 0. Let l be 3/6*((-2)/n - 4). Is l < c?
True
Let l = -1 + -3. Let p = 376 - 757/2. Is p bigger than l?
True
Let u be 2/30*25/(-20)*-2. Let p = -4 + 4. Do u and p have different values?
True
Let y be 3/(-15)*(-20)/(-88). Suppose 6*x = -3*x - 9. Does y = x?
False
Let j be 364/42*18/(-4). Let q = j + 25. Let b be (2/(-40))/(q/(-16)). Which is bigger: b or -1?
b
Let t = -0.0462 - -0.0662. Which is smaller: 81 or t?
t