is smaller: x or v?
v
Suppose -2*n - 4*h = 54, 3*n + h + 153 = -2*n. Suppose -2*u - 87 = 5*f + 62, 3*f = u - 96. Is n at least as big as f?
True
Let q = -11.51 + 0.51. Is 11/4 greater than q?
True
Let a be (-8 - -5)/9*(1 - 55). Let w be (a/(-12))/((-4)/8). Is -6/7 < w?
True
Suppose 6*u + 507425 = u. Let x = -814107/8 - u. Let i = x + 278. Which is smaller: 0 or i?
i
Suppose -2*s = 5*n - s - 51, -5*s - 35 = -4*n. Let p be n*2/(-6 - -2). Do p and -5 have different values?
False
Let y(o) = o**2 - 29. Let w be y(0). Let l be w/6 - 3/18. Is -15/4 equal to l?
False
Let r = -40/3 - -13. Let c = -824 - -833.02. Let w = 9 - c. Which is bigger: w or r?
w
Let p be ((-3 - (-10 + 4)) + -17)*1. Which is bigger: -12 or p?
-12
Suppose -5*m - 3*r - 2 = 17, 0 = 3*m + 2*r + 12. Which is greater: 15 or m?
15
Suppose 5*a + 24 = a. Suppose 2*y - 30*f - 37 = -25*f, 4*f = 4*y - 56. Let k = y + a. Which is smaller: k or 3?
3
Let m = 4.43 - -399.57. Which is bigger: m or 0.1?
m
Let j(t) = -t**2 - 4*t + 1. Let s be j(-4). Let a(w) = w**2 + 2*w - 1. Let h be a(s). Suppose 2 = -5*m - h*o - 28, 0 = 5*m - o + 30. Is -5 at least as big as m?
True
Let r(p) = 5*p + 80. Let l be r(-16). Which is smaller: l or 2/127?
l
Let o = 168 - 316. Let u = o - -148. Is u less than or equal to 1?
True
Let b(n) = -24*n. Let r be b(-1). Suppose -6*q + 108 = -9*q. Let o = q + r. Which is smaller: o or -2/5?
o
Let v be (-274)/(-22) + -13 - (-6)/11. Is -4/627 at most as big as v?
True
Let t = -5 + -1. Is t at most -39/8?
True
Let h be -1 - ((-6)/87 + -1). Suppose 3*b - 8 + 26 = 0. Let w be (-8)/(-16) + (b/(-4) - 1). Does h = w?
False
Let d = -45 + 56. Let i = 8 - 4. Suppose -3 = -i*u - 5*k - 17, -3*k - 5 = -u. Which is smaller: u or d?
u
Suppose -4 = -9*x + 14. Suppose -4*c + x*w = 10, -4*c - 5*w = -6 + 37. Which is smaller: -7/2 or c?
c
Let l be -1 - 9/(-6) - (-322)/(-4). Let p be l/50 + (-4)/10. Which is smaller: -1 or p?
p
Suppose 6*g - g = 2*i - 130, -2*i - 4*g + 130 = 0. Which is greater: i or 55?
i
Let o be (2/21)/(21/98). Suppose 25*p - 17*p = 0. Is o bigger than p?
True
Let i = -2476 + 2478. Let s = 0.1 + -0.4. Let g = -0.2 - s. Is i bigger than g?
True
Suppose 0 = 4*a + 3*n - 17, n = -4*n - 5. Suppose -2*r = -3*o + a, r + 6 = -0*o - 2*o. Let f = -21/4 - -47/12. Which is smaller: f or o?
f
Let m(a) = -a**2 - 10*a + 30. Let y be m(-13). Let h = y - -28. Suppose -l = -4*k - 3, -4*k - 3 = 4*l + 5. Which is smaller: l or h?
l
Let x be 12 + 0/(-2) + 0. Let t = 83 + -71. Are x and t unequal?
False
Let o be 4/((-32)/(-6)) + 2249/1300. Which is bigger: 2 or o?
o
Let v = 2.806 + 0.144. Let m = -3 + v. Is m smaller than 0?
True
Let s be 2*(12 - (-25)/(-5)). Is 9 greater than s?
False
Suppose -6*d - 92 = -2*d. Let k be d/(-24)*(-4)/15. Let p = -1/18 - k. Is p at most as big as 1/3?
True
Let c(k) = -k. Let n(a) = -3*a - 28. Let y(o) = 2*c(o) - n(o). Let t be y(-8). Which is smaller: t or 19?
19
Let z = 77 + -76. Which is smaller: 1/1559 or z?
1/1559
Let x(t) = 2*t + t + t + 55 + 21. Let g be x(-20). Is g > -50/11?
True
Let i = -186.891 - -187. Let k = i - -62.891. Is k <= 0.1?
False
Let b(o) = -o + 8. Let v be b(7). Let r(d) = d**2. Let q be r(v). Let f = -36/17 - -722/357. Is q at least f?
True
Let b = -0.344 + 0.004. Let c = 1.66 - b. Is c at most 1?
False
Let k = 15 + -26. Let b = k + 9. Which is smaller: 2 or b?
b
Let p = 50 + -41.9. Let i = p + -8. Let f = 23 + -29. Are f and i nonequal?
True
Let o = 577 + -576. Is o at most -186?
False
Let f(p) = p + 1. Let o be f(-5). Suppose 5*c - r - 10 + 1 = 0, 0 = -c - 4*r - 15. Let x be c/o - 9/(-36). Are x and -1/6 nonequal?
True
Suppose 0 = 4*c, -16*d - 50 = -18*d - 4*c. Which is greater: 31 or d?
31
Let a = 677 - 678.15. Does a = 2?
False
Let v = 320 + -303. Let k = -45 - -29. Let b = v + k. Which is smaller: b or -0.3?
-0.3
Suppose 17*j = -5*q + 15*j + 7, 3 = -2*q + 5*j. Let r be (-2)/1 - -2 - -2. Which is smaller: r or q?
q
Let g(j) = -j**3 - 4*j**2 - 3*j - 2. Let s be g(-4). Suppose 3*d + 2*d = -s. Let l be 0/(0 - 0 - 2). Which is greater: l or d?
l
Let v = -3/956 + -961/303052. Is v at least as big as 1?
False
Let c = 29.81 + 0.19. Let v = c - 33. Which is smaller: 0.1 or v?
v
Suppose -3513 = 70*y + 1457. Is -50 at least as big as y?
True
Let t = -29.15 - -28. Let f = t - 0.05. Let h = -0.2 - f. Do h and 2 have the same value?
False
Suppose -22 = i - 30. Let o be (-6)/(i/4) + 4 + -2. Are o and 1 equal?
False
Let f(x) = -4*x - 57. Let k be f(-15). Is k not equal to -36?
True
Let o be -6*3/810*6. Is -71 greater than o?
False
Let b be (19/(-38))/(1/10). Is b smaller than -7?
False
Let n be 1/(-4) - (-11)/12. Let s(v) = -2*v**2 - 31*v + 1. Let l be s(-15). Suppose 0 = -a - 8 + l. Which is smaller: a or n?
n
Let i = 7 + 0. Let k = -16 + i. Let r = -8.9 - k. Which is bigger: r or -0.03?
r
Suppose -5*o - 2*v + 32 = 0, -3*v + 7 = -2*o + 16. Suppose o*n - 16 = 74. Is 16 > n?
True
Let y = 0 - 1. Let a be (-2167)/33264 - (-28)/378. Which is smaller: y or a?
y
Let f(c) = -c - 28. Let y be f(0). Suppose -36*w - 360 = -24*w. Is y at least w?
True
Let g = 7.932 + -8. Let d = -0.932 + g. Which is smaller: d or 0.04?
d
Let p = 1 - 21. Let o be (-6 + (-135)/p)*(-52)/6. Does 0.3 = o?
False
Let i = -24 + 47/2. Let k = 22 + -20. Suppose 5*r - 15 = 5*x, 2*r = -k*r + x. Does i = r?
False
Let m(g) = g - 7. Let u be m(7). Suppose -k - k + 6 = u. Let x be (k - 9) + 3 + 0. Do -3 and x have the same value?
True
Let z = 9 - -1. Let u = -9.8 + z. Suppose 2*d - 4*o = 2, 2 = -3*d - 4*o - 5. Which is bigger: u or d?
u
Let d = -26 - -30. Let n be 9/3 + 88/d. Is 26 greater than or equal to n?
True
Suppose 120*n - 124*n = -2*y - 6, -5*y - 25 = 0. Which is smaller: n or 2/57?
n
Let x be -3 - (14*-1)/2. Suppose -5*t + 0 = 4*k - 1, -x*k + 31 = -5*t. Let a be 51/(-84) + (-1)/k. Which is smaller: -2 or a?
-2
Let y be (-5)/(-10)*(-6)/18*2. Which is greater: y or -36.9?
y
Let u = 1 - -3. Suppose -u = -4*c - 0*c. Let f be 69/24 + (-2 - c). Which is smaller: f or -1?
-1
Let d(s) = -9*s**3 - 6*s**2 + 11*s + 6. Let m be d(2). Is m bigger than -81?
True
Let k = -21261/7384 + 4/923. Is k less than -4?
False
Suppose -p - 3 = i - 7, -2*i + 5*p = 13. Let t be (3/(-3))/(2/4). Which is greater: t or i?
i
Let m = -3 - 6. Let n = 15.7 + -6.6. Let z = n + m. Are z and 8 unequal?
True
Let m(z) = -z**3 - 8*z + 4. Let j be m(0). Is 0 smaller than j?
True
Let s be 10/5*(3 - (83 + 6)). Which is smaller: s or -2?
s
Suppose -4*i - 9 = -24*z + 21*z, i = -2*z + 6. Is 3/29 at most as big as i?
False
Let y be (-84)/392*1*12. Is y != -3?
True
Let z(l) = l**2 - 6*l + 1. Let k(g) = g**3 - 5*g**2 - g + 10. Let q = 28 + -23. Let c be k(q). Let w be z(c). Is w >= 1/2?
False
Let n be 4/(-6) - (-38)/3. Let a = n + -32. Let s(c) = -3*c**2 + 138*c - 284. Let p be s(44). Are p and a nonequal?
False
Let n = -0.1 + 0.4. Let w(r) = -13*r + 222. Let c be w(17). Is n at least as big as c?
False
Let h(a) = -a**2 - 5*a + 5. Let v be h(-6). Let g be (-1)/(-14)*(v + 11). Suppose -4*k = -13*k. Which is bigger: k or g?
g
Suppose 4*s + 58 = 106. Let l(r) = r**3 - 5*r**2 + 3*r + 1. Let g be l(3). Let c be g/90*30/s. Is c greater than -1/6?
False
Let o = -420 + 436. Is -1.2 not equal to o?
True
Let u(c) = 3*c**3 - 8*c**2 - 2*c + 16. Let k be u(-6). Let h = 16382925 - 638969489/39. Let m = h - k. Is 1 at least m?
True
Suppose 4*s + 6*r = 2*r, 4*s + 5*r = 1. Let u = 0.3 + -119.3. Let x = u - -130. Which is greater: x or s?
x
Let k = -12898/7 + 1830. Are k and -12 nonequal?
True
Let z = -3.95 - 0.15. Let j = z + 6.1. Let m = 0.4 - 0.7. Which is greater: m or j?
j
Let d(r) = -r - 2*r**2 - 5 + r**2 + 2*r - 6*r. Suppose -3*n = -8*n + 4*f - 31, 2*n + 14 = 2*f. Let u be d(n). Which is smaller: 2/5 or u?
2/5
Let o be ((-558)/(-70) - 5)*10/92. Let v = o - 5/46. Suppose 2*p + p = 0. Which is smaller: p or v?
p
Let k = 0.275 + -0.355. Which is greater: k or -4?
k
Suppose 0 = 5*r - 2 + 7. Let i = -532/33235 - 2/1445. Is i > r?
True
Suppose -3*m + 10 + 2 = 0. Suppose 5*n - 37 = -m*k - 0*k, -2*k + 1 = -n. Let h be (-1 + n + -4)/(-1). Which is smaller: 2/33 or h?
h
Let y = -17.04 + 0.04. Let t = -28 - y. Let k = -11.2 - t. Which is bigger: -2 or k?
k
Let i(z) = z**2 + 7*z + 7. Let y be i(-6). Let b(s) = -s**3 - 9*s**2 - s - 3. Let t be b(-9). Let w 